Математическая логика

В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. [collapse collapsed title=] [b]ОГЛАВЛЕНИЕ [i]Введение 4[/i] [i][u]Глава I. Алгебра высказываний[/u][/i] § 1. Понятие о высказывании и предикате 8 § 2. Операции над высказываниями 13 § 3. Отношение эквивалентности 14 § 4. Необходимые и достаточные условия. Взаимно обратные и взаимно противоположные теоремы 30 5. Закон двойственности 34 6. Нормальные формы 36 7. Проблема разрешения 45 8. Понятие выводимости 48 9. Применение алгебры высказывании для анализа и синтеза переключательных схем 52 [i][u]Глава II. Алгебра предикатов[/u][/i] § 1. Понятие модели и язык теории моделей 60 § 2. Понятие формулы алгебры предикатов 71. § 3. Отношение эквивалентности 79 § 4. Проблемы общезначимости и выполнимости формул 85 § 5. Понятие выводимости 93 § 6. Классы алгебраических моделей 112 [i][u]Глава III. Исчисление высказываний и предикатов[/u][/i] § I. Язык исчисления высказываний, аксиомы, правила вывода 127 § 2. Отношения эквивалентности 142 § 3. Метатеория исчисления высказываний 150 § 4. Исчисление предикатов 157 Ответы к упражнениям 164 Список обозначений 171 Литература 172 Предметный указатель 173 [/b] [/collapse]