- #1
- 1,331
- 45
I've always imagined that some mathematician or logician was looking for a cool way to write these quantifiers, and one of the following scenarios happened:
1.)
"Hey, I know, for "For All," I'll just take the letter "A" and flip it vertically, giving me this lovely ##\forall##. Then I'll just do the same thing with the letter "E" for "There Exists."
But wait, the letter "E" is vertically symmetric, it'll look the same!" *flips it horizontally instead.
2.)
"Hey, I know, for "There Exists," I'll just take the letter "E" and flip it horizontally, giving me this lovely ##\exists##. Then I'll just do the same thing with the letter "A" for "For All."
But wait, the letter "A" is horizontally symmetric, it'll look the same!" *flips it vertically instead.
So the question is, what came first, the ##\forall## or the ##\exists##?
1.)
"Hey, I know, for "For All," I'll just take the letter "A" and flip it vertically, giving me this lovely ##\forall##. Then I'll just do the same thing with the letter "E" for "There Exists."
But wait, the letter "E" is vertically symmetric, it'll look the same!" *flips it horizontally instead.
2.)
"Hey, I know, for "There Exists," I'll just take the letter "E" and flip it horizontally, giving me this lovely ##\exists##. Then I'll just do the same thing with the letter "A" for "For All."
But wait, the letter "A" is horizontally symmetric, it'll look the same!" *flips it vertically instead.
So the question is, what came first, the ##\forall## or the ##\exists##?