Равносильные преобразования формул

Понятие равносильности. Подформула. Тавтология. Законы логики. Свойства основных связок.

[@timecode2024]

Здравствуйте! Тайм-коды\конспект для этого видео: 0:00 формулы А и В, задающие одну и ту же функцию, называются равносильными 1:04 следующие равносильности являются верными. Доказательство 1:45 если формула представляет собой переменную, то её подформулой является только она сама 2:10 пример. Формула содержит следующие подформулы 3:00 преобразования формул, при котором подформулы этих формул заменяются равносильными формулами, называются равносильными 3:35 формула называется тождественно истинной (общезначимой, тавтологией, если при любых значениях содержащихся в ней переменных её значение равно 1 3:50 формула называется тождественно ложной, если при любых значениях содержащихся в ней переменных её значение равно 0 (tauto - то же самое, и logos - слово) 4:50 закон противоречия, закон исключения третьего 5:35 снова пример с религией, экскурс в историю 8:48 есть еще другие свойства 10:15 очень важно свойства функции 11:20 нас пытаются запутать всякие мошенники, шарлатаны. Утверждение, которое нельзя проверить считается Ложью! Пока оно не будет доказано. Успехов в обучении!

[@volgota]

Спасибо!