MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
Jump to navigationJump to search
114 bytes added
, 18:36, 8 December 2008
Line 327: |
Line 327: |
| | | |
| * <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> |