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 fornece a fórmula
em que significa “
enviou um e-mail para
”, e o domínio de
e
é o conjunto de todos os estudantes da sala. Nossa tarefa é traduzir essa expressão lógica para o português.
em que
Passo 2
O quantificador universal
significa “para todo estudante
” ou “para cada estudante
”.
Passo 3
O quantificador existencial
significa “existe algum estudante
” ou “há pelo menos um estudante
”.
Passo 4
Unindo as duas partes, obtemos a frase completa em português, deixando claro o papel de
e
:
Resposta
Para todo estudante
, existe algum estudante
tal que
enviou um e-mail para
.