Uma equivalência lógica para a proposição Marcelo é inocente ou Alice é culpada está contida na alternativa:
Se Marcelo não é inocente, então Alice é culpada.
Marcelo é inocente se, e somente se, Alice é culpada.
Se Marcelo é inocente, então Alice não é culpada.
