Considere a afirmação:

Se 10 é um número par, então os múltiplos de 10 são números pares.

Uma afirmação logicamente equivalente a essa é: