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:
(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:
