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.
João está mentindo, Jonas é inocente e Alberto fala a verdade
João está falando a verdade se, e somente se, Jonas é culpado e Alberto mentiu
João está mentindo, e Jonas é inocente se e somente se, Alberto não fala a verdade
João está falando a verdade, e Jonas é culpado