Atomic formula

Atomic formula

In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic. Compound formulas are formed by combining the atomic formulas using the logical connectives.

The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example, the atomic formulas are the propositional variables. For predicate logic, the atoms are predicate symbols together with their arguments, each argument being a term.

Atomic formula in first-order logic

The well-formed terms and propositions of ordinary first-order logic have the following syntax:

Terms:
* "t" ::= "c" | "x" | "f" ("t"1, …, "t""n"),

that is, a term is recursively defined to be a constant "c" (a named object from the domain of discourse), or a variable "x" (ranging over the objects in the domain of discourse), or an "n"-ary function "f" whose arguments are terms "t""k". Functions map tuples of objects to objects.

Propositions:
*"A", "B", … ::= "P" ("t"1, …, "t""n") | "A" ∧ "B" | ⊤ | "A" ∨ "B" | ⊥ | "A" ⊃ "B" | ∀"x". "A" | ∃"x". "A",

that is, a proposition is recursively defined to be an "n"-ary predicate "P" whose arguments are terms "t""k", or an expression composed of logical connectives (and, or) and quantifiers (for-all, there-exists) used with other propositions.

An atomic formula or atom is simply a predicate applied to a tuple of terms; that is, an atomic formula is a formula of the form "P" ("t"1, …, "t""n") for "P" a predicate, and the "t""k" terms.

All other well-formed formulae are obtained by composing atoms with logical connectives and quantifiers.

For example, the formula ∀"x. P" ("x") ∧ ∃"y. Q" ("y", "f" ("x")) ∨ ∃"z. R" ("z") contains the atoms
* "P" ("x")
* "Q" ("y", "f" ("x"))
* "R" ("z")

When all of the terms in an atom are ground terms, then the atom is called a ground atom or "ground predicate".

See also

* In model theory, structures assign an interpretation to the atomic formulas.
* In proof theory, polarity assignment for atomic formulas is an essential component of focusing.
* Atomic sentence

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • atomic formula — struktūrinė formulė statusas T sritis chemija apibrėžtis Molekulės atomų erdvinio išsidėstymo pavaizdavimas plokštumoje. atitikmenys: angl. atomic formula; structural formula rus. структурная формула …   Chemijos terminų aiškinamasis žodynas

  • atomic formula/sentence — Technically, an atomic formula is one with no logical constants . An atomic sentence is an atomic formula with no free variables . Intuitively, it is the kind of sentence on the basis of which one might start to construct logical complexity: a… …   Philosophy dictionary

  • atomic — formula/sentence …   Philosophy dictionary

  • Atomic sentence — In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… …   Wikipedia

  • Atomic — An atom is the smallest particle of a chemical element that retains its chemical properties.In music: * Atomic (band), a Norwegian jazz quintet * Atomic (album), an album by Lit * Atomic (song), a song by Blondie * Atomic , a song by Tiger Army… …   Wikipedia

  • Formula (mathematical logic) — In mathematical logic, a formula is a type of abstract object a token of which is a symbol or string of symbols which may be interpreted as any meaningful unit (i.e. a name, an adjective, a proposition, a phrase, a string of names, a string of… …   Wikipedia

  • Atomic theory — Atomic model redirects here. For the unrelated term in mathematical logic, see Atomic model (mathematical logic). This article is about the historical models of the atom. For a history of the study of how atoms combine to form molecules, see… …   Wikipedia

  • Atomic nucleus — A figurative depiction of the helium 4 atom with the electron cloud in shades of gray. In the nucleus, the two protons and two neutrons are depicted in red and blue. This depiction shows the particles as separate, whereas in an actual helium atom …   Wikipedia

  • formula weight — Chem. 1. (of a molecule) See molecular weight. 2. (of an ionic compound that does not form molecules) the sum of the atomic weights of the atoms of the formula unit. * * * Sum of the atomic weights of all atoms in a chemical formula. The term is… …   Universalium

  • Atomic form factor — In physics, the atomic form factor, or atomic scattering factor, is a measure of the scattering intensity of a wave by an isolated atom. The atomic form factor depends on the type of scattering, typically X ray, electron or neutron. For crystals …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”