16 Е78 Ерохина, Наталья Викторовна. Сложные суждения [Текст] : учебно-методическое пособие / Н. В. Ерохина. - Саратов : Изд-во Саратовской гос. юрид. акад., 2013. - 28 с. + 1 эл. опт. диск (CD-ROM). - ISBN 978-5-7924-1036-7 : 275.00 р. Содержание: ПРЕДИСЛОВИЕ . - С .3 МЕТОДИЧЕСКИЕ УКАЗАНИЯ К ТЕМЕ . - С .4 Приложение I. План лекции . - С .7 Приложение 2. Цель и задачи лекции . - С .7 Приложение 3. Перечень слайдов . - С .8 Приложение 4. Электронная презентация (CD-ROM) . - С .8 ТЕКСТ ЛЕКЦИИ . - С .9 Введение . - С .9 1. Сложные суждения, их виды. Логические и грамматические союзы . - С .9 2. Соединительное (конъюнктивное) суждение. Условия истинности конъюнкции . - С .10 3. Разделительное (дизъюнктивное) суждение. Строгая и не строгая, полная и неполная дизъюнкция . - С .15 4. Условное (импликативное) и эквивалентное суждение: структура, особенности, значения истинности. Логический анализ норм права . - С .17 СПИСОК РЕКОМЕНДУЕМОЙ ЛИТЕРАТУРЫ . - С .25
Рубрики: Логика Аннотация: Пособие, представляющее собой методическую разработку лекции по логике на тему «Сложные суждения», содержит текст лекции, рассчитанной на два аудиторных часа, рекомендации, позволяющие глубоко и всесторонне раскрыть основные вопросы темы, и электронную презентацию, наглядно иллюстрирующую учебный материал. Соответствует требованиям Федерального государственного образовательного стандарта высшего профессионального образования по направлению подготовки 030501.62 «Юриспруденция» (квалификация (степень) «бакалавр»). Предназначено для преподавателей, читающих курс логики студентам юридических и других гуманитарных специальностей. Может быть использовано обучающимися для самостоятельной подготовки. Держатели документа: НБ СГЮА Экземпляры всего: 1 ч/з1 (1) Свободны: ч/з1 (1) |
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) |