Considere a sentença: “Se cometi um crime, então serei condenado”. Uma sentença logicamente equivalente à sentença dada é:
Fonte: TéCNICO JUDICIáRIO AUXILIAR / TJ/SC / 2015 / FGV