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.)
Alguém na sua sala telefonou ou mandou um e-mail para Avi.
Alguém na sua sala telefonou ou mandou um e-mail para Avi.
Passo 1
O enunciado pede para traduzir a frase “Alguém na sua sala telefonou ou mandou um e-mail para Avi” usando lógica de predicados, sabendo que o domínio são todos os estudantes da sala e que
significa “
telefonou para
” e
significa “
enviou um e-mail a
”.
Passo 2
A frase “Alguém na sua sala…” indica um quantificador existencial
. E o “telefonou ou mandou um e-mail para Avi” vira uma disjunção entre
e
. Assim, a formalização é