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 x T(x, Coreana ) \wedge \forall x T(x, Mexicana )

Passo 1

O enunciado define o predicado T(x,y) como “o estudante x gosta da cozinha y”. Queremos traduzir para o português a fórmula
\exists x\;T(x,\text{Coreana}) \;\wedge\; \forall x\;T(x,\text{Mexicana}).

Passo 2

A parte \exists x\;T(x,\text{Coreana}) se lê “existe um estudante x tal que T(x,\text{Coreana})”. Em português:
“Há pelo menos um estudante que gosta da cozinha coreana.”

Passo 3

A parte \forall x\;T(x,\text{Mexicana}) se lê “para todo estudante x, T(x,\text{Mexicana})”. Em português:
“Todo estudante gosta da cozinha mexicana.”

Passo 4

Como as duas afirmações estão ligadas por \wedge (e), basta juntar as duas leituras:
“Há pelo menos um estudante que gosta da cozinha coreana e todo estudante gosta da cozinha mexicana.”

Resposta

Há pelo menos um estudante que gosta da cozinha coreana e todos os estudantes gostam da cozinha mexicana.

Exercícios de Livros Relacionados