first-order predicate calculus Synonyms

predicate calculus propositional calculus propositional logic