В доказательстве используются лишь дедуктивные умозаключения с учётом правил их применимости. То есть используются умозаключения, истинность посылок которых гарантирует истинность заключения.
Ошибка (уловка), связанная с нарушением данного правила, называется “не следует”. Эта ошибка связана с нарушением правил умозаключений. Например, следующая аргументация не может считаться доказательной: “Все люди разумны. Все люди — живые существа. Следовательно, все живые существа — разумны”.