first-order theory Synonyms

predicate calculus propositional calculus propositional logic