2) Ø (а ú в) « (ø а ù ø в)

Законы отрицания импликации:

1) Ø (а ® в) « (а ù ø в)

2) Ø (а ® в) « ø ( ø а ú в)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

общему)

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

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

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

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

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

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

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

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

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

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

(по полноте)

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

(энтимемы)

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

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

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

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

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

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

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

Превращения суждений

(А) Все S есть Р « (Е) Ни одно S не есть не-Р

(Е) Ни одно S не есть Р « (А) Все S есть не-Р

(I) Некоторые S есть Р « (О) Некоторые S не есть не-Р

(О) Некоторые S не есть Р « (I) Некоторые S есть не-Р