TextBook А або В.
Не А.
В.
Відповідна їй формула логіки висловлювань:
Як бачимо, це — закон логіки, тобто правильна структура виводу. Різновидами нього виводу є такі:
Усі ці структури і відповідні їм формули логіки висловлювань є законами логіки.
Оскільки в цих виводах ідуть від заперечення однієї альтернативи до ствердження іншої, то цей вивід називають заперечно-стверджувальним модусом (modus tullendo ponens) розділово-категоричного виводу.
У наведеному прикладі сполучник "або" ми використали в значенні "і/або", тобто альтернативи не виключали одна одну (диз'юнкція). Якщо сполучник "або" використати в суто роз'єднувальному значенні (сильна диз'юнкція), то ці структури будуть теж правильними. Наприклад:
Таким чином, у виводах за modus tollendo ponens смисл сполучника "або" не має жодного значення. Тобто, якщо в наведених структурах виводу знак "V", замінити на "W", то ці структури і відповідні їм формули теж будуть законами логіки.
При виводах за структурою modus tollendo ponens обмежуючою умовою необхідного виводу є така: в розділовому засновку необхідно врахувати всі можливі альтернативи. Якщо не дотримуватися цієї умови, то висновок буде лише ймовірним.
с) Стверджувально-заперечний модус.
Наше міркування можна побудувати так:
Мені могли телефонувати Микола (А) або Петро (В).
Мені зателефонував Микола (А).
Петро мені не телефонував (~В).
Структура цього умовиводу така:
А або В.
А._
Не В.
Відповідна їй формула логіки висловлювань:
Сторінки
В нашій електронній бібліотеці ви можете безкоштовно і без реєстрації прочитати «Логіка» автора Н.Г.Мозгова на телефоні, Android, iPhone, iPads. Зараз ви знаходитесь в розділі „Розділ 9. Виводи логіки висловлювань“ на сторінці 2. Приємного читання.