12,089
edits
Changes
reorganize
<br>
<br>
==Logical Graph Sandbox==
==Inquiry Into Intuitionism==
Notes on a discussion with "Gribskoff" ([http://planetmath.org/?op=getuser&id=21395 Manuel S. Lourenço]) about his artile on [http://planetmath.org/encyclopedia/IntuitionisticLogic.html Intuitionistic Logic] at [http://planetmath.org/ PlanetMath].
==Logical Graph Sandbox : Very Rough Sand Reckoning==
===More thoughts on Peirce's law===
===More thoughts on Peirce's law===
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (\forall x \in X)(Qx \Rightarrow Px)</math>
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (\forall x \in X)(Qx \Rightarrow Px)</math>
</blockquote>
</blockquote>