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

Знаете, у него есть одна особенность -- он все числа преуменьшает в 3 раза.

неэквивалентно

Знаете, у него есть одна особенность -- он все числа преувеличивает в 1/3 раза.

?

> насколько важен навык правильного построения модели.

Здесь мы «моделируем» совершенно искусственную ситуацию.

(Reply to this) (Thread)

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

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

(Reply to this) (Parent) (Thread)

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

(Reply to this) (Parent)