Uma sentença logicamente equivalente a “Se o carro é veloz, então, a moto é lenta” é:

Se o carro não é veloz, então, a moto não é lenta.

O carro é veloz ou a moto não é lenta.

Se a moto é lenta, o carro é veloz.

O carro é veloz ou a moto é lenta.

Se a moto não é lenta, então, o carro não é veloz.