Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Possible Duplicate:
Why is predicate “all” as in all(SET) true if the SET is empty?

In don't quite understand this quantification over the empty set:

$\forall y \in \emptyset: Q(y)$

The book says that this is always TRUE regardless of the value of the predicate $Q(y)$, and it explain that this is because this quantification adds no predicate at all, and therefore can be considered the weakest predicate possible, which is TRUE.

I know that TRUE is the weakest predicate because $ $P$ \Rightarrow$ TRUE is TRUE for every $P$. I don't see what is the relationship between this weakest predicate and the quantification.

share|cite|improve this question

marked as duplicate by MJD, Henry T. Horton, Marvis, Douglas S. Stones, Ittay Weiss Jan 19 '13 at 4:53

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

up vote 1 down vote accepted

When you see a quantification like ‘$\forall \phi x : \psi x$’, this is shorthand for ‘$\forall x : \phi x \to \psi x$’. Since ‘$x \in \emptyset$’ is false for all ‘$x$’, the antecedent of ‘$x \in \emptyset \to \phi x$’ will always be false, thus the entire conditional statement is always true.

Edit: In the case of existential quantification, the statement ‘$\exists \phi x : \psi x$’ is shorthand for ‘$\exists x : \phi x \land \psi x$’, so in this case, the conjunction ‘$x \in \emptyset \land \phi x$’ will always be false.

share|cite|improve this answer
Where can I find a little more explanation about those shorthands? because if becomes very clear when I know this shorthands. But I can't figure out how can I get those shorthands notations – Victor Jose Arana Rodriguez Jan 19 '13 at 3:29
The concept is discussed here: – c.w.chambers Jan 19 '13 at 4:42

Well if $\forall y \in \emptyset : Q(y)$ were false, we would be able to find some $y \in \emptyset$ such that $Q(y)$ were false. However, there are no $y \in \emptyset$. So $\forall y \in \emptyset : Q(y)$ should be true.

share|cite|improve this answer

A peculiar explanation.

Whatever $Q(y)$ may be, it is true that for all $y\in \emptyset$, the sentence $Q(y)$ is true. For the empty set is $\dots$ empty. Every unicorn likes wine.

share|cite|improve this answer

Because there are no members to the set, anything you say about a member can be considered trivially true. It's not really to say that there are actually members for which Q, but rather for all y, Q(y)--i.e. there are no circumstances where y and not Q(y).

share|cite|improve this answer

I think I got the idea, but it confuses me when I compare this reasoning with the existencial quantifier over the empty set $ \exists x \in \emptyset : P(x) $

I think this is TRUE because I'm quantifying over the empty set too.

share|cite|improve this answer
You think it's true that there is an element of $\emptyset$ for which $P$ holds? Which element would that be? – MJD Jan 19 '13 at 3:17
You're right but I'm still very confused sorry =(. – Victor Jose Arana Rodriguez Jan 19 '13 at 3:30

Not the answer you're looking for? Browse other questions tagged or ask your own question.