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.