Умовні та умовно-категоричні силогізми

Чисто умовним називається умовивід, обидві посилки якого є умовними судженнями. наприклад:

У наведеному прикладі обидві посилки - умовні судження, причому наслідок першої посилки є підставою другий (в), з якого, в свою чергу, випливає деякий наслідок (с). Загальна частина двох посилок (в) дозволяє зв'язати заснування першої (а) і наслідок другий (с). Тому висновок також виражається у формі умовного судження.

Схема чисто Якщо а. а саме ст.

умовного умовиводу: Якщо в. то с.

Висновок в чисто умовному умовиводі ґрунтується на правилі: наслідок наслідку є наслідок підстави.

Умовивід, в якому висновок виходить з двох умовних посилок, відноситься до простих. Однак висновок може випливати з більшого числа посилок, які утворюють ланцюг умовних суджень. Такі висновки називаються складними.

Цей висновок має два правильних модусу: який стверджує і заперечує.

Якщо позов пред'явлений недієздатною особою (а), то суд залишає позов без розгляду (у).

Позов пред'явлений недієздатною особою (а).

Суд залишає позов без розгляду (у).

Схема: Якщо а, то в.

Якщо позов пред'явлений недієздатною особою (а), то суд залишає позов без розгляду (у).

Суд не залишив позов без розгляду (не- в).

Невірно, що позов пред'явлений недієздатною особою (не- а).

Схема заперечує модусу: Якщо а, то в.

Якщо і тільки якщо число ділиться на 2 без залишку, то воно парне.

Число 8 ділиться на 2 без залишку.