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

  Тема 9. Умозаключения из сложных суждений
  Теория к задачам 31-36: Умозаключения из сложных суждений делятся на условные, разделительные и ус-
ловно-разделительные. Условные делятся на чисто-условные и условно-категорические. Разделительные делят-
ся на чисто-разделительные и разделительно-категорические. Условно-ра.зделительные (лемматические) делят-
ся на дилеммы, трилеммы и, вообще, полилеммы.
  Чисто–условные умозаключения – это умозаключения, в котором все посылки и заключение являются услов-
ными суждениями.
  Задача 31: Постройте приведенный текст в форме чисто-условного умозаключения, сделайте вывод, по-
стройте схему умозаключения.
  Пример: «Студент научится строить правильные рассуждения, если он хорошо усвоит логику. Тогда его речь
станет более убедительной».
  Решение: Для того, чтобы построить это рассуждение в форме чисто-условного, мы можем ввести обозначе-
ния: А - «Студент хорошо усвоит логику». В – «Он научится строить правильные рассуждения». С – «Его речь
станет более убедительной». Тогда данная мысль примет форму чисто-условного умозаключения: «Если сту-
дент хорошо усвоит логику, тогда он научится строить правильные рассуждения. Если студент научится стро-
ить правильные рассуждения, то его речь станет более убедительной». Вывод: «Значит, если студент хорошо
усвоит логику, то его речь станет более убедительной».
  Схема умозаключения: (А→В)∧(В→С)
                           Значит, А→С.

  Теория к задачам 32, 33:
  Условно-категорический силлогизм (УКC) – это умозаключение, в котором одна посылка – условное сужде-
ние, а другая посылка и заключение – категорические суждения. В нем имеются два правильных модуса (даю-
щих достоверный вывод) и два неправильных модуса (не дающих достоверного вывода). Следует отметить, что
логические выражения правильных модусов являются логическими законами4, а логические выражения непра-
вильных модусов не являются логическими законами.
  Задача 32. Условно-категорический силлогизм. Сделайте вывод, запишите формулу, определите модус и ха-
рактер вывода.
  Пример: «Если у человека высокая температура, то он болен. Этот человек болен».
  Вывод: «Возможно, у человека высокая температура».
  Формула: ((А→В)∧В)→А.
  Модус: Неправильный отрицающий.
  Характер вывода: Недостоверный.
  Задача 33: По данной посылке постройте условно-категорический силлогизм по правильным и неправильным
модусам.
  Пример : «Если идет дождь, то асфальт мокрый».
  Решение:
А) правильный утверждающий модус: ((А→В)∧А)→В.
  «Если идет дождь, то асфальт мокрый.
   В данный момент идет дождь.
   Сейчас асфальт мокрый». Вывод носит достоверный характер.
Б) Правильный отрицающий модус:         ((А→В)∧¬В)→¬А.
  «Если идет дождь, то асфальт мокрый.
  В данный момент асфальт не мокрый.
   Сейчас нет дождя».          Вывод носит достоверный характер.
В) неправильный утверждающий модус: ((А→В)∧В)→А.
  «Если идет дождь, то асфальт мокрый.
  В данный момент асфальт мокрый.
  Возможно, идет дождь».        Вывод носит недостоверный характер.
Г) неправильный отрицающий модус:        ((А→В)∧¬А)→¬В.
  «Если идет дождь, то асфальт мокрый
  В данный момент нет дождя.
  Асфальт не мокрый». Вывод носит недостоверный характер.

  Задача 34: Разделительно-категорический силлогизм. Сделайте вывод. Запишите формулу, определите мо-
дус и характер вывода.
  Теория к задачам 34, 35:
  Разделительно-категорическим называют силлогизм (РКС), в котором одна посылка – разделительное суж-
дение, а другая посылка или заключение – категорические суждения. РКС имеет две формы: ((А∨В)∧А)→¬В –

4
    Определение логического закона дано в теории к задачам 20, 21.


                                                                                                      72