Category:Peirce's Law
Jump to navigation
Jump to search
This category contains pages concerning Peirce's Law:
Formulation 1
- $\paren {p \implies q} \implies p \vdash p$
Formulation 2
- $\vdash \paren {\paren {p \implies q} \implies p} \implies p$
Pages in category "Peirce's Law"
The following 13 pages are in this category, out of 13 total.
P
- Peirce's Law
- Peirce's Law implies Law of Excluded Middle
- Peirce's Law is Equivalent to Law of Excluded Middle
- Peirce's Law/Formulation 1
- Peirce's Law/Formulation 1/Proof 1
- Peirce's Law/Formulation 1/Proof 2
- Peirce's Law/Formulation 2
- Peirce's Law/Formulation 2/Proof 1
- Peirce's Law/Formulation 2/Proof by Truth Table
- Peirce's Law/Strong Form
- Peirce's Law/Strong Form/Formulation 1
- Peirce's Law/Strong Form/Formulation 2