Suponha que a sentença “Se Aldo ou Bruno é filho de Carlos, então Daniel é pai de Elza e de Fernanda” seja verdadeira. Nesse caso, se Elza não for filha de Daniel, então Carlos não

Gabarito

Certo

Comentário do professor

Simbolizamos: seja \(p\): "Aldo é filho de Carlos", \(q\): "Bruno é filho de Carlos", \(r\): "Daniel é pai de Elza" e \(s\): "Daniel é pai de Fernanda". A afirmação inicial vira \( (p \vee q) \to (r \wedge s) \).

Foi dado que Elza não é filha de Daniel, ou seja, \(r\) é falso. Então a conjunção \(r \wedge s\) é necessariamente falsa, independentemente de \(s\).

Como o condicional \( (p \vee q) \to (r \wedge s)\) é declarado verdadeiro, não pode ocorrer antecedente verdadeiro com consequente falso. Portanto o antecedente \(p \vee q\) deve ser falso.

Sendo a disjunção \(p \vee q\) falsa, ambos \(p\) e \(q\) são falsos. Conclui-se que Carlos não é pai nem de Aldo nem de Bruno, confirmando o julgamento CERTO.