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

Главная - Логика - Умозаключения

В - В

С - В

С - В

В процессе рассуждения пола силлогизм принимает обычно сокращенную форму, некоторые из его предпосылок опускаются. Полисилогизм, в котором пропущены некоторые предпосылки, называется соритом (грец. "куча" (куча предпосылок) есть два вида соритов :

1) Прогрессивный полисилогизм с пропущенными большими предпосылками.

А - В

С - В

D - C

D - B

2) Регрессивный полисилогизм с пропущенными меньшими предпосылками. К сложносокращенным принадлежат также епихейрема. Епихейрема - это сложносокращенный силлогизм, обе предпосылки которого есть ентимемами.

C - A

A - D

B - D

C - D

ИИИ. Правило логики высказываний :

1.Правило отделения (устранение импликации) ПВ (УИ) МР.

2.Введение конъюнкции - ВК

3.Устранение конъюнкции (УК)

4.ВД

5.Введение и устранение еквиваленций (ВЕ, УЕ)

ВЕ УЕ

6.Правило експортаций и импортаций

(введение конъюнкции)

П. Експ. (УК).