Considere duas proposições simples
q e
p, uma sentença
composta
φ e a seguinte tabela-verdade:
Considere agora as seguintes afirmações simbólicas dos membros
de uma família:
Mãe:
φ = ¬
q → ¬
p
Pai:
φ = ¬
p →
q
Filho caçula:
φ = (¬
p˄
q)˅
q
Filho primogênito:
φ = ¬
p ˄(
p˅¬
q)
Aquele(a) que fez a afirmação correta é