Multiplicity of infection

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. In model theory, atomic formula are merely strings of symbols with a given signature, which may or may not be satisfiable with respect to a given model.

Atomic formula in first-order logic

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

Terms:

• $t\equiv c\left|x\right|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,...\equiv P(t_1,...,t_n)|A\wedge B|\mathrm{\top }|A\vee B|\perp |A\supset B|\mathrm{\forall }x.A|\mathrm{\exists }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₁, …, 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

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534