Considere
como a proposição "
enviou um e-mail para
", em que o domínio para
e
são todos os estudantes de sua sala. Expresse cada uma das quantificações abaixo em português.
Passo 1
O enunciado define a proposição
como “
enviou um e-mail para
”, com
e
variando sobre todos os estudantes da sala. A fórmula
usa quantificadores existenciais aninhados. Nosso objetivo é traduzir essa fórmula para o português.
Passo 2
O quantificador
afirma que “existe pelo menos um estudante
” e o segundo
reforça que “existe pelo menos um estudante
”. Em seguida,
diz que esse estudante
enviou um e-mail para esse estudante
.
Resposta
Existe um estudante
e existe um estudante
tais que
enviou um e-mail para
.