Содержание
- Введение 1
- Пропозициональная логика: основные понятия и операции 2
- - Пропозиции и логические связки 2.1
- - Таблицы истинности 2.2
- - Логические законы и тождества 2.3
- Предикатная логика: кванторы и предикаты 3
- - Предикаты и переменные 3.1
- - Кванторы всеобщности и существования 3.2
- - Формализация утверждений предикатной логикой 3.3
- Методы доказательства в формальной логике 4
- - Прямое и косвенное доказательство 4.1
- - Метод математической индукции 4.2
- - Правила вывода и логические следствия 4.3
- Практическое применение формальной логики 5
- - Анализ аргументов и выявление логических ошибок 5.1
- - Логика в программировании и искусственном интеллекте 5.2
- - Формальная логика и юриспруденция 5.3
- Заключение 6
- Список литературы 7