Условием логической безупречности разделительного доказательства является полнота перечисления и, соответственно, полнота исследования всех возможных по данному вопросу предположений. Только при этом условии опровержение всех рассмотренных предположений, кроме одного, означает необходимую истинность этого последнего оставшегося неопровергнутым предположения. Так, возвращаясь к рассмотренному примеру, необходимо заметить, что виновность А в непосредственном совершении раскрытого преступления необходимо вытекает из опровергнутой виновности В, С и D лишь при условии, если установлено, что только А, В, С и D могли непосредственно совершить данное преступление. Но если бы оказалось, что по обстоятельствам данного случая преступление могло быть непосредственно совершено также и лицом Е, то опровержение виновности В, С и D, разумеется, ещё не доказало бы виновности А, так как виновным может оказаться Е.
В математических науках разделительное доказательство применяется очень часто, так как в этих науках особенно легко достижимо исчерпывающее перечисление всех видов данного рода или всех предположений, возможных в исследуемом случае.
В науках нематематических применение разделительной формы доказательства обусловлено возможностью исчерпывающего перечисления всех возможных положений, одним из которых является доказываемый тезис. В этих науках часто невозможно заранее перечислить и учесть все эти положения. В таких случаях, если пренебречь тем, что не имеется необходимых условий для строгого разделительного доказательства, легко возникает ошибка необоснованного заключения, которое может оказаться ложным. Но даже если бы выведенное заключение случайно оказалось соответствующим действительности, истинность его осталась бы в данном случае недоказанной.
Апагогическое косвенное доказательство устанавливает истинность доказываемого тезиса посредством опровержения противоречащего ему положения. Из ложности последнего следует — на основании закона исключённого третьего — истинность доказываемого тезиса. В математических науках апагогическое доказательство принимает особую форму, называемую обычно «доказательством от противного». Название это, общепринятое в математике. не точно, так как в этих доказательствах истинность доказываемого тезиса выводится из ложности не противного, а противоречащего ему тезиса[24].
Косвенное апагогическое доказательство имеет две части. Сначала при помощи особого приёма доказывается ложность тезиса
