Uma dedução é uma seqüência finita de proposições, em que...

Uma dedução é uma seqüência finita de proposições, em que algumas das proposições são assumidas como verdadeiras e, a partir delas, a seqüência é acrescida de novas proposições sempre verdadeiras. A última proposição que se acrescenta é chamada conclusão. A partir das informações acima, julgue os itens a seguir.

Se as variáveis x e y pertencem ao conjunto A = {2, 3, 4} e o predicado P(x, y) é interpretado como , então a proposição funcional  é avaliada como verdadeira.