Индивидуальные контрольные задания по логике с методическими указаниями по их решению. Гомбоева Л.В. - 39 стр.

                                                                                                           39

(А→В)∧(В→С)
Значит, А→С.
Вывод: «Если студент хорошо усвоит логику, то его речь станет более убедительной».

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

А) правильный утверждающий модус:                       В) неправильный утверждающий модус:
((А→В)∧А)→В.                                                ((А→В)∧В)→А.
 Если должностное лицо получает взятку, то оно          Если должностное лицо получает взятку, то оно соверша-
совершает преступление.                                 ет преступление.
 Данное должностное лицо получает взятку.               Данное должностное лицо совершает преступление.
 Данное должностное лицо совершает преступление.         Данное должностное лицо получает взятку.

Б) правильный отрицающий модус:                         Г) неправильный отрицающий модус:
((А→В)∧¬В)→¬А.                                          ((А→В)∧¬А)→¬В.
 Если должностное лицо получает взятку, то оно совер-   Если должностное лицо получает взятку, то оно соверша-
шает преступление.                                      ет преступление.
 Данное должностное лицо не совершает преступление.      Данное должностное лицо не получает взятку.
Данное должностное лицо не получает взятку.             Данное должностное лицо не совершает преступление.

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

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