Predicate calculus: Quick Facts

Written and fact-checked by

The Information Architects of Encyclopaedia Britannica

Facts

Also Known As	logic of quantifiers

Topics

nonelementary logic lower predicate calculus monadic predicate calculus atomic formula quantifier rearrangement quantifier transformation universal generalization individual variable predicate variable Predication Applied logic Metalogic set theory fuzzy logic Modal logic Propositional calculus Mereology Many-valued logic History of logic Modern logic

Dig Deeper: More Articles That Discuss This Topic

Formal logic: The predicate calculus