A proposição “se o céu está azul, então não vai chover” é equivalente a: