I. Условные умозаключения (условный силлогизм)

Чисто условным называется такое умозаключение, в котором обе посылки – условные суждения.

если А, то В если В, то С если А, то С   (AÞB)Ù(BÞC) Þ (AÞC)	Если монополия ничем не регулируется, то цены на товары растут Если цены на товары растут, то спрос падает Если монополия ничем не регулируется, то спрос падает
если А, то В если не А, то В В   (AÞB)Ù(¬АÞВ) Þ В	Если ты подготовился к экзамену, то его нужно сдать Если ты не подготовился к экзамену, то его нужно сдать Экзамен нужно сдать   Если треугольник тупоугольный, то против большего угла лежит большая сторона Если треугольник не тупоугольный, то против большего угла лежит большая сторона Против большего угла треугольника лежит большая сторона
если А, то В если не А, то С если не В, то С если не С, то В (AÞB)Ù(¬АÞC) Þ (¬ВÞC) Ú(¬CÞВ)	Если вы обратитесь с вопросом к специалисту, то получите грамотную консультацию Если вы не обратитесь…, то придется разбираться в инструкции Если вы не получите грамотную консультацию, то придется обратиться к инструкции Если вам не пришлось обращаться к инструкции, то вы получили грамотную консультацию
если А, то В если С, то не В если А, то не С если С, то не А (AÞB)Ù(CÞ¬В) Þ (АÞ¬C) Ú(CÞ¬А)	Если спрос на продукцию упал, то предприятие несет убытки Если управление эффективно, то предприятие получает прибыль Если спрос на продукцию упал, то управление неэффективно Если управление эффективно, то спрос на продукцию не падает

Условно категорическим называется такое умозаключение, в котором одна посылка – условное суждение, вторая – простое категорическое суждение. Имеет два модуса, дающих достоверное (истинное) заключение, и два модуса, дающих вероятностное заключение.

1. Утверждающий модус (AÞB) Ù А Þ В Можно строить достоверные умозаключения, переходя от утверждения основания к утверждению следствия	Если задача неразрешима, то она меня не интересует Эта задача неразрешима Эта проблема меня не интересует
2. Отрицающий модус (AÞB) Ù¬В Þ ¬А Можно строить достоверные умозаключения, переходя от отрицания следствия к отрицанию основания	Если цветы поливать, то они не засохнут Цветы засохли Цветы не поливали
1 вероятностный модус (AÞB) Ù В Þ вероятно, А Нельзя получить достоверные умозаключения, переходя от утверждения следствия к утверждению основания	Если он изучал логику, то сможет решить эту задачу Он решил эту задачу Вероятно, он изучал логику
2 вероятностный модус (AÞB) Ù¬А Þ ¬В Нельзя получить достоверные умозаключения, переходя от отрицания основания к отрицанию следствия	Если у человека повышена температура, то он болен У этого человека нормальная температура Вероятно, он не болен

Дата добавления: 2013-12-12