Uma afirmação logicamente equivalente a: ‘Se amanhece com sol, então anoitece chovendo’ é: