Considere M(x, y) como " x enviou um e-mail a y " e T(x, y) como " x telefonou para y ", 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.

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 T(x,y) significa “ x telefonou para y” e M(x,y) significa “ x enviou um e-mail a y”.

Passo 2

A frase “Alguém na sua sala…” indica um quantificador existencial \exists. E o “telefonou ou mandou um e-mail para Avi” vira uma disjunção entre T(x,\text{Avi}) e M(x,\text{Avi}). Assim, a formalização é
\exists x\bigl(T(x,\text{Avi}) \lor M(x,\text{Avi})\bigr).

Resposta

\exists x\bigl(T(x,\text{Avi}) \lor M(x,\text{Avi})\bigr).

Exercícios de Livros Relacionados