Uma equivalente lógica para a proposição – Se Marta é casada, então Dionísio é divorciado – está contida na alternativa: