Changes

Talk:Logical graph (view source)

130 bytes added , 15:36, 6 December 2008

Line 219: Line 219:

===More thoughts on Peirce's law===

−

1-way version

+

1-way version: <math>((a \Rightarrow b) \Rightarrow a) \Rightarrow a</math>

<pre>

Line 231: Line 231:

</pre>

−

2-way version

+

2-way version: <math>((a \Rightarrow b) \Rightarrow a) \Leftrightarrow a</math>

<pre>

12,080

edits