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 é
e queremos traduzi-la para uma frase em português.
Passo 2
O quantificador
diz que existem dois estudantes, digamos
e
. O quantificador
diz que, para toda cozinha
, vale a equivalência lógica
ou seja,
gosta de
se, e somente se,
também gosta de
.
Resposta
Existem dois estudantes
e
tais que, para toda cozinha
, o estudante
gosta de
se e somente se o estudante
gosta de
.