Category:Constructive Dilemma
Jump to navigation
Jump to search
This category contains pages concerning Constructive Dilemma:
Formulation 1
| \(\ds p \implies q\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds r \implies s\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds \vdash \ \ \) | \(\ds p \lor r \implies q \lor s\) | \(\) | \(\ds \) |
Formulation 2
| \(\ds \paren {p \implies q} \land \paren {r \implies s}\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds p \lor r\) | \(\) | \(\ds \) | ||||||||||||
| \(\ds \vdash \ \ \) | \(\ds q \lor s\) | \(\) | \(\ds \) |
Formulation 3
- $\vdash \paren {\paren {p \lor r} \land \paren {p \implies q} \land \paren {r \implies s} } \implies \paren {q \lor s}$
Pages in category "Constructive Dilemma"
The following 6 pages are in this category, out of 6 total.