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 (t1, …, tn) for P a predicate, and the tk 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
When all of the terms in an atom are ground terms, then the atom is called a ground atom or ground predicate.
Famous quotes containing the words atomic and/or formula:
“It is now time to stop and to ask ourselves the question which my last commanding officer, Admiral Hyman Rickover, asked me and every other young naval officer who serves or has served in an atomic submarine. For our Nation M for all of us M that question is, “Why not the best?””
—Jimmy Carter (James Earl Carter, Jr.)
“I cannot give you the formula for success, but I can give you the formula for failure—which is: Try to please everybody.”
—Herbert B. Swope (1882–1958)