Задачи по логике. Гомбоева Л.В - 73 стр.

утверждающе-отрицающий модус; ((А∨В)∧¬А)→В – отрицающе-утверждающий модус. Правило утверждаю-
ще-отрицающего модуса: дизъюнкция должна быть строгой. Если дизъюнкция нестрогая в утверждающе-
отрицающем модусе, тогда вывод будет вероятным /«Он страдает от болезни или бедности. Он болен. Вероят-
но, он не беден» - вывод носит недостоверный характер, так как альтернативы не исключают друг друга/. Пра-
вило отрицающе-утверждающего модуса: в разделительной посылке должны быть перечислены все альтерна-
тивы. /«Простые суждения делятся по количеству на общие и частные. Это суждение не частное. Следователь-
но, оно общее». – Такое рассуждение неправильно: суждения бывают еще и единичными/.
  Пример: «Животные бывают позвоночными или беспозвоночными.
            Это животное не является позвоночным».
  Решение: «Значит, оно беспозвоночное».
                 А∨В                отрицающе-утверждающий
                 ¬В                            модус.
                   А                       Вывод достоверный.

  Задача 35: Используя разделительную посылку, постройте разделительно-категорическое умозаключение: а)
по утверждающе-отрицающему модусу; б) по отрицающе-утверждающему модусу. Определите характер
вывода (достоверный или вероятный).
  Пример :
  «Простые суждения бывают утвердительными или отрицательными».
  Решение: К данной разделительной посылке добавляем простую категорическую посылку:
  а) Утверждающую:                 б) Отрицающую:
  «Это суждение отрицательное». «Это суждение не отрицательное».
  «Значит, оно не утвердительное». «Значит, оно утвердительное».
 Если посылка утверждающая, то заключение должно быть отрицающим, и наоборот.
Вывод в обоих случаях достоверный, так как все правила соблюдены.

  Задача 36. Определите вид дилеммы. Сделайте вывод, постройте схему. Определите характер вывода.
  Теория: Дилемма – это условно-разделительное умозаключение, в котором одна посылка состоит из двух ус-
ловных суждений, а другая является разделительным суждением. Дилеммы бывают конструктивными и дест-
руктивными. Конструктивные дилеммы характеризуются тем, что мысль в них движется от утверждения вари-
антов оснований условных суждений к утверждению следствий. Конструктивные дилеммы бывают простыми и
сложными. В простой конструктивной дилемме первая посылка состоит из двух условных суждений, основа-
ния которых различны, а следствия совпадают; вторая посылка содержит дизъюнкцию обоих оснований:
  (А→В)∧(С→В)
  А∨С
  В
  В сложной конструктивной дилемме первая посылка состоит из двух условных суждений, основания и след-
ствия которых различны; вторая посылка содержит дизъюнкцию обоих оснований:
  (А→В)∧(С→D)
  А∨С
  В∨D
  Деструктивные дилеммы характеризуются тем, что мысль в них движется от отрицания вариантов следствий
к отрицанию оснований. Деструктивные дилеммы также бывают простыми и сложными.
  В простой деструктивной дилемме первая посылка состоит из двух условных суждений, основания которых
совпадают, а следствия различны. Вторая посылка содержит дизъюнкцию отрицаний обоих следствий:
  (А→В)∧(А→С)
  ¬В∨¬С
  ¬А
  В сложной деструктивной дилемме первая посылка состоит из двух условных суждений, основания и след-
ствия которых различны. Вторая посылка содержит также дизъюнкцию отрицаний обоих следствий:
  (А→В)∧(С→ D)
  ¬В∨¬ D
  ¬А∨¬С

  Пример: «Если заявление о преступлении является устным, то оно заносится в протокол, который подписы-
вается следователем, прокурором или судьей, принявшим заявление; если заявление является письменным, то
оно должно быть подписано лицом, от которого исходит. Но заявление о преступлении может быть устным или
письменным».
  Решение:
  Вывод: «Значит, оно заносится в протокол, который подписывается следователем, прокурором или судьей,
принявшим заявление, или подписывается лицом, от которого исходит».
  Схема: ( А → В ) ∧ ( С → D )



73