Логические задачи

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