12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search→Functional quantifiers
* <math>(\forall x \in X)(Px \Rightarrow Qx)</math>
* <math>(\forall x \in X)(Px \Rightarrow Qx)</math>
This is the just form <math>\operatorname{All}\ P\ \operatorname{are}\ Q,</math> already covered here:
…
* <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>
