12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search→Functional Logic : Differentials, Integrals, Measures, Quantifiers: reorganize
But the latter is not a theorem in anyone's philosophy, so there is really no disagreement here.
But the latter is not a theorem in anyone's philosophy, so there is really no disagreement here.
===Functional Logic : Differentials, Integrals, Measures, Quantifiers===
===Functional quantifiers===
'''Exercise.''' Express the following in functional terms:
'''Exercise.''' Express the following in functional terms:
* <math>(\forall x \in X)(Px \Rightarrow Qx)</math>
<math>(\forall x \in X)(Px \Rightarrow Qx)</math>
* <math>(\forall x \in X)(Px \Rightarrow Qx) \lor (Qx \Rightarrow Px)</math>
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (Qx \Rightarrow Px)</math>
* <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>
