mostrar texto associado

Julgue o item seguinte acerca dos aspectos da proposição P relacionados à lógica sentencial.

P é equivalente a "Se ele não respondeu, então não atacou o animal ou não ficou provado".