Понятие об умозаключении, его видах
В - В
С - В
С - В
В процессе рассуждения пола силлогизм принимает обычно сокращенную форму, некоторые из его предпосылок опускаются. Полисилогизм, в котором пропущены некоторые предпосылки, называется соритом (грец. "куча" (куча предпосылок) есть два вида соритов :
1) Прогрессивный полисилогизм с пропущенными большими предпосылками.
А - В
С - В
D - C
D - B
2) Регрессивный полисилогизм с пропущенными меньшими предпосылками. К сложносокращенным принадлежат также епихейрема. Епихейрема - это сложносокращенный силлогизм, обе предпосылки которого есть ентимемами.
C - A
A - D
B - D
C - D
ИИИ. Правило логики высказываний :
1.Правило отделения (устранение импликации) ПВ (УИ) МР.
2.Введение конъюнкции - ВК
3.Устранение конъюнкции (УК)
4.ВД
5.Введение и устранение еквиваленций (ВЕ, УЕ)
ВЕ УЕ
6.Правило експортаций и импортаций
(введение конъюнкции)
П. Експ. (УК).
Вернуться назад