KnowraPropositional logicLinked fromLinked fromThe 54 pages that link to Propositional logic, each with the reason it gives.All 54Broader topic 5Related 17Narrower topic 26Compared with 6CompletenessBroader topic: Its standard proof systems are complete for truth-table validity.LogicBroader topic: It is the simplest standard setting for studying formal inference.History of logicBroader topic: Its rise shifted attention from terms to relations among whole propositions.Symbolic logicBroader topic: It is the simplest major symbolic system, treating whole propositions as units.Axiom (general principle)Broader topic: Axioms and inference rules generate valid formulas in some presentations of propositional logic.