Traduza as sentenças para lógica de predicados (a resposta deve conter um glossário de predicados, funções e constantes utilizados):
Nem todo aluno que estudou pra prova tirou nota ruim.
Nem todo aluno que estudou pra prova tirou nota ruim.
Passo 1
O enunciado pede para traduzir a frase “Nem todo aluno que estudou pra prova tirou nota ruim” para lógica de predicados. Aqui vamos usar quantificadores para capturar o “nem todo” (que equivale a “não para todo”) e predicados para expressar “é aluno”, “estudou para a prova” e “tirou nota ruim”.
Passo 2
Primeiro, escrevemos a afirmação contrária, “todo aluno que estudou para a prova tirou nota ruim”:
Em seguida, aplicamos a negação desse todo para obter “nem todo…”:
Usando a equivalência
, obtemos a forma existencial:
Resposta
Tradução equivalente em lógica de predicados:
Glossário:
- Universo: todas as pessoas.
- Predicados:
-
: “x é aluno”. -
: “x estudou para a prova”. -
: “x tirou nota ruim na prova”.