1. Под доказательством в логике понимается процедура установления истинности некоторого утверждения путем проведения других утверждений, истинность которых уже известна и из которых с необходимостью вытекает первое
Задача доказательства - исчерпывающе утвердить обоснованность доказываемого тезиса.
Раз в доказательстве речь идет о полном подтверждении, связь между аргументами и тезисом должна носить дедуктивный характер. По своей форме доказательство - дедуктивное умозаключение или цепочка таких умозаключений, ведущих от истинных посылок к доказываемому положению.
В стандартном определении доказательства используется понятие истины. Доказать некоторый тезис - значит логически вывести его из других являющихся истинными положений. Но есть утверждения, не связанные с истиной. Очевидно также, что, оперируя ими, можно и нужно быть и логичным, и доказательным.