12,123
edits
Changes
MyWikiBiz, Author Your Legacy — Monday October 27, 2025
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>
