Загальна характеристика умовиводів

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

Наприклад: Усі корисні копалини - природні багатства.

Уран - корисна копалина.

Отже, Уран - природне багатство.

Умовивід складається із засновку і висновку.

Засновок - це судження або декілька суджень, із яких виводиться нове знання.

Висновок - виведене із засновків судження.

У наведеному вище прикладі два судження над лінією є засновками. А судження під лінією - висновком.

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

Розглянемо два приклади:

1. Усі метали електропровідні. Вода електропровідна.

Отже, вода метал.

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

2. Усі давньогрецькі філософи були демократами. Платон - давньогрецький філософ.

Отже, Платон був демократом.

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

Умовиводи, у яких висновок робиться із двох або більшої кількості засновків, називаються опосередкованими.

5.2.