Category:Destructive Dilemma
Jump to navigation
Jump to search
This category contains pages concerning Destructive Dilemma:
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 \) |
Pages in category "Destructive Dilemma"
The following 6 pages are in this category, out of 6 total.