Драган Г.С., Федоровский С.В. Элементы алгебры высказываний и логики предикатов

Одеса: Одеський національний університет імені І. І. Мечникова, 2014. — 100 с.Настоящее методическое пособие предназначено для студентов младших курсов. В нем рассмотрены элементы алгебры высказываний и логики предикатов, позволяющие студентам І курса получить представление о правильных формах рассуждений и о правильности самих рассуждений.Введение
Высказывания. Логические операции над высказываниями
Формулы АВ. Классификация формул. Таблицы Квайна
Основные законы АВ. Теоремы «о подстановке» и «о замене»
Дизъюнктивные нормальные формы (ДНФ)
Логическое следствие в АВ, свойства, критерий
Рассуждения в АВ, проверка их правильности
Предикаты. Классификация предикатов в данной области
Кванторы. Два способа образования высказываний в ЛП
Формулы ЛП
Интерпретации формул ЛП
Классификация формул ЛП
Основные нетривиальные законы ЛП
Предваренная нормальная форма
Ограниченные кванторы
Логическое следствие в ЛП. Рассуждения в ЛП
Задачи для самостоятельного решения
Ответы
Список использованной литературы