#ицзин — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ицзин, aggregated by home.social.
-
Безымянная логика
Почти две с половиной тысячи лет назад Аристотель положил начало науке логике, сформулировав три закона: тождества, противоречия и исключенного третьего. Закон тождества (кратко А=А) гласит, что всякая мысль (назовем ее А) в процессе рассуждения должна быть тождественна самой себе и не должна меняться в процессе рассуждения. Закон противоречия (А и не А - ложь) запрещает двум противоречивым суждениям быть одновременно истинными. Закон исключенного третьего (А или не А - истина) говорит, что всегда верно суждение или его отрицание. Продемонстрируем суть трех законов логики на примере кода на языке программирования С. Символ А - это имя, присвоенное переменной типа bool (логическая единица), которая принимает значения 0 (ложь) или 1 (истина). Закон тождества (А=А) гласит, что, если логической переменной А присвоено определенное значение (0 или 1), то это значение должно сохраняться постоянным на протяжении всего использования его в математическом выражении. Например, в коде...