Аксиоматическое исчисление высказываний: учебно-методическое пособие

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

dc.contributor	Казанский федеральный университет
dc.contributor.author	Сафонов Александр Сергеевич
dc.date.accessioned	2020-10-26T08:00:45Z
dc.date.available	2020-10-26T08:00:45Z
dc.date.issued	2020
dc.identifier.citation	Сафонов А. С. Аксиоматическое исчисление высказываний: учебно-методическое пособие / Сафонов А. С. - Казань: Изд-во Казан. ун-та, 2020. -16 c.
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/159520
dc.description.abstract	В пособии рассматривается две системы аксиоматического исчисления высказываний: со схемами аксиом и с конечным числом аксиом. Приводится доказательство метатеоремы дедукции для системы со схемами аксиом. Также даны примеры доказательств в аксиоматических системах с комментариями. Предназначено для студентов, обучающихся по направлению 47.03.01 - Философия.
dc.language.iso	ru
dc.rights	только для КФУ
dc.subject	Логика
dc.subject	Символическая логика
dc.subject	Логика высказываний
dc.subject	Исчисление высказываний
dc.title	Аксиоматическое исчисление высказываний: учебно-методическое пособие
dc.type	Book
dc.contributor.org	Институт социально-философских наук и массовых коммуникаций
dc.description.pages	16
dc.pub-id	239937