Идея формальной дедуктивной системы приближенной к естественному рассуждения. Специфика построения вывода. Элементарные выводимости и элементарные способы рассуждения. Понятие допущения и их удаление из вывода.
Формулировка системы натурального вывода Правила вывода первого рода (элементарные выводимости). Правила вывода второго рода (элементарные способы рассуждения). Производные правила вывода. Эвристические принципы поиска доказательств.
Система натурального вывода для логики предикатов. Правила введения и удаления кванторов. Ограничения на переменные.
Литература:
1. Ивлев Ю.В. Логика. - М., 1992. - С. 93-105.
2. Бочаров В.А., Маркин А.В. Основы логики. – М., 2000.
3. Войшвилло Е.К., Дегтярёв М.Г. Логика. – М., 2000.