Definition
Destructive Dilemma (Propositional Logic)
The destructive dilemma is the following valid inference rule, for arbitrary formulas
: Two cases
The conditional premises give:
Since
, at least one case holds, so .
Destructive Dilemma (Propositional Logic)
The destructive dilemma is the following valid inference rule, for arbitrary formulas
: Two cases
The conditional premises give:
Since
, at least one case holds, so .