predicate calculus

Introduction References & Edit History Quick Facts & Related Topics

predicate calculus: Facts & Related Content

Written and fact-checked by The Information Architects of Encyclopaedia Britannica

Facts

Also Known As	logic of quantifiers

Topics

predicate variable lower predicate calculus individual variable universal generalization monadic predicate calculus quantifier transformation quantifier rearrangement atomic formula nonelementary logic 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