Considere duas proposições simples q e p, uma sentença composta φ e a seguinte tabela-verdade:
q p φ V V V F V F V F V F F V
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 é
- A a mãe.
- B o pai.
- C o filho caçula.
- D o filho primogênito.