Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
кратное 18 ---> оно делится на 2 и на 9
т.е. оно четное --- заканчивается на 0 или 2 или 4 или 6 или 8
и сумма цифр числа делится на 9 (это признак делимости на 9)))
получим варианты:
a b с d 0
a b с d 2
a b с d 4
a b с d 6
a b с d 8
и теперь второе условие: соседние цифры отличаются на 2
для первого варианта: a b с 2 0, a b 0 2 0 или a b 4 2 0
a+b+2 = 9 или a+b+4+2 = 9
a+b = 7 a+b = 3 ---> 12420, например
18 * 690 = 12420
но, первые цифры не на 2 отличаются... не получилось...
но смысл рассуждений такой же)))
пробуем еще...
у меня получилось:
24246 / 18 = 1347
можно попробовать и еще найти...