Questão de Testes Anteriores

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.