KnowraNatural deductionLinked fromLinked fromThe 33 pages that link to Natural deduction, each with the reason it gives.All 33Broader topic 3Related 20Narrower topic 8Compared with 2Modus tollensNarrower topic: Modus tollens can be derived from the standard rules of this proof framework.Conditional proofNarrower topic: Conditional proof is one of natural deduction’s standard derivation patterns.Disjunctive syllogismNarrower topic: Its elimination rule for disjunction formalizes the reasoning behind this inference.Disjunction eliminationNarrower topic: Disjunction elimination is one of its connective-specific elimination rules.Disjunction introductionNarrower topic: Disjunction introduction is one of its standard introduction rules.Biconditional introductionNarrower topic: Biconditional introduction is one rule within natural-deduction systems.Conjunction introductionNarrower topic: Conjunction introduction is one of natural deduction’s standard introduction rules.Conjunction eliminationNarrower topic: Conjunction elimination is one of its basic connective rules.