Raciocínio Lógico - Proposições simples e compostas e operadores lógicos

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 é pai de Aldo nem de Bruno.