Литература:

1. Гетманова А.Д. Логика. Углубленный курс: Уч. пособие. М.: КНОРУС, 2007. гл. 2 § 2.11.

2. Зинченко Е.В., Эннс И.А. Логика. Томск, 2011. Раздел 5.3.-5.6., раздел 5.7, 6.4.

3. Ивлев Ю.В. Логика. Сборник упражнений. М., 2004. Гл.6.

4. Кириллов В.И., Старченко А.А. Логика: учеб. 6-е изд. М., 2009. Гл. V.

5. Кобзарь В.И. Логика в вопросах и ответах: Уч. пособие. М., 2010. Гл. 4.

6. Ивлев Ю.В. Логика. М.: Проспект, 2010. Гл.V. §2.

1. Построить таблицы истинности для следующих формул:

(AVB) > ¬C

(A> (BV¬(C>A))) & ¬B

((B>¬A) & (A>B)) & (¬C ≡ (AV¬B))

2. Построить таблицы истинности и проверить правильность рассуждений:

Если человек принял какое-то решение, и он правильно воспитан, то он преодолеет все конкурирующие желания. Человек принял решение, но не преодолел некоторых конкурирующих желаний. Следовательно, он неправильно воспитан.

3. Записать следующие суждения на языке логики предикатов:

Некоторые юристы – не судьи;

Все судьи неподкупны;

Ни один судья не является преступником;

Некоторые юристы знают логику.

4. Определить количество свободных переменных в выражениях и показать, какие вхождения переменных связаны какими кванторами, сформулируйте реальные суждения, соответствующие данным логическим формам:

P(x,y,z)&Q(x)

xP(x,y,z)Q(x)

xy((P(x)&Q(y))R(x,y))

5. Записать следующие суждения на языке логики высказываний и на языке логики предикатов. Сравнить выразительные возможности полученных формул.

Виновным в преступлении признается лицо, совершившее преступление умышленно или по неосторожности;

6. Средствами СНВ проверить правильность следующих рассуждений:

Всякий, кто находится в здравом уме, может понимать логику. Ни один из сыновей Крокса не может понимать логику. Сумасшедшие не допускаются к голосованию. Следовательно, ни один из сыновей Крокса не допускается к голосованию.

Занятие 5. Теория умозаключений.

Для выполнения заданий (решения задач) по данной теме необходимо проработать следующие теоретические вопросы по учебной литературе, указанной ниже:

1. Структура и виды умозаключения.

2. Непосредственные умозаключения: превращение, обращение, противопоставление предикату.

3. Умозаключения по логическому квадрату.

4. Простой категорический силлогизм. Структура силлогизма. Аксиома силлогизма.

5. Фигуры и модусы простого категорического силлогизма.

6. Правила простого категорического силлогизма.

7. Графический способ проверки правильности вывода в простом категорическом силлогизме.

Литература:

1. Гетманова А.Д. Логика. Углубленный курс: учеб. пособие. М., 2007. Гл. 2 § 2.13.

2. Зинченко Е.В., Эннс И.А. Логика. Томск, 2011. Раздел 6.1 – 6.2.1, раздел 6.2.2.

3. Ивлев Ю.В. Логика. Сборник упражнений. М., 2004. Гл. 6.

4. Ивлев Ю.В. Логика для юристов. М.: Проспект, 2010. Гл. IV.

5. Кириллов В.И., Старченко А.А. Логика: учеб. 6-е изд. М., Проспект, 2009. Гл. VII §1, §2, гл. VII §3, гл. VIII §4, §5.

6. Кобзарь В.И. Логика в вопросах и ответах: уч. пособие. М., 2010. Гл. 5.

1. Определить вид непосредственного умозаключения и проверить его правильность?

Некоторые люди умеют скрывать свои чувства. Следовательно, некоторые люди не умеют скрывать свои чувства.

Некоторые люди неправильно понимают задачи правосудия. Следовательно, те, кто неправильно понимает задачи правосудия, не люди.

2. Превратить суждения:

Некоторые юристы учились в Академии МВД.

Все студенты – учащиеся.

3. Превратить, обратить и осуществить противопоставление субъекту и предикату следующих суждений, осуществить все возможные заключения по логическому квадрату:

Некоторые подозреваемые не имеют алиби.

Ни один логик не отрицает познаваемости мира.

4. Проверить правильность ПКС, определить фигуру и модус ПКС:

Судья не может участвовать в рассмотрении дела, если он является потерпевшим. Судья Петров – потерпевший. Судья Петров не может участвовать в рассмотрении данного дела.

Т.к. заряженные частицы отклоняются в магнитном поле, а нейтроны не имеют заряда, значит, они не отклоняются в магнитном поле.

Учитывая, что многие птицы относятся к водоплавающим, а так же тот факт, что большинство птиц улетает зимой в южные страны, можно заключить, что часть водоплавающих также улетает зимой в южные страны.

Некоторые математики обладают способностью к быстрому счету. Поскольку все программисты – математики, значит, они обладают такой способностью.