Sejam X, Y e Z três conjuntos não vazios e p(x, y, z) uma sentença aberta em X x Y x Z. Considere a seguinte proposição:

(i) Para todo x pertencente a X existe algum y em Y tal que p(x, y, z) é verdadeira para todo z pertencente a Z.

Considere agora as três proposições abaixo:

(I) Existe x em X tal que, para todo y em Y temos que p(x, y, z) é falsa para algum z pertencente a Z.
(II)
(III)

É CORRETO afirmar que: