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.)
Há um estudante que mandou para si próprio um e-mail.

Passo 1

O enunciado define o predicado M(x,y) como “ x enviou um e-mail a y” 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 M aplicado a essa mesma variável nas duas posições.

Passo 2

A tradução lógica é
\exists x\,M(x,x).

Resposta

\exists x\,M(x,x)

Exercícios de Livros Relacionados