Q756708 - VUNESP - 2018 - PC-SP - Escrivão de Polícia Civil

Uma equivalência lógica para a proposição Marcelo é inocente ou Alice é culpada está contida na alternativa:

a) Marcelo é inocente se, e somente se, Alice é culpada.
b) Se Marcelo é inocente, então Alice não é culpada.
c) Marcelo e Alice são inocentes.
d) Marcelo e Alice são culpados.
e) Se Marcelo não é inocente, então Alice é culpada.