12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search→More thoughts on Peirce's law: + usual formulas
===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>
</pre>
</pre>
2-way version
2-way version: <math>((a \Rightarrow b) \Rightarrow a) \Leftrightarrow a</math>
<pre>
<pre>
