Дополнительная литература

1. Бочаров В.А., Маркин В.И. Основы логики. М., 2005.

1. Войшвилло Е.К., Дегтярев М.Г. Логика. М., 2001.

2. Войшвилло Е.К., Дегтярев М.Г. Логика : учеб. пособие. М., 2001.

1. Ивин А.А.Искусство правильно мыслить. М., 1997.

2. Ивлев Ю.В. Логика. М., 2008.

3. Кириллов В.И. Логика : учеб. пособие. М., 2002.

Таблицы, схемы и логические правила Модальные суждения: эквивалентности

Необходимо, что x ≡ Неверно, что возможно не-x

Случайно, что x ≡ Возможно, что x, и возможно, что не-x

Неверно, что необходимо x ≡ Возможно, что не-x

Неверно, что запрещено x ≡ Разрешено x

* * *

Обязательно, что x ≡ Неверно, что возможно не-x

Запрещено, что x ≡ Обязательно, что не-x

Неверно, что запрещено x ≡ Разрешено x

* * *

Доказано, что x ≡ Неверно, что правдоподобно не-x

Доказано, что не-х ≡ Опровергнуто, что x

Правдоподобно, что x ≡ Неверно, что доказано x, и неверно, что опровергнуто x

Если доказано, что x, то x имеет место

Если опровергнуто, что x, то x не имеет места

Категорические суждения

1	2	3
Названия видов категорических суждений	Логические формы (стандартные формулы) суждений	Отношения терминов (S иP)
Общеутвердительные (Сокращенно: суждения типа а)	Все S сутьP (Сокращенно: SaP)
Общеотрицательные (суждения типа е)	Все S не сутьP (SeP)
Частноутвердительные (суждения типа i)	Некоторые SсутьP (SiP)
Частноотрицательные (суждения типа о)	Некоторые S не суть P (SoP)

Логический квадрат

Внешнее отрицание: эквивалентности

(1) Неверно, что (Все S суть P) ≡ Некоторые S не суть P.

(2) Неверно, что (Все S не суть P) ≡ Некоторые S суть P

(3) Неверно, что (Некоторые S суть P) ≡ Все S не суть P

(4) Неверно, что (Некоторые S не суть P) ≡ Все S суть P

Дедуктивные правила вывода из сложных суждений

модус поненс МП:

Если Х, то Y; Х

Y

модус толленс МТ:

Если Х, тоY; не- Y

не-Х

первое правило исключения дизъюнкции ИД₁:

X или Y; не- X

Y

второе правило исключения дизъюнкции ИД₂:

Х либо Y; Y

не-X

правило исключения двойного отрицания ИО:

Неверно, что не-Х

Х

правило транзитивности ПТ:

Если Х, то Y; Если Y, то Z

Если Х, то Z

правило контрапозиции ПК:

Если X, то Y

Если не-Y, то не-X

сведение к «абсурду» СА:

Из Г и В выводимо противоречие (Х и не-Х)

Из Г выводимоне-В

доказывание от «противного» ДП:

Из Г и не-В выводимо противоречие (Х и не-Х)

Из Г выводимоВ

Простой категорический силлогизм:

фигуры, модусы и правила

1-я фигура	2-я фигура	3 фигура	4 фигура

Модусы первой фигуры:	Модусы второй фигуры:
1-й: Barbara (а, а, а) 2-й: Celarent (е,а,е) 3-й: Darii (a, i, i) 4-й: Ferio (е,i,o) 5-й: Barbari (a,а,i) 6-й: Celaront (е,а,o)	e,a,e; a,e,e; e,i,o; a,o,o; e,a,o; a,e,o
	Модусы третьей фигуры:
	a,a,i; i,a,i; a,i,i; e,a,o; o,a,o; e,i,o
	Модусы четвертой фигуры:
	a,a,i; a,e,e; i,a,i; e,a,o; e,i,o; a,e,o