№41 Суто умовний умовивід. №42 Умовно-категоричний умовивід

№41 Суто умовний умовивід

Чисто умовним називається умовивід у якому засновки і висновок є умовними судженнями. Наприклад, Якщо студент здібний, то він має досягнення у науковій роботі. Якщо студент має досягнення у науковій роботі, то його можна рекомендувати до вступу в аспірантуру. Отже, якщо студент здібний, то його можна рекомендувати до вступу в аспірантуру. У логіці висловлювань ця формула є правилом висновку, яке називається «транзитивністю імплікації»: .

№42 Умовно-категоричний умовивід

Умовно — категоричним називається умовивід, у якому один засновок умовне судження, а другий засновок і висновок категоричні судження. Існує два різновиди умовно-категоричного умовиводу:

— modus ponens і — modus tollens. Розглянемо «modus ponens». У перекладі з латинської мови « modus ponens » означає «від ствердження підстави до ствердження наслідку». Наприклад,

Якщо гіпотеза підтверджується на практиці, то вона стає теорією. Дана гіпотеза підтверджується практикою. Отже, вона перетворюється в теорію. Мовою логіки висловлювань структуру цього

міркування можна записати у вигляді правила висновку: [(р → q) Λ p] |= q. У перекладі з латинської мови modus tollens означає «від заперечення наслідку до заперечення підстави». Наприклад, Якщо у діях підозрюваного є ознаки складу злочину, то порушується кримінальна справа. Кримінальна справа стосовно громадянина N не порушена. Отже, в діях громадянина N немає ознак складу злочину. Структуру цього умовиводу можна записати у вигляді

правила висновку: [(р → q) Λ ] |= .

⇐ Предыдущая 22 23 24 25 262728 29 30 31 Следующая ⇒