ДЕДУКТИВНЫЕ
УМОЗАКЛЮЧЕНИЯ ИЗ СЛОЖНЫХ СУЖДЕНИЙ
Опосредованные умозаключения из сложных суждений -
умозаключения, логическое следование в которых определяется лишь логической связью между простыми суждениями, из которых состоят сложные суждения (а не субъектно- предикатными связями).
Выделяются три типа таких умозаключений:
условные;
разделительные; условно-разделительные.
Для более лёгкого их понимания Вам важно вспомнить, что представляет
собой условная связь и разделительная
связь между суждениями и условия их
истинности (модуль 5).
Условные умозаключения
- умозаключения, в которых по крайней мере одна из посылок представляет собой условное суждение.
Условные суждения могут быть условно-категорическими и чисто условными.
Условно - категорическое умозаключение (сокращённо -
УКУ)
- умозаключение, состоящее из одной условной и одной категорической посылки.
Логическим основанием УКУ служит определённая связь между его основанием (антецедентом) и следствием
(консеквентом). 
Чтобы понять умозаключения данного типа, надо прежде всего
выделить в нём простые суждения;
определить тип связи между этими простыми суждениями;
записать его в виде формулы.
УКУ - это одна из форм, в которой протекает процесс нашего мышления. Причём существует четыре направления течения мысли в этой форме:
1)От утверждения основания к утверждению следствия
2)От отрицания следствия к отрицанию основания
1. От утверждения основания к утверждению следствия
В логике его называют утверждающим модусом (modus ponens. Читается по-русски: «модус
поненс»). Пример:
«Если студенты прилежно штудируют логику (А), то у них не должно быть проблем на экзамене по логике (В).
Студенты прилежно штудируют логику (А). 
Следовательно, на экзамене по логике у них не должно быть проблем (В)» 
Формула modus ponens записывается тремя способами:
а) ((А В) А) В |
б) А В |
||||
в) А В, А |
А |
||||
|
|
|
В |
|
В |
|
|
|
|||
Читается так:
«Если имеется истинное суждение «если А, то В», и утверждается А,
то тогда однозначно утверждается и В»
2) От отрицания следствия к отрицанию основания
Это отрицающий модус (modus tollens) Читается: «модус толленс»)
Пример:
«Если технология изготовления изделия совершенна (А), то изделие
получится хорошим (В).
Изделие не получается хорошим (не-В).
Технология изготовления изделия несовершенна (не-А)» 