Theorems in propositional logic
Absorption (logic)Absorption lawBiconditional eliminationBiconditional introductionCommutativity of conjunctionConjunction eliminationConjunction introductionConsensus theoremConsequentia mirabilisConstructive dilemmaDestructive dilemmaDisjunction eliminationDisjunction introductionDisjunctive syllogismDouble negationExportation (logic)Frege's theoremHypothetical syllogismIdempotency of entailmentLaw of excluded middleLaw of identityLaw of noncontradictionMaterial implication (rule of inference)Modus non excipiensModus ponendo tollensModus ponensModus tollensMonotonicity of entailmentNicod's axiomPeirce's lawPrinciple of explosionProof by contradictionReductio ad absurdumResolution (logic)Tautology (rule of inference)Transposition (logic)
subject
Theorems in propositional logic
Wikipage page ID
34,960,188
Wikipage revision ID
548,122,182
type
label
Theorems in propositional logic
@en
prefLabel
Theorems in propositional logic
@en