MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
31 bytes added
, 13:42, 10 December 2008
Line 676: |
Line 676: |
| <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> |
| </blockquote> | | </blockquote> |
| + | |
| + | ==Inquiry Into Intuitionism== |