В художественной, научной, публицистической литературе подберите примеры умозаключений:
а) чисто условных;
б) условно-категорических;
в) разделительно-категорических;
г) условно-разделительных (дилемм – конструктивных и деструктивных).
Решение
Чисто условное.
«Не было гвоздя – подкова пропала. Не было подковы – лошадь захромала. Лошадь захромала – командир убит. Конница разбита – армия бежит. Враг вступает в город, пленных не щадя, оттого что в кузнице не было гвоздя». Это известное стихотворение выстроено согласно логической форме чисто условного умозаключения, когда в результате из первого простого суждения вытекает самое последнее.
Символическая запись данного умозаключения:
«Не было гвоздя (p) – подкова пропала (q). Не было подковы (q) – лошадь захромала (r). Лошадь захромала (r) – командир убит (s). Конница разбита (s) – армия бежит (t). Враг вступает в город (v), пленных не щадя, оттого что в кузнице не было гвоздя (p).
Схема:
(p → q), (q → r), (r → s), (s→ t), (t → v)
p → v
б) условно-категорические.
1. Утверждающий модус (modus ponens) условно-категорического умозаключения: можно строить достоверные умозаключения от утверждения основания к утверждению следствия.
Формула:
((p q) p) q.
Например:
«Эй, кузнец, молодец, захромал мой жеребец. Ты подкуй его опять! – Отчего не подковать. Вот гвоздь, вот подкова
. Раз, два. И готово!»
«Если подкуешь жеребца (р), он не будет хромать (q). Подковали (р). Хромать не будет (q)».
2. Отрицающий модус (modus tollens) условно-категорического умозаключения: можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.
Формула:
((p q) ¬q) ¬p.
Например:
«Если б котятки не потеряли перчатки, то получили б пирог…».
«Если б котятки не потеряли перчатки (р), то получили б пирог (q). Котятки не получили пирог (¬q). Значит, перчатки потеряли (¬р)».
в) разделительно-категорические.
Разделительно-категорическое умозаключение имеет два модуса: (1) утверждающе-отрицающий (ponendo tollens) и (2) отрицающе-утверждающий (tollendo ponens).
1. Утверждающе-отрицающий.
Формулы: 1) ((р ≠ q) ʌ р) → q. 2) ((р ≠ q) ʌ q) → р.
Старушке уснула в дороге и ей подол юбки порвала чужая собака; проснувшись, она себя не узнала: «…Пойду-ка я домой. Если я – это я, меня не укусит собака моя! Она меня встретит, визжа у ворот, а если не я, на куски разорвёт!». «Если я – это я (р), меня не укусит собака моя (q)! Собака не укусила (q). Значит, это я (р)».
г) условно-разделительные (дилеммы конструктивные и деструктивные).
Простая конструктивная дилемма:
((р→q) (r→ q) (р r)) → q.
Сложная конструктивная дилемма:
((р→ q) (r → s) (р r)) → (q s).
Простая деструктивная дилемма:
((р → q) (р → r) (q r)) → р.
Сложная деструктивная дилемма:
((р → q) (r → s) (q s)) → (р r).
Пример конструктивной дилеммы.
Этот вид дилеммы используется часто в литературе.
Формула: ((р→ q) (r → s) (р r)) → (q s).
Возьмём для примера ситуацию выбора из сказки Ганса Андерсена «Дикие лебеди»:
«Твоих братьев можно спасти, – сказала она
на новый заказ в Автор24.
