1) или по 1-й форме, когда от утверждения основания мы переходим к утверждению следствия;
2) или по 2-й форме, когда мы от отрицания следствия переходим к отрицанию основания.
Таково правило получения достоверного вывода в условных силлогизмах.
Во всех других формах условного силлогизма достоверный вывод может быть, а может и не быть. Тем самым достоверный вывод становится лишь возможным.
Например:
Если через проводник проходит электрический ток, то проводник нагревается. Проводник нагрелся. -------------------------------------------------------------- Возможно, через проводник проходит ток.
В этом примере меньшая посылка утверждает следствие. Поэтому в заключении мы получили не достоверный, а лишь вероятный вывод, так как проводник мог нагреться и не от того, что через него проходит ток.
Возьмём другой пример:
Если железо нагревается, то объём его увеличивается. Данный кусок железа не нагревается. ----------------------------------------------------------- Следовательно, объём его не увеличивается.
Соответствует ли такой вывод действительности? Да, соответствует. Но в таком случае оказывается неверным правило о том, что нельзя путём отрицания основания прийти к достоверному выводу, так как в нашем примере отрицается основание, а вывод всё же получился верный.