12,080
edits
Changes
→Logical Graph Sandbox: add exercise
: <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:
===Functional Logic : Differentials, Integrals, Measures, Quantifiers===
===Functional Logic : Differentials, Integrals, Measures, Quantifiers===
'''Exercise.''' Express the following in functional terms:
<blockquote>
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (Qx \Rightarrow Px)</math>
</blockquote>
<blockquote>
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (\forall x \in X)(Qx \Rightarrow Px)</math>
</blockquote>