Всегда верно, никогда не верно

Иногда x исчезает. x + 1 < x + 2: вычтем x из обеих частей, и останется 1 < 2 — x нигде не видно. Это верно, каким бы ни было x: любое число является решением. Множество решений — все действительные числа.

x > x + 1: вычтем x, и останется 0 > 1, что ложно при любом x. Ни одно число не является решением.

Итак, когда слагаемые с x сокращаются, посмотрите, что остаётся: истинное утверждение означает, что подходит любое число, а ложное — что не подходит ни одно. Ни то ни другое не является ошибкой. Число всегда на единицу меньше, чем оно само плюс один, и никогда не бывает больше, чем оно само плюс один.