(Преимущество прямого доказательства перед доказательством посредством приведения к невозможному)
Так как (доказательство) утверждения лучше (доказательства) отрицания, то ясно, что оно также лучше (доказательства) посредством приведения к невозможному. Но следует знать, каково различие между ними. Пусть А не присуще ни одному Б, а Б пусть будет присуще всем В, тогда А необходимо не присуще ни одному В; если (термины) взяты так, то получится прямое доказательство отрицания, (именно), что А не присуще В. (Доказательство) же посредством приведения к невозможному таково: если нужно доказать, что А не присуще Б, то следует принять, что оно (ему) присуще и что Б также присуще В; так что отсюда следует, что А присуще В [1]. Но должно уже быть известно и признано, что это невозможно. Следовательно, не может быть, чтобы А было присуще Б. Итак, если признано, что Б присуще В, то А не может быть присуще Б. Следовательно, термины расположены (в обоих, случаях) одинаково. Различие же заключается в том, которая из обеих отрицательных посылок более известна - та ли, (которая гласит), что А не присуще Б, или та, (которая гласит), что А не присуще В. И вот, если заключение (о том, что А не присуще В), является более известным, то мы будем иметь доказательство посредством приведения к невозможному; если же более известным является отрицание, (содержащееся) в (самом) силлогизме [2], то будем иметь прямое (доказательство). По природе же (положение), что А не присуще Б, предшествует (положению), что А не присуще В, ибо заключению предшествует то, из чего оно вытекает. А (положение), что А не присуще В, есть заключение, (положение) же, что А не присуще Б, есть (именно) то, из чего вытекает заключение, ибо если приходится что-либо опровергнуть, то это не заключение, а те (суждения), из которых (выводится заключение). Но то, из чего (выводится заключение), есть силлогизм, в котором (одна посылка) относится (к другой) или как целое к части или как часть к целому. Посылки же АВ и АБ не находятся друг к другу в таком отношении. Таким образом, если (доказательство), исходящее из более известного и предшествующего ценнее, а оба (доказательства) [3], исходящие из того (положения), что нечто не есть, являются достаточно убедительными, но одно из них [4] исходит из предшествующего, а другое -из последующего, то тогда (прямое) доказательство отрицания безусловно лучше (доказательства) посредством приведения к невозможному. А раз так, то ясно, что если (доказательство) утверждения лучше (доказательства отрицания), то оно также лучше (доказательства) посредством приведения к невозможному.