are you claiming this is true for all "for all"s or that there exists a "for all" which is the negation of a "there exists"?
-
-
-
Every "for all" is the negation of a "there exists". "For all x: P(x)" is negation of "there exists x: not P(x)".
- 1 more reply
New conversation -
-
-
But the converse doesn't hold intuitionistically
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.