Доказательством называют логическую операцию обоснования истинности какого-либо положения с помощью других истинных и связанных с ним суждений. Термин «доказательное» рассуждение нередко употребляется как синоним «научного» рассуждения, ибо любое новое положение в эмпирической или теоретической области считается истинным и принимается лишь в том случае, если оно достаточно обосновано, т.е. доказано принятыми в данной области знания методами и средствами.
Конечная цель доказательного рассуждения — получение истинных утверждений, умозаключений.
Логическая операция доказательства складывается из пяти взаимосвязанных элементов.
Первый из них — отстаиваемый тезис (тезис доказательства), т. е. положение, истинность которого пытаются обосновать. Тезис отвечает на вопрос: что доказывают?