Почти две с половиной тысячи лет назад Аристотель положил начало науке логике, сформулировав три закона: тождества, противоречия и исключенного третьего. Закон тождества (кратко А=А) гласит, что всякая мысль (назовем ее А) в процессе рассуждения должна быть тождественна самой себе и не должна меняться в процессе рассуждения. Закон противоречия (А и не А — ложь) запрещает двум противоречивым суждениям быть одновременно истинными. Закон исключенного третьего (А или не А — истина) говорит, что всегда верно суждение или его отрицание.
Продемонстрируем суть трех законов логики на примере кода на языке программирования С. Символ А — это имя, присвоенное переменной типа bool (логическая единица), которая принимает значения 0 (ложь) или 1 (истина). Закон тождества (А=А) гласит, что, если логической переменной А присвоено определенное значение (0 или 1), то это значение должно сохраняться постоянным на протяжении всего использования его в математическом выражении. Например, в коде...