Умовивід

Троянда – квітка

Троянда – живий організм (висновок № 2)

Перший проміжний висновок може бути пропущений і тоді умовивід в цілому прийме такий вигляд: “Всі рослини – живі організми. Всі квіти – рослини. Троянда – квітка. Троянда – живий організм”.

Такий силогізм має назву “сорит” – він застосовується для простеження тривалої залежності між класами предметів.

Скорочений силогізм без однієї посилки має назву “ентимема”. У ентимемі може бути також відсутнім висновок. Така ентимема зокрема застосовується тоді, коли висновок людина робити не хоче в силу його очевидності, або небажаності.

Приклади:

Всі колекціонери – збирачі. Третьяков – збирач (відсутня друга посилка).

Всі співаки – люди. Ф. Кіркоров – співак (відсутнє заключення).

3. Умовні та розподільні умовиводи

Крім силогізмів існують також такий вид дедуктивних умовиводів як умовні – в яких принаймні одна з посилок є умовним (імплікативним) судженням

Наприклад:

Якщо день сонячний, то сосновий ліс пахне смолою.

День сонячний.

Відповідно сосновий ліс пахне смолою;

або:

Якщо рішення суду оскаржене у касаційному порядку, то воно ще не вступило у законну силу.

Рішення суду оскаржене у касаційному порядку.

Відповідно воно ще не вступило у законну силу.

Формула такого умовиводу:

Якщо А то В (АВ)

А

Відповідно, В

В залежності від того, чи всі посилки є умовними розрізняють суто умовні або умовно-категоричні умовні умовиводи. Приклади і формула умовно-категоричних умовиводів приведені вище. Приклад суто умовного умовиводу: