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

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

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

Наприклад:

Всі студенти мають закінчену середню освіту

Іванов - студент

Отже, Іванов має закінчену середню освіту

Вихідні судження умовиводу називають засновками. Нове судження

- висновком.

Для того, щоб умовивід дав істинний висновок, повинні виконуватися дві умови:

Перша: Засновки мають бути істинними.

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

Наприклад, цілком коректним буде умовивід:

Неправда, що деякі метали не є електропровідними.

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

Друга умова полягає в тому, що повинні виконуватися правила виводу.

Візьмемо такі засновки:

Всі риби плавають в воді

Дельфін плаває в воді

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

Не буде висновку з двох істинних суджень, якщо вони між собою не пов’язані. Так неможливо зробити жодного висновку із суджень Київ - столиця України та США - найбагатша країна в світі.

6.2.