Конспект із математичної логіки, присвячений методу семантичних таблиць та його застосуванню для доведення тавтологій, перевірки виконуваності формул і виведення висновків із гіпотез.
Матеріал містить:
основні означення та алгоритм побудови семантичних таблиць;
наочні дерева для заперечення, кон’юнкції, диз’юнкції, імплікації та еквіваленції з позначками T і F;
приклади доведень, закриття гілок і побудови контроцінок;
лему Гінтікки, теореми коректності й повноти з доведеннями;
лему Кеніга та теорему компактності;
зв’язок з аксіоматичним методом і завдання для самостійної роботи.
Конспект призначений для студентів, викладачів та учнів, які поглиблено вивчають математичну логіку. Підходить для лекційних і практичних занять, самостійного опрацювання та повторення.
Формат: PDF, 8 сторінок.
