the atoms are predicate symbols together with their arguments, each argument being a term. In model theory, atomic formulas 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

1.Previous
3.Next