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: