KnowraConditional proofLinked fromLinked fromThe 8 pages that link to Conditional proof, each with the reason it gives.All 8Related 7Compared with 1Modus ponensRelated: It can establish the conditional premise that a later modus ponens step uses.Logical implicationRelated: It establishes an implication by showing what follows from its premise.Material conditionalRelated: It is a standard way to prove a material conditional in natural deduction.Disjunction eliminationRelated: Each branch can assume one disjunct and derive the shared conclusion conditionally.Biconditional introductionRelated: Each direction needed for introduction can be established by a separate conditional proof.Conjunction eliminationRelated: A conjunction premise can supply the assumption needed within a conditional proof.Deduction theoremRelated: It is the familiar proof maneuver captured by the theorem.