Considere a sentença: “Se cometi um crime, então serei condenado”.
Uma sentença logicamente equivalente à sentença dada é:
Uma sentença logicamente equivalente à sentença dada é: