As proposições são:
1. Pai de Pedro v Pai de Francisco
2. Pai de Ana v ~ Pai de Pedro
3. Pai de Beatriz v ~ Pai de Francisco
Ele afirma que não é pai de Beatriz ( ~ Pai de Beatriz - VERDADEIRO)
Assume-se que todas as proposições são verdadeiras.
Se ele não é pai de Beatriz, para a 3ª proposição ser verdadeira o termo (~ Pai de Francisco) deve ter valor Verdadeiro. (função ou (v) ==> quando um dos termos é verdadeiro a sentença é verdadeira)
3. Pai de Beatriz (FALSO) v ~ Pai de Francisco (VERDADEIRO)
Seguindo o mesmo raciocínio na 1ª proposição (pula a 2ª, pois não temos dados para trabalha-la ainda)
Se ~ Pai de Francisco (VERDADEIRO), então ser Pai de Francisco (FALSO)
1. Pai de Pedro v Pai de Francisco (FALSO)
Então ser Pai de Pedro (VERDADEIRO)
1. Pai de Pedro (VERDADEIRO) v Pai de Francisco (FALSO)
Na 2ª proposição temos que:
~ Pai de Pedro é FALSO, pois ser Pai de Pedro (VERDADEIRO), então
ser Pai de Ana (VERDADEIRO)
2. Pai de Ana (VERDADEIRO) v ~ Pai de Pedro (FALSO)
Concluindo:
Ele é Pai de Ana e de Pedro.