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

Marta não é casada ou Dionísio é divorciado.

Marta não é casada e Dionísio é divorciado.

Marta é casada ou Dionísio é divorciado.

Marta é casada e Dionísio é divorciado.

Marta é casada ou Dionísio não é divorciado.