12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 24, 2024
Jump to navigationJump to search→Functional quantifiers: TeX doesn't work well in headings
'''Exercises.''' Express the following in functional terms:
'''Exercises.''' Express the following in functional terms:
====<math>1. (\forall x \in X)(Px \Rightarrow Qx)</math>====
====Exercise 1====
<blockquote>
<math>(\forall x \in X)(Px \Rightarrow Qx)</math>
</blockquote>
This is the just the 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:
: [[Directory:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory#Application_of_Higher_Order_Propositions_to_Quantification_Theory|Application of Higher Order Propositions to Quantification Theory]]
====Exercise 2====
<blockquote>
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (Qx \Rightarrow Px)</math>
</blockquote>
====<math>2. (\forall x \in X)(Px \Rightarrow Qx) \lor (Qx \Rightarrow Px)</math>====
====Exercise 3====
<blockquote>
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (\forall x \in X)(Qx \Rightarrow Px)</math>
</blockquote>
