Сафонов Александр Сергеевич
(2026)
В пособии рассматривается система натурального вывода пропозициональной логики. Даны примеры построения дедуктивных доказательств и упражнения для самостоятельной работы. Предназначено для студентов, обучающихся по направлению ...