Na lógica propositiva a negação da disjunção inclusiva (ou) entre duas proposições é dada pela relação bicondicional. Considere a proposição composta:
“Se João está falando a verdade, então Jonas é culpado ou Alberto mentiu.”
Assinale, dentre as alternativas, àquela que apresenta corretamente a negação lógica dessa proposição composta.
