Changes

MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
230 bytes added ,  18:42, 8 December 2008
Line 324: Line 324:  
===Functional quantifiers===
 
===Functional quantifiers===
   −
'''Exercise.'''  Express the following in functional terms:
+
'''Exercises.'''  Express the following in functional terms:
   −
* <math>(\forall x \in X)(Px \Rightarrow Qx)</math>
+
====<math>1. (\forall x \in X)(Px \Rightarrow Qx)</math>====
   −
This is the just form <math>\operatorname{All}\ P\ \operatorname{are}\ Q,</math> already covered here:
+
This is the just the form <math>\operatorname{All}\ P\ \operatorname{are}\ Q,</math> already covered here:
   −
&hellip;
+
* [[Directory:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory#Application_of_Higher_Order_Propositions_to_Quantification_Theory|Application of Higher Order Propositions to Quantification Theory]]
   −
* <math>(\forall x \in X)(Px \Rightarrow Qx) \lor (Qx \Rightarrow Px)</math>
+
====<math>2. (\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>3. (\forall x \in X)(Px \Rightarrow Qx) \lor (\forall x \in X)(Qx \Rightarrow Px)</math>====
12,080

edits

Navigation menu