Тема 5. Основы теории умозаключения

Закон эквиваленции

Закон импликации

Закон строгой дизъюнкции

Закон слабой дизъюнкции

Закон конъюнкции

Суждений

а	в	а Ù в
и	и	и
и	л	л
л	и	л
л	л	л

Конъюнкция истинна тогда и только тогда, когда все составляющие её простые суждения истинны.

а	в	а Ú в
и	и	и
и	л	и
л	и	и
л	л	л

Слабая дизъюнкция истинна тогда, когда по крайней мере одна из альтернатив истинна.

а	в	а Ú* в
и	и	л
и	л	и
л	и	и
л	л	л

Строгая дизъюнкция истинна тогда, когда одна альтернатива истинна, а другая ложна.

а	в	а ® в
и	и	и
и	л	л
л	и	и
л	л	и

Импликация истинна во все случаях кроме одного, когда основание истинно, а следствие ложно.

а	в	а º в
и	и	и
и	л	л
л	и	л
л	л	и

Эквиваленция истинна тогда, когда основание и следствие одновременно истинны или ложны.

Схема 21. Отрицание суждений

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

Закон двойного отрицания: Ø Ø а «а

Отрицание простых суждений: Ø А «О

Ø О «А

Ø Е «I

Ø I «Е

Отрицание сложных суждений:

Законы де Моргана: 1) Ø (а Ù в) «Ø а Ú Ø в

2) Ø (а Ú в) «Ø а Ù Ø в

3) Ø (а ® в) «Ø (а Ù Ø в)

4) Ø (а ® в) «Ø (Ø а Ú в)

Закон контрапозиции: (а ® в) «(Ø в ® Ø а)

Схема 22. Виды умозаключений

1.Умозаключения

(по степени доказательности)

Демонстративные Недемонстративые

(Силлогизмы) (Правдоподобные)

2. Умозаключения

(по количеству посылок)

Непосредственные Опосредственные

3. Умозаключения

(по характеру перехода от посылок к заключению)

Дедуктивные Традуктивные Индуктивные

(переход от общего (переход от частного (переход от частного

знания к частному) знания к частному знания к частному)

или от общего к

общему)

4. Умозаключения

(по типу информации)

Атрибутивные Релятивные

5. Умозаключения

(по составляющим суждениям)

Выводы из Выводы из

простых суждений сложных суждений

Условные Разделительные Условно-разделительные

умозаключения. умозаключения умозаключения

6.Умозалючения

(по полноте)

Полные Неполные

(энтимемы)

7. Умозаключения

(по сложности)

Простые Сложные

8. Умозаключения

(по степени новизны вывода)

Продуктивные Репродуктивные

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

Дата добавления: 2015-05-08