Constructive dilemma
Rule of inference of propositional logic / From Wikipedia, the free encyclopedia
Constructive dilemma[1][2][3] is a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either P or R is true, then either Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas, destructive dilemma is the disjunctive version of modus tollens. The constructive dilemma rule can be stated:
Quick Facts Type, Field ...
Type | Rule of inference |
---|---|
Field | Propositional calculus |
Statement | If implies and implies , and either or is true, then either or has to be true. |
Symbolic statement |
Close
where the rule is that whenever instances of "", "", and "" appear on lines of a proof, "" can be placed on a subsequent line.