Читать онлайн «Неклассические логики высказываний.»

Министерство образования и науки Российской Федерации Ярославский государственный университет им. П. Г. Демидова Е. В. Кузьмин Неклассические логики высказываний Учебное пособие Ярославль ЯрГУ 2016 УДК 510. 64 (075) ББК В12я73 К89 Рекомендовано Редакционно-издательским советом университета в качестве учебного издания. План 2016 года Рецензенты: кандидат технических наук, доцент Т. П. Никитина; кафедра прикладной математики и вычислительной техники ЯГТУ Кузьмин, Егор Владимирович. К89 Неклассические логики высказываний: учеб. пособие / Е. В. Кузьмин ; Яросл. гос. ун-т. им. П. Г. Демидова. — Ярославль : ЯрГУ, 2016. — 160 с. ISBN 978-5-8397-1079-5 Написано в поддержку учебной дисциплины «Неклассические логики». Основ- ное внимание уделяется базовым принципам и конструктивным элементам, с по- мощью которых происходит формальное построение различных неклассических логик высказываний. Рассматриваются нормальные и ненормальные модальные логики, временные, условные, интуиционистские и многозначные логики, логики с возможными мирами, провалами и избытками истины, паранепротиворечивые, релевантные и нечеткие логики. Предназначено для студентов старших курсов очной формы обучения, маги- странтов и аспирантов, специализирующихся в области теоретической информа- тики и прикладной математики. Библиогр. : 12 назв. УДК 510. 64 (075) ББК В12я73 ISBN 978-5-8397-1079-5 c ЯрГУ, 2016  ОГЛАВЛЕНИЕ Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Г л а в а 1. Логика высказываний . . . . . . . . . . . . . . . . . . . . . . 8 1. 1. Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1. 2. Синтаксис объектного языка . . . . . . . . . . . . . . . . . . . . . . . . 9 1. 3. Семантика справедливости . . . . . . . . . . . . . . . . . . . . . . . . . 9 1. 4. Табличный метод . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 1. 5. Контр-модели . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1. 6. Теоремы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1. 7.