Uma das equivalências mais importantes da condicional (p -> q) é a contrapositiva. Para aplicá-la, devemos inverter as proposições e negar ambas (~q -> ~p). Essa regra é fundamental pois mantém o mesmo valor lógico da sentença original.
A frase "Se o crime é afiançável, então o réu responderá em liberdade" é equivalente a: