Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Peirce's law
(view source)
Revision as of 15:38, 26 October 2008
1 byte removed
,
15:38, 26 October 2008
→Proof 1
:
del comma
Line 65:
Line 65:
</center>
</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===
===Proof 2===
Jon Awbrey
12,080
edits