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 é:
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 é:
