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
” e pede para traduzir a fórmula
para o português.
Passo 2
O quantificador
significa “para todo estudante
da sala” e o quantificador
significa “para todo estudante
da sala”. Juntos,
indicam que a proposição deve valer para qualquer par de estudantes
.
Passo 3
Interpretando a proposição com esses quantificadores, temos a frase “Para todo estudante
e para todo estudante
,
enviou um e-mail para
”. Uma forma equivalente e mais natural em português é “Cada estudante enviou um e-mail para cada estudante”.
Resposta
Para todo estudante
e para todo estudante
,
enviou um e-mail para
.