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
Temos o predicado
que significa “o estudante
gosta da cozinha
”. A fórmula a traduzir é
Passo 2
O quantificador
quer dizer “para todo estudante
e para todo estudante
”.
Passo 3
O quantificador
seguido de
significa “existe alguma cozinha
tal que
gosta de
se, e somente se,
também gosta de
”.
Resposta
Para quaisquer estudantes
e
, existe alguma cozinha
tal que
gosta de
exatamente quando
gosta de
.