Содержание
- Введение 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