Умовиводи

В – В

С – В

С - В

В процесі міркування полі силогізм приймає звичайно скорочену форму, деякі з його засновків опускаються. Полісилогізм, в якому пропущені деякі засновки, називається соритом (грец. “купа” (купа засновків) є два види соритів:

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

А – В

С – В

D – C

D - B

2) Регресивний полісилогізм з пропущеними меншими засновками. До складноскорочених належить також епіхейрема. Епіхейрема – це складноскорочений силогізм, обидва засновки якого є ентимемами.

C – A

A – D

B – D

C - D

ІІІ. Правило логіки висловлювань:

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

2.Введення кон’юнкції – ВК

3.Усунення кон’юнкції (УК)

4.ВД

5.Введення і усунення еквіваленції (ВЕ, УЕ)

ВЕ УЕ

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

(введення кон’юнкції)

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