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.”