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.)
Ninguém da sua sala telefonou para Nina.

Passo 1

O enunciado define os predicados na turma de todos os estudantes:
M(x,y)\colon “x\text{ enviou um e-mail a }y”
T(x,y)\colon “x\text{ telefonou para }y”
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 x tal que x tenha telefonado para Nina. Em lógica de predicados, isso se escreve como a negação de uma existência.

Resposta

\neg \exists x\,T\bigl(x,\text{Nina}\bigr)
(ou equivalentemente \forall x\,\neg T(x,\text{Nina}).)

Exercícios de Livros Relacionados