Considere a afirmação: “Se não está chovendo então Milton saiu para caminhar”.
Uma sentença logicamente equivalente é: