Содержание
- Введение 1
- Основные понятия математической логики 2
- Символика математической логики: переменные и связки 3
- Логические следствия и доказательства 4
- Предельные значения и кванторы 5
- Применение символики математической логики в задачах 6
- Примеры решения задач с использованием логических выражений 7
- Самостоятельные задания и задачи для самоконтроля 8
- Возможные области применения математической логики 9
- Список литературы 10