Если тезис и аргументы доказательства – это некоторые суждения, то форма доказательства (или демонстрация) – это система определенным образом расположенных умозаключений, последним выводом из которых выступает тезис. Другими словами, форма доказательства – это форма соответствующего рассуждения – совокупность связей между исходными и возникающими в процессе рассуждения высказываниями.
Виды демонстраций совпадают с основными видами умозаключений: дедуктивные, индуктивные и по аналогии. Все эти виды умозаключений превращаются в соответствующие виды демонстраций, если от их посылок потребовать, чтобы они были истинными.
Самым надежным способом обоснования тезиса является дедуктивный вывод, так как он обеспечивает истинность заключения (тезиса) при истинности посылок (аргументов доказательства).