Considere
como "
enviou um e-mail a
" e
como "
telefonou para
", em que o domínio são todos os estudantes em sua sala. Use quantificadores para expressar cada uma das proposições a seguir. (Assuma que todos os e-mails que foram enviados form recebidos; o que geralmente não acontece.)
Há um estudante que mandou para si próprio um e-mail.
Há um estudante que mandou para si próprio um e-mail.
Passo 1
O enunciado define o predicado
como “
enviou um e-mail a
” e pede para expressar “Há um estudante que mandou para si próprio um e-mail” usando quantificadores. Vamos precisar de um quantificador existencial para indicar a existência de um estudante e do predicado
aplicado a essa mesma variável nas duas posições.
Passo 2
A tradução lógica é