Ну хорошо, а почему всё-таки
>неэквивалентно

Потому что, если так моделировать, система получается несовместной. Парадоксально, на этапе построения модели это неэквивалентные утверждения.

(Reply to this) (Parent) (Thread)

Парадоксальность возникает из-за ошибочной формулировки задачи.
Если заменить слова "увеличивает" и "уменьшает" на "умножает" и "делит", все становится на свои места.

(Reply to this) (Parent)