Система натурального вывода: учебно-методическое пособие

Сафонов Александр Сергеевич

dc.contributor	Казанский федеральный университет
dc.contributor.author	Сафонов Александр Сергеевич
dc.date.accessioned	2026-05-18T10:42:04Z
dc.date.available	2026-05-18T10:42:04Z
dc.date.issued	2026
dc.identifier.citation	Сафонов А. С. Система натурального вывода: учебно-методическое пособие / Сафонов А. С. - Казань: КФУ, 2026. - 11 с.
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/185910
dc.description.abstract	В пособии рассматривается система натурального вывода пропозициональной логики. Даны примеры построения дедуктивных доказательств и упражнения для самостоятельной работы. Предназначено для студентов, обучающихся по направлению 47.03.01 - Философия.
dc.language.iso	ru
dc.rights	только для КФУ
dc.subject	Логика
dc.subject	символическая логика
dc.subject	система натурального вывода
dc.subject	пропозициональная логика
dc.subject	логика высказываний.
dc.subject.other	Философия
dc.title	Система натурального вывода: учебно-методическое пособие
dc.type	Book
dc.contributor.org	Институт социально-философских наук и массовых коммуникаций
dc.description.pages
dc.pub-id	326368