Exercícios sobre Inferência em Lógica de Predicados

Exercícios sobre Inferência em Lógica de Predicados

A) Provar que Ana é avó de Juliana, fornecidas as sentenças:
1. A mãe da mãe ou do pai de uma pessoa é avó dessa pessoa.
2. Ana é mãe de Joana.
3. Joana é mãe de Juliana.
B) Provar que Ana é tia de Lorenzo, fornecidas as sentenças:
1. A irmã da mãe ou do pai de uma pessoa é tia dessa pessoa.
2. Ana é irmã do Marcelino.
3. Marcelino é pai de Lorenzo.
C) Provar que Lorenzo é bisneto de Reinaldo.
1. O pai do avô ou da avó de uma pessoa é bisavô dessa pessoa.
2. A mãe da mãe ou do pai de uma pessoa é avó dessa pessoa.
3. O pai da mãe ou do pai de uma pessoa é avô dessa pessoa.
4. Reinaldo é pai de Elizabete.
5. Elizabete é mãe de Rui.
6. Rui é pai de Lorenzo.
D) Mostre quem é primo de quem, dadas as senteças abaixo:
1. Uma pessoa é primo de outra pessoa se suas mães são irmãs.
2. Uma pessoa é primo de outra pessoa se seus pais são irmãos.
3. Uma pessoa é primo de outra pessoa se seu pai é irmão da mãe da outra pessoa.
4. Ana é mãe de Amadeu.
5. Ana é mãe de Amilton.
6. Helena é mãe de Hugo.
7. Helena é mãe de Humberto.
8. Ana é irmã de Helena.
9. Josemilton é pai de Jesué.
10. Josemilton é irmão de Ana, mas não é irmão de Helena.
E) Helena é mãe de Hugo. Hugo é casado com Amália. Crie uma sentença que estabeleça a relação
"sogra".

?

?

Para cada questão, monte a árvore genealógiaca, por exemplo para a), b)

Obg!