Changes

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:
 +
 +
&hellip;
    
* <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>
12,080

edits

Navigation menu