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 fórmula
onde
significa “
enviou um e-mail para
”, e o domínio de
e
é o conjunto de todos os estudantes da sala. Precisamos traduzir essa expressão lógica para o português.
Passo 2
O quantificador
lê-se “para todo
” ou “para cada estudante
da sala”. Isso indica que a afirmação a seguir vale para qualquer estudante da turma.
Passo 3
O quantificador
lê-se “existe algum
” ou “há pelo menos um estudante
na sala”. Isso garante que, dado um
, encontramos pelo menos um
que satisfaz
.
Passo 4
Juntando as duas partes, a frase completa fica: para cada estudante
, existe pelo menos um estudante
tal que
enviou um e-mail para
.
Resposta
Para cada estudante da sala, existe pelo menos um estudante para o qual ele enviou um e-mail.