Changes

Peirce's law (view source)

1 byte removed , 15:38, 26 October 2008

Line 65: Line 65:

</center>

−

But this is immediate, since <math>p \Rightarrow (r \Rightarrow p)</math>, for any proposition <math>r.\!</math>

+

But this is immediate, since <math>p \Rightarrow (r \Rightarrow p)</math> for any proposition <math>r.\!</math>

===Proof 2===

12,080

edits