The set of formulas (also called well-formed formulas or WFFs) is inductively defined by the following rules: Predicate symbols.
Množina formulí (známá také jako dobře utvořené formule) je rekursivně definována následujícími pravidly: Predikátové symboly.