Considere a afirmação:

Se o problema é difícil, então a solução não é simples.

Uma afirmação que equivale logicamente a essa é