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.

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 D 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:
\text{Pai}(x,y)\quad\text{significa “\(x\) é pai de \(y\)”},é
\text{Mae}(x,y)\quad\text{significa “\(x\) é mãe de \(y\)”}.éã

Passo 3

A frase “Todo mundo tem pai e mãe” diz que para cada pessoa p existe uma pessoa f que é seu pai e existe uma pessoa m que é sua mãe. Em lógica de predicados, isso fica:
\forall p\,\exists f\,\exists m\bigl(\text{Pai}(f,p)\land\text{Mae}(m,p)\bigr).

Resposta

Glossário de símbolos usados:
Predicados \text{Pai}(x,y): “ x é pai de y \text{Mae}(x,y): “ x é mãe de y
Funções
nenhuma
Constantes
nenhuma
Fórmula em lógica de predicados:
\forall p\,\exists f\,\exists m\bigl(\text{Pai}(f,p)\land\text{Mae}(m,p)\bigr).

Exercícios relacionados