Propositional calculus

Branch of logic

Follow Propositional calculus on Notably News to receive short updates to your email — rarely!

We include updates on Rule of inference, Proposition, De Morgan's laws, Reductio ad absurdum, Truth table, Modus ponens, Principle of explosion, Law of excluded middle, Distributive property, Contraposition, Modus tollens, Logical consequence, Proof by contradiction, Law of noncontradiction, Functional completeness, Double negation ... and more.