3. Важные правила доказывания вытекают из логического закона противоречия, который гласит: не могут быть одновременно истинными две противоположные мысли об одном и том же предмете, взятом в одно и то же время и в одном и том же отношении. Вот эти правила:
а) доказываемое обстоятельство не должно иметь противоречивого содержания, т.е. не быть внутренне противоречивым (например, огнестрельное отверстие не может одновременно характеризоваться и как входное, и как выходное);
б) нельзя одним актом доказывания пытаться доказать два логически противоречивых обстоятельства, факта;
в) доказательства, используемые для доказывания факта, обстоятельства, не должны противоречить друг другу.
4. Два доказываемых факта, обстоятельства, противоречащие друг другу, не могут быть оба истинными или оба ложными. Это правило основано на логическом законе исключенного третьего: два противоречащие суждения не могут быть одновременно ни истинными, ни ложными и нет между ними среднего, третьего.
5. Важнейшее значение в процессе доказывания имеет логический закон достаточного основания: всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана. Из этого закона вытекают следующие правила доказывания:
а) факты доказываются в конечном счете фактами;
б) средства доказывания должны быть полными;
в) средства доказывания в своей совокупности должны служить достаточным основанием для признания доказанным обстоятельства, факта - наиболее распространенным нарушением этого правила является ошибка, именуемая в логике nonsequitur ("не следует", "не вытекает"), когда положение, которое требуется доказать, не следует, не вытекает из приведенных в его подтверждение доводов);
г) средства доказывания сами должны быть истинными;
д) истинность средств доказывания должна быть установлена независимо от доказываемого факта, обстоятельства;
е) доказывание конкретных утверждений не должно неявно опираться на предположение об истинности самих этих утверждений - возникающая при нарушении этого правила логическая ошибка носит название "круг в доказательстве" (circulus in demonstrando).
Аксиомы доказывания имеют важное значение при построении и проверке версий, причем при построении версии они служат базой для выдвижения именно логически противоречивых предположений типа "убийство - самоубийство", "кража - инсценировка (отсутствие) кражи" и т.п.
Помимо упомянутых, в процессе доказывания могут иметь место и иные логические ошибки. К их числу можно отнести поспешное обобщение, когда какое-то свойство предмета переносят на другие предметы данного класса, рода
