i) If t1, t2, ..., tn
are terms and P is a → predicate of arity n,
then P(t1, t2, ..., tn)
is an atomic wff. ii) If t1 and t2
are terms, then (t1 = t2) is an atomic wff.
→ atomic; → wff.
© 2005-2022 by M. Heydari-Malayeri