Considere a sentença:     “Se a cobra é verde, então ela não morde ou ela é venenosa”.
A sentença logicamente equivalente à sentença dada é: