Propositional calculus: Quick Facts

Written and fact-checked by

The Information Architects of Encyclopaedia Britannica

Facts

Also Known As	PC • sentential calculus

Topics

propositional variable pure implicational calculus De Morgan laws law of transposition law of double negation PM Formal logic Logic logic of propositions Applied logic Metalogic set theory fuzzy logic Predicate calculus Modal logic Mereology Many-valued logic History of logic Modern logic

Dig Deeper: More Articles That Discuss This Topic

Formal logic: The propositional calculus