Changes

MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
130 bytes added ,  15:36, 6 December 2008
Line 219: Line 219:  
===More thoughts on Peirce's law===
 
===More thoughts on Peirce's law===
   −
1-way version
+
1-way version:  <math>((a \Rightarrow b) \Rightarrow a) \Rightarrow a</math>
    
<pre>
 
<pre>
Line 231: Line 231:  
</pre>
 
</pre>
   −
2-way version
+
2-way version:  <math>((a \Rightarrow b) \Rightarrow a) \Leftrightarrow a</math>
    
<pre>
 
<pre>
12,080

edits

Navigation menu