Considere
, que significa que o estudante
gosta da cozinha
, em que o domínio para
são todos os estudantes de sua escola e o domínio para
, todas as cozinhas. Expresse cada uma das proposições abaixo em uma sentença em português.
Passo 1
O enunciado define o predicado
como “o estudante
gosta da cozinha
”, onde o domínio de
são todos os estudantes e o de
são todas as cozinhas. A proposição a traduzir é
Passo 2
Vamos entender a estrutura lógica:
– diz “para quaisquer dois estudantes
e
”.
– diz “existe uma cozinha
”.
– O condicional significa “se os estudantes são distintos, então não é verdade que ambos gostam da mesma cozinha
”.
–
–
– O condicional
Passo 3
Uma tradução literal, mantendo a ordem dos quantificadores e do condicional, seria:
“Para todos os estudantes e
, existe alguma cozinha
tal que, se
e
são estudantes diferentes, então não é verdade que tanto
quanto
gostem de
.”
“Para todos os estudantes
Passo 4
Reescrevendo de modo mais natural em português:
“Para quaisquer dois estudantes distintos, existe pelo menos uma cozinha que não é do agrado de ambos ao mesmo tempo.”
“Para quaisquer dois estudantes distintos, existe pelo menos uma cozinha que não é do agrado de ambos ao mesmo tempo.”
Resposta
Para quaisquer dois estudantes distintos, existe pelo menos uma cozinha que não é do agrado de ambos ao mesmo tempo.