Considere a sentença “Se o casaco é de couro, então está frio”.
Uma sentença logicamente equivalente à sentença dada é
“Se o casaco não é de couro, então não está frio.”
“Se está frio, então o casaco é de couro.”
“Se não está frio, então o casaco é de couro.”
“O casaco é de couro e não está frio.”
“O casaco não é de couro ou está frio.”
