Форма доказательства, или демонстрация – это способ логической связи аргумента и тезиса доказательства. Это самое общее определение доказательства, которое затем конкретизируется в соответствии с предметом науки. Сама логика исследует два вида доказательства:

Доказательство прямое, т.е. такое, в котором тезис необходимо следует из аргументов. Прямое доказательство часто принимает вид правильного силлогизма – категорического, условного, условно- категорического, разделительно-категорического, условно- разделительного. Можно утверждать, что модус поненс p→q p/q и модус Barbara (ААА) первой фигуры

силлогизма – самые распространенные формы прямого доказательства.
Например, по модусу ААА докажем тезис: «2004 год будет високосным».

Любой год, в числовом выражении которого десятки с единицами
А делятся на 4, является високосным
А В 2004 – десятки и числа делятся на 4
А 2004 – високосный год.