Considere a seguinte proposição com quantificadores: "Para todo número real y tal que x + y = 0." A interpretação correta dessa proposição é:

todo número real pode ser adicionado a outro número real para resultar em zero.

para todo número real, existe um número real que é seu quadrado.

todo número real tem um oposto que é zero.

existe um número real que, quando adicionado a zero, resulta em zero.

existe um número real para o qual todos os números reais somam zero.