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.
Ninguém pode enganar Fred e Jerry.
Ninguém pode enganar Fred e Jerry.
Passo 1
O enunciado pede para traduzir para a lógica de predicados a frase “Ninguém pode enganar Fred e Jerry”, onde o predicado
significa “
pode enganar
” e o domínio são todas as pessoas.
Passo 2
Em lógica, “ninguém” corresponde a
. A parte “pode enganar Fred e Jerry” quer dizer que não existe
que engane Fred nem exista
que engane Jerry, ou seja, não há
para o qual
ou
seja verdadeiro.
Passo 3
Podemos então escrever
que é logicamente equivalente a