Linked from

The 54 pages that link to Propositional logic, each with the reason it gives.

• Sheffer strokeNarrower topic: The Sheffer stroke is studied as a connective within this logical system.

• Knowledge (artificial intelligence)Related: It encodes facts as statements that can support deductive reasoning.

• Modus ponendo tollensNarrower topic: This inference form is evaluated within propositional logic.

• Stone's representation theorem for Boolean algebrasRelated: Equivalence classes of propositions form Boolean algebras with Stone spaces of maximal consistent theories.