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

Se Milton saiu para caminhar então não está chovendo.

Se está chovendo então Milton não saiu para caminhar.

Milton não saiu para caminhar ou está chovendo.

Está chovendo e Milton saiu para caminhar.

Está chovendo ou Milton saiu para caminhar.