Правило относительно формы доказательства состоит в том, что используемые в доказательстве умозаключения должны быть логически правильными: тезис должен следовать из аргументов. В случае подтверждения аргументы должны подтверждать тезис, то есть повышать степень вероятности его истинности.
Нарушение этого правила приводит к ошибке логического следования, которая заключается в том, что при использовании в доказательстве неправильного умозаключения тезис не следуетиз аргументов. В случае же, если аргументы не повышают степень вероятности истинности тезиса в процессе подтверждения, говорят, что аргументы не подтверждают тезис.
Пример. «Древние греки внесли большой вклад в развитие философии. Спартанцы – древние греки, следовательно, они внесли большой вклад в развитие философии». Это прямое доказательство, имеющее форму простого категорического силлогизма первой фигуры. Модус этого силлогизма (с учетом истинности входящих в него суждений) – IAA. Такая форма силлогизма является неправильной, а значит, в доказательстве имеет место ошибка логического следования.