Utilizando a argumentação lógica, uma proposição equivalente à afirmativa “o cavalo é forte e veloz” é:
Se o cavalo é veloz, então é forte.
Se o cavalo não é forte, então não é veloz.
O cavalo é forte ou veloz.
O cavalo é veloz e forte.
O cavalo é lento e fraco.