Considere T(x, y), que significa que o estudante x gosta da cozinha y, em que o domínio para x são todos os estudantes de sua escola e o domínio para y, todas as cozinhas. Expresse cada uma das proposições abaixo em uma sentença em português.
\exists y T(\mathrm{~T}( Monique Arsenault, y) \vee T (Jay Johnson, y ))

Passo 1

O enunciado define o predicado
T(x,y)
como “o estudante x gosta da cozinha y” e pede para traduzir a fórmula
\exists y\bigl(T(\text{Monique Arsenault},y)\;\lor\;T(\text{Jay Johnson},y)\bigr)
para uma frase em português.

Passo 2

O quantificador \exists y
significa “existe alguma cozinha y”.

Passo 3

A parte
T(\text{Monique Arsenault},y)\;\lor\;T(\text{Jay Johnson},y)
quer dizer “Monique Arsenault gosta da cozinha y ou Jay Johnson gosta da cozinha y”.

Passo 4

Combinando as duas interpretações, obtemos em português:

Resposta

Existe alguma cozinha de que Monique Arsenault ou Jay Johnson goste.

Exercícios de Livros Relacionados