Вид документа : Многотомное издание Шифр издания : 16/С90 Автор(ы) : Суровягин, Дмитрий Павлович Заглавие : Введение в символическую логику и теорию доказательств: учебное пособие/ Д. П. Суровягин. Ч. 1: Логика высказываний Выходные данные : Саратов: Изд-во Саратовской гос. юрид. акад., 2019 Колич.характеристики :198 с ISBN, Цена 978-5-7924-1468-6: 174.56, 174.56, 264.00, р. УДК : 16 + 16(075.8) + 160.1 + 161.2 + 162 + 164 + 168.3 ББК : 87.4я73 Предметные рубрики: Логика Содержание : Предисловие ; Введение в логику ; 1.1. Предмет и задачи логики как науки ; 1.2. История логики ; 1.2.1. Античная логика ; 1.2.2. Средневековая логика ; 1.2.3. Логика эпохи Нового времени ; 1.2.4. Символическая логика ; 1.2.5. Современная логика ; 1.3. Базовые понятия логики ; 1.3.1. Множества и операции над ними ; 1.3.2. Свойства, отношения и функции ; 1.3.3. Категории языковых выражений ; 1.3.4. Упражнения ; 2. Логика высказываний ; 2.1. Язык логики высказываний ; 2.1.1. Основные логические связки ; 2.1.2. Алфавит и формулы логики высказываний ; 2.1.3. Таблицы истинности ; 2.1.4. Упражнения ; 2.2. Законы логики высказываний ; 2.2.1. Виды формул логики высказываний ; 2.2.2. Основные тавтологии ; 2.2.3. Понятие логической равносильности ; 2.2.4. Упражнения ; 2.3. Нормальные формы формул ; 2.3.1. Булевы функции ; 2.3.2. Дизъюнктивные и конъюнктивные формы ; 2.3.3. Совершенные нормальные формы ; 2.3.4. Упражнения ; 2.4. Умозаключения ; 2.4.1. Отношение логического следования ; 2.4.2. Виды умозаключений ; 2.4.3. Упражнения ; 3. Исчисления высказываний ; 3.1. Аксиоматическое исчисление ; 3.1.1. Система аксиом Мендельсона ; 3.1.2. Линейные доказательства ; 3.1.3. Теорема о дедукции ; 3.1.4. Упражнения ; 3.2. Натуральное исчисление ; 3.2.1. Правила вывода ; 3.2.2. Структурные доказательства ; 3.2.3. Эвристики ; 3.2.4. Упражнения ; 3.3. Правило резолюции ; 3.3.1. Получение клаузул ; 3.3.2. Резолютивный вывод ; 3.3.3. Резолютивное доказательство ; 3.3.4. Упражнения ; Список литературы ; Предметный указатель Аннотация: Пособие предназначено для студентов высших учебных заведений всех форм обучения, изучающих логику или теорию аргументации. В первой главе изложена история развития логики, даны определения ее базовым понятиям. Вторая глава посвящена наиболее простой логической теории - логике высказываний. В третьей главе подробно рассмотрены три основных способа доказательства в логике высказываний: линейный вывод в формальной аксиоматической теории, структурное доказательство в натуральном исчислении высказываний и вывод методом резолюции. Пособие содержит комплекс упражнений, список литературы и предметный указатель. Экземпляры : всего : ч/з1(1), ч/з3(1), ч/з4(1), ч/з6(1), н/а(13) Свободны : ч/з1(1), ч/з3(1), ч/з4(1), ч/з6(1), н/а(13) Держатели документа: НБ СГЮА