Умовно-категоричні виводи
а) Суто умовні. Суто умовним називають вивід, в якому всі засновки і висновок є умовними висловлюваннями. Наприклад:
Якщо успішно складу зимову сесію (А), то поїду в Карпати (В).
Якщо поїду в Карпати (В), то обов’язково побуваю на Говерлі (C),
Якщо успішно складу зимову сесію (А), то обов’язково побуваю на Говерлі (C).
Структура цього виводу є такою:
Якщо А, то В.
Якщо В, то С.
Якщо А, то С.
Формула логіки висловлювань:
Ця формула є завжди істинною або законом логіки, оскільки структура цього виводу є правильною.
Вивід в суто умовному умовиводі ґрунтується на правилі: наслідок наслідку є наслідком підстави.
У суто умовному виводі існують його різновиди (модуси). До них належить, наприклад, такий;
Якщо А, то В.
Якщо не А, то В.
В.
Його формула:
Ця формула є законом
логіки (тавтологією).
Наприклад:
Якщо складу залік з логіки, то піду в кіно.
Якщо не складу залік з логіки, то піду в кіно.
Піду в кіно.
b) * Cтверджу вальний модус
Умовно-категоричний умовивід - це вивід, в якому один із засновків -умовне судження, а інший — категоричне судження. Наприклад:
Якщо фотоплівку засвітити (А), то вона вийде з ладу (В).
Цю фотоплівку засвічено (А).
Ця фотоплівка вийшла з ладу (В).
Структура цього виводу:
Якщо А, то В.
A.
B.
Його формула:
Як бачимо, формула логіки висловлювань, що відображає дану структуру виводу, є завжди істинною або законом логіки. Цю структуру виводу називають стверджувальним модусом (modus ponens) умовно- категоричного умовиводу, оскільки в ній від ствердження підстави (А) переходять до ствердження наслідку (В).
Можна будувати достовірні умовиводи від ствердження підстави до ствердження наслідку. При цьому засновки повинні бути істинними.Побудуємо тепер наше міркування так:
Якщо фотоплівку засвітити (А), то вона вийде з ладу (В).
Ця фотоплівка вийшла з ладу (В).
Цю фотоплівку було засвічено (А).
Його структура:
Якщо А, то В.
Bi
А.
Формула логіки висловлювань:
Як бачимо, ця формула не є тавтологією. Отже, ми маємо справу з неправильною структурою виводу. Це означає, що вивід за цією структурою не є необхідним, тобто він не завжди буде давати істинні висновки. Не можна будувати достовірні умовиводи від ствердження наслідку до ствердження підстави. Цей модус умовно-категоричного умовиводу називають імовірним. Він не є законом логіки.
с) 'Заперечний модус.
Побудуємо наше розмірковування таким чином:
Якщо фотоплівку засвітити (А), то вона вийде з ладу (В).
Ця фотоплівка не вийшла з ладу (~В).
Цю фотоплівку не було засвічено (~А).
Структура цього міркування є такою:
Якщо А, то В.
HeB,
Не А.
Йому відповідає формула логіки висловлювань: ((А —> В) A-В) → -А. Ця формула є законом логіки або завжди істинною формулою. Цей різновид умовно-категоричного умовиводу називають заперечним модусом (modus tollens). Він встановлює, що можна будувати достовірні умовиводи від заперечення наслідку до заперечення підстави. Hc слід забувати, що засновки при цьому повинні бути істинними.
Наше міркування, нарешті, можна побудувати і таким чином:
Якщо фотоплівку засвітити (А), то вона вийде з ладу (В).
Цю фотоплівку не засвічено (~А).
Ця фотоплівка не вийшла з ладу (~В).
Структура цього умовиводу є такою:
Якщо А, то В.
HeA.
HcB.
Цій структурі відповідає наступна формула логіки висловлювань: ((А —> В) A-A) —> -B. Виходячи із міркувань здорового глузду, якщо фотоплівка не засвічена, це не завжди означає її придатність для використання. Тобто ця структура не завжди дає необхідні виводи, бо вона є неправильною. А формула, яка їй відповідає, не є законом логіки. Hc можна будувати достовірні умовиводи від заперечення підстави до заперечення наслідку. Цей модус умовно-категоричного умовиводу називають імовірним.
3.