12,080
edits
Changes
→Logical Graph Sandbox
==Logical Graph Sandbox==
==Logical Graph Sandbox==
===More Thoughts on Peirce's Law===
===More thoughts on Peirce's law===
1-way version: <math>((a \Rightarrow b) \Rightarrow a) \Rightarrow a</math>
1-way version: <math>((a \Rightarrow b) \Rightarrow a) \Rightarrow a</math>
: <math>ab \lor a = a</math>
: <math>ab \lor a = a</math>
===Reports Of My Counter-Intuitiveness Are Greatly Exaggerated===
===Reports of my counter-intuitiveness are greatly exaggerated===
We have the following theorem of classical propositional calculus:
We have the following theorem of classical propositional calculus:
'''Exercise.''' Express the following in functional terms:
'''Exercise.''' Express the following in functional terms:
<blockquote>
<math>(\forall x \in X)(Px \Rightarrow Qx)</math>
</blockquote>
<blockquote>
<blockquote>