Considere a sentença “Se o casaco é de couro, então está frio”.

Uma sentença logicamente equivalente à sentença dada é