Условное умозаключение

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

Например:
Если через проводник проходит электрический ток, то про­водник нагревается. [Условное суждение].
Проводник нагрелся.  [Посылка, состоящая из утверждения следствия условного суждения].
Возможно, через проводник проходит ток. [Вероятностный вывод, умозаключение].

В условных умозаключениях мы получаем гарантированно достоверный вывод только в двух случаях, когда:
1) от утверждения основания переходим к утверждению следствия;
2) от отрицания след­ствия переходим к отрицанию основания.
Во всех других формах условного силлогизма досто­верно что-то утверждать можно только о возможном. 

Примеры (условное суждение везде одинаковое, а посылки разные):

Если ветер дует, то этот флажок двигается.
Ветер дует.                   [утверждение основания
Следовательно, флажок двигается.

Если ветер дует, то этот флажок двигается. 
Флажок не двигается. [отрицание следствия]
Следовательно, ветра нет.

Если ветер дует, то этот флажок двигается.
Ветер не дует.             [отрицание основания]
Возможно, флажок не двигается (а может его трясёт Вася).

Если ветер дует, то этот флажок двигается.
Флажок двигается.     [утверждение следствия]
Возможно, ветер дует (а может быть флажок трясёт Вася).

» Словарь