Changes

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>

</blockquote>

* <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>

</blockquote>

* <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>