16 С90 Суровягин, Дмитрий Павлович Введение в символическую логику и теорию доказательств [Текст] : учебное пособие / Д. П. Суровягин. - Саратов : Изд-во Саратовской гос. юрид. акад. Ч. 1 : Логика высказываний. - 2019. - 198 с. - ISBN 978-5-7924-1468-6 : 174.56 р., 264.00 р. Содержание: Предисловие . - С .5 Введение в логику . - С .7 1.1. Предмет и задачи логики как науки . - С .7 1.2. История логики . - С .14 1.2.1. Античная логика . - С .14 1.2.2. Средневековая логика . - С .20 1.2.3. Логика эпохи Нового времени . - С .24 1.2.4. Символическая логика . - С .30 1.2.5. Современная логика . - С .37 1.3. Базовые понятия логики . - С .48 1.3.1. Множества и операции над ними . - С .48 1.3.2. Свойства, отношения и функции . - С .53 1.3.3. Категории языковых выражений . - С .57 1.3.4. Упражнения . - С .68 2. Логика высказываний . - С .73 2.1. Язык логики высказываний . - С .73 2.1.1. Основные логические связки . - С .74 2.1.2. Алфавит и формулы логики высказываний . - С .79 2.1.3. Таблицы истинности . - С .85 2.1.4. Упражнения . - С .89 2.2. Законы логики высказываний . - С .93 2.2.1. Виды формул логики высказываний . - С .93 2.2.2. Основные тавтологии . - С .95 2.2.3. Понятие логической равносильности . - С .101 2.2.4. Упражнения . - С .107 2.3. Нормальные формы формул . - С .112 2.3.1. Булевы функции . - С .112 2.3.2. Дизъюнктивные и конъюнктивные формы . - С .115 2.3.3. Совершенные нормальные формы . - С .120 2.3.4. Упражнения . - С .129 2.4. Умозаключения . - С .132 2.4.1. Отношение логического следования . - С .133 2.4.2. Виды умозаключений . - С .138 2.4.3. Упражнения . - С .145 3. Исчисления высказываний . - С .149 3.1. Аксиоматическое исчисление . - С .150 3.1.1. Система аксиом Мендельсона . - С .150 3.1.2. Линейные доказательства . - С .154 3.1.3. Теорема о дедукции . - С .158 3.1.4. Упражнения . - С .164 3.2. Натуральное исчисление . - С .165 3.2.1. Правила вывода . - С .165 3.2.2. Структурные доказательства . - С .170 3.2.3. Эвристики . - С .174 3.2.4. Упражнения . - С .176 3.3. Правило резолюции . - С .179 3.3.1. Получение клаузул . - С .179 3.3.2. Резолютивный вывод . - С .182 3.3.3. Резолютивное доказательство . - С .186 3.3.4. Упражнения . - С .192 Список литературы . - С .194 Предметный указатель . - С .196
Рубрики: Логика Аннотация: Пособие предназначено для студентов высших учебных заведений всех форм обучения, изучающих логику или теорию аргументации. В первой главе изложена история развития логики, даны определения ее базовым понятиям. Вторая глава посвящена наиболее простой логической теории - логике высказываний. В третьей главе подробно рассмотрены три основных способа доказательства в логике высказываний: линейный вывод в формальной аксиоматической теории, структурное доказательство в натуральном исчислении высказываний и вывод методом резолюции. Пособие содержит комплекс упражнений, список литературы и предметный указатель. Держатели документа: НБ СГЮА Экземпляры всего: 17 ч/з1 (1), ч/з3 (1), ч/з4 (1), ч/з6 (1), н/а (13) Свободны: ч/з1 (1), ч/з3 (1), ч/з4 (1), ч/з6 (1), н/а (13) |