My professor of Algebra use some "strange" notation for me. He uses $\bigvee$ instead $\exists$ and $\bigwedge$ instead $\forall$. For example $$\displaystyle\bigwedge_{x\in \mathbb{Z}}\bigwedge_{m\in \mathbb{Z}\backslash\{0\}}\bigvee_{q,r\in \mathbb{Z}}(x=qm+r \wedge 0\leq r<|m|)$$ is same as $(\forall x \in \mathbb{Z})(\forall m \in \mathbb{Z}\backslash \{0\}) (\exists q,r \in \mathbb{Z}) (x=qm+r \wedge 0\leq r<|m|) $. If we know the set with which we are working, then we say $\displaystyle\bigwedge_{x}\bigvee_{y}(x+y=0)$ (without saying $x \in \text{Set}$). I asked him for this notation, and he said that I can see this in

K.Kuratowski, A.Mostowski, Set theory, PWN, Warszawa, 1976.

I found this book in library and it's really true.

Could someone say something more about this notation? Is this standard notation in mathematics? Did you see it anywhere else?

@Yury: Inifinitary logic would use this notation because it admits formulae of infinite length (so there could be inifnitely many disjuncts/conjuncts in a formula). In that context, the notation would be very standard. In the context the OP is speaking of, it is quite nonstandard. Though it does hint at some of the reasoning behind the intuitionists' denial of the Law of Excluded Middle: taking a quantifier to be an abbreviation of an infinitely long sentence of this type, one cannot rely on one's intuition about finite sentences to conclude that either it or its negation must be true.
–
Arthur Fischer♦Mar 21 '13 at 18:55

I have seen it in a number of places, but it’s not common.
–
Brian M. ScottMar 21 '13 at 18:55

1 Answer
1

Consider
$$\displaystyle\bigvee_x A(x)$$ as an infinite version of $\vee$.
For example, if $x$ comes from a countable set $\{x_1,x_2,x_3,\ldots\}$, then consider $\displaystyle\bigvee_x A(x)$ as $$A(x_1) \vee A(x_2) \vee A(x_3) \vee \ldots.$$
This expression is true as long as there is at least one $x_i$ such that $A(x_i)$ is true. So equivalently, there exists an $x_i$ such that $A(x_i)$ is true, which is $\displaystyle\exists x : A(x)$.

I understand that. Just, this notation is weird for me, but, "who am I?" in mathematics, nobody, so maybe this is standard notation in higher mathematics circles.
–
CortizolMar 21 '13 at 18:31

I wrote my answer in the hope to give you a feeling that the notation is not particularly weird, but quite natural.
–
azimutMar 21 '13 at 18:33

It's not weird because I don't understanding it. It's weird, for me, because I have not seen anywhere else. Thanks for you answer.
–
CortizolMar 21 '13 at 18:36

The notation is by far not as common as $\exists$ and $\forall$, but still you can find it every now and then.
–
azimutMar 21 '13 at 18:43

1

A remark not really related to the original question. This explanation shows that quantifying (over infinite sets) in some sense involves taking of a limit. We know that defining such things as infinite sums formally involves taking limits. Similarly quantifications arise as limits of disjunctions/conjunctions. The reason no convergence hypotheses are needed is that (in classical logic) monotonic sequences of truth values cannot avoid becoming stationary.
–
Marc van LeeuwenAug 12 '13 at 13:16