Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
Пример:
Если я лягу нормально спать, то не подготовлюсь к экзамену.
Если же я буду заниматься ночью, то приду на экзамен с головной болью.
Но мне остается только или ложиться спать или заниматься ночью.
Следовательно, я приду на экзамен неподготовленным или с головной болью.
Сложная деструктивная дилемма используется для слабого отрицания каких-либо суждений и представляет собой умозаключение, где условная посылка содержит два основания и два следствия; разделительная посылка отрицает оба следствия, а заключение отрицает оба основания.
Логическая форма: A É B, C É D, ù B v ù D
ù A v ù C
Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
Пример:
Если Иванов работает, то он получает зарплату.
Если же Иванов учится, то получает стипендию.
Но Иванов не получает зарплату или не получает стипендию.
Следовательно, он не учится или не работает.
НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ в традиционной логике – это умозаключение из одной посылки. Непосредственное умозаключение состоит из двух суждений: одна посылка и заключение из нее.
Суть данного типа умозаключения состоит в извлечении из посылки информации, содержащейся в ней в неявном виде, а также в ее последующем уточнении. Логические процедуры получения этой информации основаны либо на изменении качественной или количественной характеристики посылки, либо на преобразовании ее субъективно-предикатной структуры. Соответственно этому существует два вида умозаключений.
1. Умозаключения, построенные по логическому квадрату. Их можно разделить следующим образом:
выводы на основании отношения подчинения;
выводы на основании отношения частичной совместимости;
выводы на основании отношения противоречия;
выводы на основании отношения противоположности.
2. Умозаключения, построенные посредством преобразования структуры посылки. К таким процедурам относят:
превращение (обверсия);
обращение (конверсия);
противопоставление субъекту или предикату (контрапозиция).
Выводы из простых категорических суждений – это операция над одним суждением. Такая операция представляет собой преобразование суждения. Преобразование суждения – это такое логическое действие над суждением, которое изменяет его логическую форму, что позволяет уточнить его смысл, содержание и объем, не расширяя при этом нашего знания о предмете суждения. Это логическое действие рассматривается как вид умозаключения, то есть как непосредственное умозаключение.