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.)
Ninguém da sua sala telefonou para Nina.
Ninguém da sua sala telefonou para Nina.
Passo 1
O enunciado define os predicados na turma de todos os estudantes:
E pede para expressar, com quantificadores, que “ninguém da sua sala telefonou para Nina”.
Passo 2
Dizer que ninguém telefonou para Nina é afirmar que não existe nenhum estudante
tal que
tenha telefonado para Nina. Em lógica de predicados, isso se escreve como a negação de uma existência.
Resposta
(ou equivalentemente
.)