12,080
edits
Changes
→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>