Мельников В.Н. Логические задачи

К.; Одесса: Выща школа, 1989. — 344 с. — ISBN 5—11—001395—0. Рассмотрены элементы логики классов, логики высказываний и логики предикатов, а также традиционная силлогистика. Кроме изложения теоретических проблем, каждый параграф содержит серию задач и методические пояснения к ним. Большое количество задач (свыше 1800), их различия по степени сложности дают возможность разнообразить задания студентам В отличие от других учебников содержится материал для усвоения аналитико-табличного метода доказательства.
Для студентов гуманитарных специальностей вузов. Понятие.
Множество, его элементы и подмножества. Включение.
Отношения между понятиями по объему. Обобщение и ограничение понятий.
Операции над множествами.
Основные законы операций над множествами.
Б. Деление понятия (разбиение множества).
Определение понятия.
Суждение.
Общая характеристика высказывания.
Логические операции. Таблицы истинности.
Логические отношения. Эквивалентность.
Варианты импликации.
Отношение логического следования.
Систематический анализ логических отношений.
Несовместимость.
Сложные высказывания и множества.
Применения к контактным схемам.
Категорические высказывания.
Предикаты как логические функции.
Операции над предикатными формулами. Кванторы.
Законы логики высказываний.
Тождественная истинность формул.
Эквивалентные преобразования. Минимизация.
Нормальные формы. Совершенная дизъюнктивная нормальная форма.
Нормальные формы. Совершенная конъюнктивная нормальная форма.
Эквивалентные преобразования. Проблема разрешения.
Дедуктивные умозаключения и доказательства.
Выводы логики высказываний.
Систематический обзор следствий из данных посылок (гипотез).
Образование посылок (гипотез) для данного следствия.
Прямое и косвенное доказательства.
Метод аналитических таблиц.
Выводы из категорических высказываний.
Традиционная силлогистика и аналитические таблицы.
Список литературы.
Указатель терминов.