Uma afirmação logicamente equivalente a: ‘Se amanhece com sol, então anoitece chovendo’ é:
Se anoitece chovendo, então amanhece com sol.
Se não anoitece chovendo, então amanhece com sol.
Não amanhece com sol ou anoitece chovendo.
Não amanhece com sol ou não anoitece chovendo.
Amanhece com sol e anoitece chovendo.
