I. Понятие.
Множество, его элементы и подмножества. Включение.
Отношения между понятиями по объему. Обобщение.
и ограничение понятий.
Операции над множествами.
Основные законы операций над множествами.
Б. Деление понятия (разбиение множества).
Определение понятия.
II. Суждение.
Общая характеристика высказывания.
Логические операции. Таблицы истинности.
Логические отношения. Эквивалентность.
Варианты импликации.
Отношение логического следования.
Систематический анализ логических отношений.
Несовместимость.
Сложные высказывания и множества.
Применения к контактнь-м схемам.
Категорические высказывания.
Предикаты как логические функции.
Операции над предикатными формулами. Кванторы.
III. Законы логики высказываний.
Тождественная истинность формул.
Эквивалентные преобразования. Минимизация.
Нормальные формы. Совершенная дизъюнктивная.
нормальная форма.
Нормальные формы. Совершенная конъюнктивная.
нормальная форма.
Эквивалентные преобразования. Проблема разрешения.
IV. Дедуктивные умозаключения и доказательства.
Выводы логики высказываний.
Систематический обзор следствий из данных посылок (гипотез).
Образование посылок (гипотез) для данного следствия.
Прямое и косвенное доказательства.
Метод аналитических таблиц.
Выводы из категорических высказываний.
Традиционная силлогнст ка и аналитические таблицы.
Список литературы.
Указатель терминов.