patternModerate
What do the ∀ and ∃ symbols mean in the Axiom of Choice?
Viewed 0 times
thewhataxiommeanchoiceandsymbols
Problem
On the Wikipedia page for the Axiom of Choice the following statement is given:
$(\forall x^\sigma)(\exists y^\tau)R(x,y)\rightarrow(\exists f^{\sigma \rightarrow \tau})(\forall x^\sigma)R(x, f(x))$
Most of it seems fairly straightforward, except for the meanings of the symbols that look like 180 degree rotated 'E' and 'A'
$(\forall x^\sigma)(\exists y^\tau)R(x,y)\rightarrow(\exists f^{\sigma \rightarrow \tau})(\forall x^\sigma)R(x, f(x))$
Most of it seems fairly straightforward, except for the meanings of the symbols that look like 180 degree rotated 'E' and 'A'
Solution
$\forall$ reads as "for all", and $\exists$ reads as "there exists".
So, in english we have
$$\text{"if }\underbrace{\text{for all $x$}}_{\forall x^\sigma}\text{ }\underbrace{\text{exists a $y$}}_{\exists y^\tau}\text{ with $R(x,y)$, }\underbrace{\text{then}}_\to\text{ }\underbrace{\text{there is a function $f$}}_{\exists f^{\sigma\to\tau}}\text{ so that }\underbrace{\text{for all $x$}}_{\forall x^\sigma}\text{ holds $R(x,f(x))$".}$$
I skipped over the $\sigma$ and $\tau$ superscripts, as they indicate types and are not of primary importance here.
So, in english we have
$$\text{"if }\underbrace{\text{for all $x$}}_{\forall x^\sigma}\text{ }\underbrace{\text{exists a $y$}}_{\exists y^\tau}\text{ with $R(x,y)$, }\underbrace{\text{then}}_\to\text{ }\underbrace{\text{there is a function $f$}}_{\exists f^{\sigma\to\tau}}\text{ so that }\underbrace{\text{for all $x$}}_{\forall x^\sigma}\text{ holds $R(x,f(x))$".}$$
I skipped over the $\sigma$ and $\tau$ superscripts, as they indicate types and are not of primary importance here.
Context
StackExchange Computer Science Q#119404, answer score: 15
Revisions (0)
No revisions yet.