Traduza as sentenças para lógica de predicados (a resposta deve conter um glossário de predicados, funções e constantes utilizados):
Todo mundo tem pai e mãe.
Todo mundo tem pai e mãe.
Passo 1
O enunciado pede para traduzir para a lógica de predicados a frase “Todo mundo tem pai e mãe”. Aqui o conteúdo é formulação em lógica de predicados, e vamos precisar escolher o domínio (o conjunto de indivíduos) e os predicados ou funções que representem “ser pai de” e “ser mãe de”.
Passo 2
Escolhemos como domínio
o conjunto de todas as pessoas. Para capturar o fato de “alguém ser pai ou mãe de outra pessoa”, definimos dois predicados binários:
Passo 3
A frase “Todo mundo tem pai e mãe” diz que para cada pessoa
existe uma pessoa
que é seu pai e existe uma pessoa
que é sua mãe. Em lógica de predicados, isso fica:
Resposta
Glossário de símbolos usados:
Predicados
: “
é pai de
”
: “
é mãe de
”
Funções
nenhuma
nenhuma
Constantes
nenhuma
nenhuma
Fórmula em lógica de predicados: