Considere
como a proposição "
pode enganar
", em que o domínio são todas as pessoas no mundo. Use quantificadores para expressar cada uma das proposições abaixo.
Todos podem ser enganados por alguém.
Todos podem ser enganados por alguém.
Passo 1
O enunciado pede para traduzir para a lógica de predicados a proposição “Todos podem ser enganados por alguém”, usando o predicado
que significa “
pode enganar
”. O conteúdo aqui é tradução de frases em linguagem natural para fórmulas com quantificadores.
Passo 2
Identificamos os quantificadores:
- “Todos” indica um quantificador universal sobre a pessoa que é enganada (vamos chamar de
), ou seja, “para todo ”. - “por alguém” indica um quantificador existencial sobre a pessoa que engana (vamos chamar de
), ou seja, “existe tal que”.
Passo 3
Agora combinamos os quantificadores com o predicado
para expressar “para toda pessoa
, existe uma pessoa
que a engana”: