Поняття про умовивід, його види

Якщо а , то с; якщо a, то сВ символічному записі:

не-в чи не-с (pr) Λ (рr), ~q v ~r

не-а ~p

В складній деструктивній дилемі умовний засновок містить дві основи і два наслідки. Міркування направлене від заперечення істинності наслідків до заперечення істинності основи:

Якщо а , то в; якщо с, то dВ символічному записі:

не-в чи не-d (pq) Λ (rs), ~q v ~s

не-а або не-с ~p v ~r

ІІ. Видами дедуктивних умовиводів також є такі силогізми:

1) Скорочений (ентимема) – силогізм з пропущеним засновком чи висновком. Пропущені частини силогізму маються на увазі (подразумеваются). Розрізняють три види ентимем: з пропущеним більшим, меншим засновком і з пропущеним висновком. Форму ентимем приймають також умовиводи з умовними і розділовими судженнями в засновках.

Умовно-категоричні – з пропущеним більшим засновком.

Розділово-категоричні – з пропущеним більшим засновком.

Розділово-категоричні – з пропущеним висновком.

2) Складний силогізм чи полісилогізм – це поєднання простих силогізмів, в яких висновок передуючого силогізму (просилогізма) стає засновком наступного (епісилогізма). Розрізняють прогресивний і регресивний полісилогізми:

В прогресивному висновок просилогізма стає більшим засновком епісилогізма.

АBА – посадовий злочин

CAВ – суспільно небезпечне діяння.

CBС – халатність (злочин)

DCD – наказуємо (дача хабаря).

DB.

В регресивному полісилогізмі висновок просилогізма стає меншим засновком епісилогізма:

А – В

С – В

С – В