Category:Rule of Material Implication
Jump to navigation
Jump to search
This category contains pages concerning Rule of Material Implication:
Formulation 1
- $p \implies q \dashv \vdash \neg p \lor q$
Formulation 2
- $\vdash \paren {p \implies q} \iff \paren {\neg p \lor q}$
Pages in category "Rule of Material Implication"
The following 19 pages are in this category, out of 19 total.
R
- Rule of Exportation/Forward Implication/Formulation 2/Proof 2
- Rule of Exportation/Reverse Implication/Formulation 2/Proof by Truth Table
- Rule of Material Implication
- Rule of Material Implication/Also known as
- Rule of Material Implication/Definition
- Rule of Material Implication/Formulation 1
- Rule of Material Implication/Formulation 1/Forward Implication
- Rule of Material Implication/Formulation 1/Forward Implication/Proof
- Rule of Material Implication/Formulation 1/Proof by Truth Table
- Rule of Material Implication/Formulation 1/Reverse Implication
- Rule of Material Implication/Formulation 1/Reverse Implication/Proof 1
- Rule of Material Implication/Formulation 1/Reverse Implication/Proof 2
- Rule of Material Implication/Formulation 2
- Rule of Material Implication/Formulation 2/Forward Implication
- Rule of Material Implication/Formulation 2/Proof 1
- Rule of Material Implication/Formulation 2/Proof by Truth Table
- Rule of Material Implication/Formulation 2/Reverse Implication