MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
119 bytes removed
, 17:56, 8 December 2008
Line 322: |
Line 322: |
| 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: |
| | | |
− | <blockquote>
| + | * <math>(\forall x \in X)(Px \Rightarrow Qx)</math> |
− | <math>(\forall x \in X)(Px \Rightarrow Qx)</math> | |
− | </blockquote>
| |
| | | |
− | <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>
| |
| | | |
− | <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>
| |