Destructive Dilemma
Jump to navigation
Jump to search
Theorem
Formulation 1
| \(\ds p \implies q\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds r \implies s\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds \vdash \ \ \) | \(\ds \neg q \lor \neg s \implies \neg p \lor \neg r\) | \(\) | \(\ds \) |
Formulation 2
| \(\ds \paren {p \implies q} \land \paren {r \implies s}\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds \neg q \lor \neg s\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds \vdash \ \ \) | \(\ds \neg p \lor \neg r\) | \(\) | \(\ds \) |