Доказательство

в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и «обоснование» термин «Д.» допускает ряд пониманий, отличающихся друг от друга по степеням общности и определённости. Однако во всех модификациях понятия Д. отчётливо прослеживаются две противоположные (но связанные между собой) тенденции. Первая обусловлена относительностью и содержательным характером понятия истины, поскольку оно означает соответствие, более или менее точное и полное, некоторой части реальной действительности. Вторая — связана с тем, что Д. (именно Д., а не просто довод в пользу рассматриваемого утверждения) должно гарантировать истинность тезиса — именно в этом состоит специфика понятия Д., выделяющая его из более широкого класса процедур, которые естественнее называть подтверждениями тезисов и которые могут обладать большей или меньшей степенью убедительности. Иначе говоря, понятие Д. должно служить полным подтверждением истинности доказываемого предложения, а потому носить дедуктивный (см. Дедукция) характер; отсюда тенденция ко всё большей формализации (См. Формализация) понятия Д. Т. о., в понятии Д. заключено глубокое противоречие: понятие это по-настоящему нужно для решения задач, в принципе не допускающих полного, исчерпывающего, окончательного решения; удаётся же довести это понятие до идеала полной определённости лишь для тех ситуаций, где решение, в некотором смысле, заранее предопределено и заключается уже в самой постановке задачи — при Д. так называемых логически истинных суждений, для которых лишь и удаётся провести полностью формализованные (и тем самым не оставляющие никакой неопределённости и недоговорённости) Д.

Противопоставление содержательных и формальных аспектов понятия «Д.» проявляется прежде всего в различии широкого и узкого понимания этого термина.

Д. в широком смысле — это любая процедура установления истинности какого-либо суждения (называется тезисом, или заключением, данного Д.): как при помощи некоторых логических рассуждений, так и посредством чувственного восприятия некоторых физических предметов и явлений, а также ссылок (указаний или упоминаний) на такие восприятия. Именно такой характер имеют Д. в юридической практике, где термин «Д.» применяют к такого рода единичным указаниями даже для наименования самих указываемых предметов — отсюда выражения «предъявить Д. (улику)», «вещественное Д.». Таковы и обоснования большей части утверждений гуманитарных наук, а в ещё более отчётливой форме — эмпирические (опытные: экспериментальные или основанные на данных наблюдений) Д. в естественных науках. Хотя все такие Д. (если не считать Д. некоторых единичных фактов, сводящихся к непосредственному умозаключению из однократного «предъявления улики») включают в качестве составных частей дедуктивные фрагменты — умозаключения (См. Умозаключение), связывающие ссылки на опыт с доказываемым (и промежуточными) тезисом, тем не менее все эти Д. можно считать индуктивными: в них имеет место переход от частных посылок к общим заключениям (Индукция), совершаемый (чаще всего в неявной форме) по правилам индуктивной логики.

Д. в узком смысле слова, характерные для дедуктивных наук (логики, математики и построенных по их образцу и на их основе разделов теоретической физики и теоретической кибернетики), представляют собой цепочки умозаключений (правильных), ведущих от истинных посылок (исходных для данного Д. суждений) к доказываемым (заключительным) тезисам. Посылки Д. также именуются его основаниями, или аргументами, или доводами; термины эти, однако, не менее часто применяются для обозначения промежуточных переходов от посылок к заключению или всякого рода пояснений (комментариев), сопровождающих такие переходы в подобных Д. Истинность посылок не должна обосновываться в самом Д., а должна каким-либо образом устанавливаться заранее. Последовательное развитие этой традиционной (идущей от Аристотеля) концепции Д., связанное с аксиоматическим методом (См. Аксиоматический метод), потребовало (в конце 19 в.) существенного её уточнения и даже пересмотра. Если принятие аксиом в качестве истинных предложений ещё согласовывалось с классическими представлениями (достаточно было, казалось, потребовать их эмпирического обоснования), то открытие возможности построения различных аксиоматических систем (например, неевклидовых геометрий), пригодных, по крайней мере в принципе, для описания одной и той же физической реальности, заставило отбросить представление об аксиомах и как об «истинах самоочевидных», и как об эмпирических истинах. Такое представление (идущее ещё от греческой науки) противоречило, как оказалось, возможности принимать в качестве аксиом различных конкретных геометрических систем (но, конечно, не одной и той же системы) утверждения, являющиеся отрицаниями друг друга, и открывшейся в связи с этим возможности класть в основу научных теорий (а тем самым — и в качестве посылок Д.) предложения, вопрос об истинности которых не только не предопределён с самого начала, но может даже и не ставиться. Иначе говоря, обнаружилась относительность противопоставления понятий Вывода (из гипотез (См. Индукция)) и Д. — ведь аксиомы (независимо от их гипотетической «истинности» или «ложности») это и есть гипотезы, на которых основывается Д.

Но этот пересмотр понятия Д., произведённый на рубеже 19 и 20 вв. Д. Гильбертом, не был до конца последовательным. В связи с обострившимися проблемами непротиворечивости научных теорий (уверенность в которой уже не могла больше базироваться на уверенности в истинности исходных положений теории), Гильберт выдвинул программу формализации Д. дедуктивных теорий, предполагающую не только явное указание всех исходных понятий и исходных предложений (аксиом) каждой данной теории, но и такое же явное указание всех используемых в выводах (в частности, в Д.) этой теории логических средств. При такой постановке вопроса проблема убедительности (правильности) Д. получает (впервые!) совершенно объективный характер. Д. (точнее, формальное Д.) рассматривается просто как «строчка формул», каждая из которых есть либо аксиома (т. е. принадлежит к некоторому заранее выделенному списку «отмеченных» формул), либо непосредственно следует по одному из правил вывода (также точно перечисленных) из предыдущих формул строчки. Заключение данного Д. — это просто его последняя формула (в частности, Д. любой аксиомы состоит всего из одной формулы — из неё самой). При такой трактовке рассматриваемая научная теория перестаёт быть теорией в привычном смысле: она оказывается представленной в виде исчисления (См. Исчисление), или формальной системы (См. Формальная система), состоящей из формул, получающихся из формул некоторого исходного запаса (аксиом) посредством чисто «механического» применения правил вывода (применение которых, равно как и проверка правильности этого применения, не предполагает никакого «содержательного» их понимания). Формула, для которой существует формальное Д., называется доказуемой формулой, или формальной теоремой.

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

Представление Д. в виде строчек (линейных последовательностей) формул — не единственно возможное; часто бывает удобнее определять формальные Д. как «деревья» формул, «ветвями» которых служат посылки применений правил вывода. Такая форма Д. оказалась, в частности, удобной для предпринятых в рамках гильбертовской теории доказательств немецким математиком Г. Генценом (1934) исследований логических выводов; в предложенных им модификациях логических исчислений в виде так называемых исчислений «естественного вывода» формальные логические средства ближе по своей структуре к обычным (содержательным) методам умозаключений, нежели в первоначальной гильбертовской схеме. Аксиом в этих исчислениях нет (или совсем мало), но введены дополнительные правила вывода, так что в результате общий «запас теорем», выводимых новыми и прежними средствами, оказывается одним и тем же. Т. о., различие между формальными аксиомами и содержательными правилами оказывается также относительным.

Последовательная формализация понятия Д. открывает возможность передачи многих «творческих» функций человека электронным вычислительным машинам. Но из этого не следует заключение о возможности сведе́ния всех содержательных аспектов понятия Д. к формальным — правила вывода, хотя они и имеют дело с формальными объектами (формулами), формулируются на содержательном языке, а все проблемы, касающиеся природы формальных исчислений в целом, ставятся и решаются чисто содержательными средствами (см. Метатеория). Именно эти содержательные рассуждения (и содержательные Д.) составляют предмет самой теории Д.

Более того, оказалось (К. Гёдель, 1931), что задача полной и одновременно непротиворечивой формализации даже таких относительно простых математических теорий, как арифметика (теория чисел), в принципе неосуществима, так что в них всегда имеется некоторый «неформализуемый остаток» (см. также Аксиоматическая теория множеств). Наконец, никакая формализация дедуктивных теорий не снимает проблемы их интерпретации, т. е. соотнесения с некоторой описываемой ими и внешней для них реальности (также, быть может, состоящей из объектов высокой степени абстракции), адекватность которого только и может быть в конечном счёте обоснованием истинности теории в целом. Естественно, что в рамках математической логики приобретает всё большее влияние та часть доктрины (альтернативной по отношению к гильбертовской концепции) математического интуиционизма (См. Математический интуиционизм) (в значительной мере воспринятой представителями конструктивного направления (См. Конструктивное направление)), согласно которой понятие строгого математического Д. (не говоря уже об общем понятии Д.) вообще не может быть исчерпано никаким «раз навсегда данным» формальным определением.

Ещё более решительный пересмотр представлений о сущности аксиоматико-дедуктивных методов предпринят в рамках так называемой ультраинтуиционистской программы. Ультраинтуиционизм, для которого, в частности, характерно стремление последовательного и неукоснительного соблюдения (в применении к дедуктивным наукам) Достаточного основания принципа, с одной стороны, предлагает предельно широкое понимание содержательного (дедуктивного) Д., с другой — выдвигает концепцию формального Д., учитывающую как «формалистскую» схему Гильберта, так и её интуиционистскую критику, и в то же время настолько гибкую, что использование её позволяет надеяться на преодоление в проблемах обоснования математики и логики казавшихся ранее непреодолимыми ограничений, обусловленных результатами Гёделя.

О некоторых специальных видах и методах Д. см. Доказательство от противного, Косвенное доказательство, Опровержение логическое.

Лит.: Энгельс Ф., Анти-Дюринг, Маркс К. и Энгельс Ф., Соч., 2 изд., т. 20; Ленин В. И., Материализм и эмпириокритицизм, Полн. собр. соч., 5 изд., т. 18; Аристотель, Аналитики первая и вторая, пер. с греч., Л., 1952; Начала Евклида, пер. с греч. и комментарии Д. Д. Мордухай-Болтовского, кн. 1—15, М.—Л., 1948—50; Бэкон Ф., Новый органон, пер. с англ., М.—Л., 1938; Милль Дж. С., Система логики силлогистической и индуктивной, пер. с англ., М., 1914; Гильберт Д., Основания геометрии, пер с нем., М.—Л., 1948; Рассел Б., Человеческое познание, пер. с англ., М., 1957; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Гейтинг А., Интуиционизм, пер. с англ., М., 1965; Клини С. К., Введение в математику, пер. с англ., М., 1957; Пойа Д., Математика и правдоподобные рассуждения, пер. с англ., т. 1—2, М., 1957; Асмус В. Ф., Учение логики о доказательстве и опровержении, [М.], 1954; Старченко А. А., Логика в судебном исследовании, М., 1958.

Ю. А. Гастев.

1. доказа́тельство;
2. доказа́тельства;
3. доказа́тельства;
4. доказа́тельств;
5. доказа́тельству;
6. доказа́тельствам;
7. доказа́тельство;
8. доказа́тельства;
9. доказа́тельством;
10. доказа́тельствами;
11. доказа́тельстве;
12. доказа́тельствах.

ДОКАЗА́ТЕЛЬСТВО, -а, ср.

1. Факт или довод, подтверждающий, доказывающий что-н. Вещественное д. (предмет, представляемый суду как свидетельство совершённого преступления).

2. Система умозаключений, путём к-рых выводится новое положение. Теорема имеет несколько доказательств.

| прил. доказательственный, -ая, -ое (к 1 знач.; спец.).

-а, ср.

1.

Неопровержимый довод или факт, подтверждающий истинность чего-л.; подтверждение чего-л.

Он был очень доволен и своим лицом, и широкими плечами, которые служили очевидным доказательством его хорошего здоровья. Чехов, Дуэль.

Среди бумаг капитана Татаринова обнаружены бесспорные, неопровержимые доказательства моей правоты. Каверин, Два капитана.

2. лог.

Система умозаключений, служащая для установления нового положения на основании данных, принимаемых за истинные.

Теорема имеет несколько доказательств.

- вещественные доказательства

ДОКАЗА́ТЕЛЬСТВО, доказательства, ср. (книжн.).

1. Довод или факт, являющийся основанием для утверждения чего-нибудь. Этот поступок является лишним доказательством его упрямства. Для доказательства приведу ряд документов. В доказательство чего-нибудь или чему-нибудь.

2. Система умозаключений, служащая для установления нового положения на основании других, ранее известных (научн.). Пифагорова теорема имеет несколько доказательств.

❖

ср.

1.

процесс действия по гл. доказывать

2.

Результат такого действия; неоспоримый довод или факт, подтверждающий, доказывающий что-либо.

отт. То, что является свидетельством, подтверждением чего-либо.

3.

Система умозаключений, служащая для выведения нового положения на основании данных, принимаемых за истинные.

ДОКАЗАТЕЛЬСТВО - установление (обоснование) истинности высказывания, суждения, теории. В логических доказательствах аргументация проводится по правилам и средствам логики.

ср. proof, evidence;
argument (довод);
demonstration;
мн. case (доводы, аргументы) приводить доказательства ≈ to adduce/furnish evidence, to give/show proofs представлять вещественное доказательство ≈ exhibit юр. важное доказательство ≈ substantial evidence ясное доказательство ≈ definite proof бесспорное доказательство ≈ incontestable proof, indisputable proof математическое доказательство ≈ mathematical proof наглядное доказательство ≈ visual proof/evidence;
visual/graphic demonstration фактическое доказательство ≈ actual proof формальное доказательство ≈ formal proof в доказательство ≈ as proof (of), in witness (of) вещественные доказательства ≈ material evidence веское доказательство ≈ strong evidence, good probative evidence вещественное доказательство ≈ exhibit юр. четкое доказательствоproof

proof матем.

доказательство— proof

n.proof, demonstration, argument

с

1)(довод) Beweis m, Beweisgrund m (умл.)

вещественное доказательство — Beweisstück n

привести доказательства — Beweise liefern

в доказательство — als ( zum ) Beweis

2)(доказывание) Beweisführung f, Beweis m

доказательство с 1. (довод) Beweis m 1a, Beweisgrund m 1a* вещественное доказательство Beweisstück n 1a привести доказательства Beweise liefern в доказательство als ( zum] Beweis 2. (доказывание) Beweisführung f c, Beweis m

с.

1)(довод) preuve f; marque f(знак, признак)

вещественное доказательство юр. — pièce f à conviction

приводить доказательства — produire(или fournir) des preuves

в доказательство — pour preuve, comme preuve

я считаю достаточным доказательством... — je n'en veux pour preuve que...

2)мат. démonstration f

доказательство от противного — preuve f par le contraire(тж. перен.)

с.

1)(довод) prueba f; evidencia f (предл.-род., Ю. Ам.)

веще́ственное доказа́тельство — prueba de convicción, prueba material

в доказа́тельство(+ род. п.) — en prueba de, como prueba

2) мат., лог. demostración f, argumento m

доказа́тельство от проти́вного — demostración por oposición, argumento a contrario, demostración por reducción al absurdo

с.

1)prova f, dimostrazione f

вещественное доказательство юр. — corpo m di reato

2)(умозаключение) dimostrazione f

теорема имеет несколько доказательств — il teorema ha piu dimostrazioni

3)перен. segno m, testimonianza f, dimostrazione f; attestazione f

доказательство дружбы — segno / prova di amicizia

根据, 凭证, 论点, 论证, 说法, 证据, 证明

ДОКАЗАТЕЛЬСТВО

— рассуждение, устанавливающее истинность к.-л. утверждения путем приведения др. утверждений, истинность которых уже установлена.

В Д. различаются тезис — утверждение, которое нужно доказать, и основание, или аргументы, — те утверждения, с помощью которых доказывается тезис. Напр., тезис «Платина проводит электрический ток» можно доказать с помощью следующих истинных утверждений: «Платина — металл» и «Все металлы проводят электрический ток».

Понятие Д. — одно из центральных в логике и математике, но оно не имеет однозначного определения, применимого во всех случаях и в любых научных теориях.

На полное раскрытие интуитивного, или «наивного», понятия Д. логика не претендует. Д. образуют довольно расплывчатую совокупность, которую невозможно охватить одним универсальным определением. В логике принято говорить не о доказуемости вообще, а о доказуемости в рамках данной конкретной системы или теории. При этом допускается существование разных понятий Д., относящихся к разным системам. Напр., Д. в интуиционистской логике и опирающейся на нее математике существенно отличается от Д. в классической логике и основывающейся на ней математике. В классическом Д. можно использовать, в частности, закон исключенного третьего, закон (снятия) двойного отрицания и ряд др. логических законов, отсутствующих в интуиционистской логике.

По способу проведения Д. делятся на два вида. При прямом Д. задача состоит в том, чтобы найти такие убедительные аргументы, из которых логически вытекает тезис. Косвенное Д. устанавливает справедливость тезиса тем, что вскрывает ошибочность противоположного ему допущения, антитезиса.

Задача Д. — исчерпывающе утвердить истинность тезиса. Этим оно отличается от др. мыслительных процедур, призванных только частично поддержать тезис, придать ему большую или меньшую убедительность.

Нередко в понятие Д. вкладывается более широкий смысл: оно понимается как любой способ обоснования истинности тезиса. Расширительное толкование Д. обычно используется в социальных науках и рассуждениях, непосредственно опирающихся на наблюдения; в процессе обучения, где для подтверждения выдвинутого положения активно привлекаются эмпирический материал, статистические данные, ссылки на типичные в определенном отношении явления и т.п.

Придание термину «Д.» широкого смысла не ведет к недоразумениям, если учитывается, что обобщение, переход от частных факторов к общим заключениям дает не достоверное, а лишь вероятное знание.

Определение Д. включает два центральных понятия логики: понятие истины и понятие логического следования. Оба эти понятия не являются в достаточной мере ясными, и, значит, определяемое через них понятие Д. также не может быть отнесено к ясным.

Многие утверждения не являются ни истинными, ни ложными, лежат вне «категории истины». Оценки, нормы, советы, декларации, клятвы, обещания и т.п. не описывают каких-то ситуаций, а указывают, какими они должны быть, в каком направлении их нужно преобразовать. От описаний требуется, чтобы они соответствовали действительности и являлись истинными. Удачный совет, приказ и т.п. характеризуется как эффективный или целесообразный, но не как истинный. Высказывание «Вода кипит» истинно, если вода действительно кипит; команда же «Вскипятите воду!» может быть целесообразной, но не имеет отношения к истине. Очевидно, что, оперируя выражениями, не имеющими истинностного значения, можно и нужно быть логичным и доказательным. Встает, т.о., вопрос о существенном расширении понятия Д., определяемого в терминах истины. Им должны охватываться не только описания, но и утверждения типа оценок или норм. Задача переопределения Д. пока не решена ни оценок логикой, ни деонтической (нормативной) логикой. Это делает понятие Д. не вполне ясным по своему смыслу.

Единого понятия логического следования не существует. Логических систем, претендующих на определение этого понятия, в принципе существует бесконечно много. Ни одно из имеющихся в современной логике определений логического закона и логического следования не свободно от критики и от того, что принято называть «парадоксами логического следования».

Образцом Д., которому в той или иной мере стремятся следовать во всех науках, является математическое Д. Долгое время считалось, что оно представляет собой ясный и бесспорный процесс. В 20 в. отношение к математическому Д. изменилось. Сами математики разбились на группировки, каждая из которых придерживается своего истолкования Д. Причиной этого послужило, прежде всего, изменение представления о лежащих в основе Д. логических принципах. Исчезла уверенность в их единственности и непогрешимости. Логицизм был убежден, что логики достаточно для обоснования всей математики; по мнению формалистов (Д. Гильберт и др.), одной лишь логики для этого недостаточно, и логические аксиомы необходимо дополнить собственно математическими; представители теоретико-множественного направления не особенно интересовались логическими принципами и не всегда указывали их в явном виде; интуиционисты из принципиальных соображений считали нужным вообще не вдаваться в логику. Полемика по поводу математического Д. показала, что нет критериев Д., не зависящих ни от времени, ни от того, что требуется доказать, ни от тех, кто использует критерий. Математическое Д. является парадигмой Д. вообще, но даже в математике Д. не является абсолютным и окончательным.

ДОКАЗАТЕЛЬСТВО - обоснование истинности какого-либо положения. Д. (в логике) - рассуждение, устанавливающее истинность некоторого положения на основе истинности других положений в рамках конкретной области знания или теории. В структуре Д. различают тезис (положение, истинность которого требуется установить), аргументы, или основания (положения, обосновывающие истинность тезиса) и демонстрацию (способ логической связи тезиса с аргументами). Д. может быть либо прямым - когда тезис непосредственно вытекает из найденных аргументов, либо косвенным - когда истинность тезиса устанавливается тем, что вскрывается ложность антитезиса, т.е. положения, противоречащего тезису. Частным случаем Д. является опровержение - рассуждение, направленное против выдвинутого тезиса и имеющее своей целью установление его ложности. По своей структуре опровержение не отличается от Д. Различают опровержение, состоящее в Д. антитезиса, и опровержение, состоящее в выведении ложных следствий из обсуждаемого тезиса (»сведение к абсурду»). Чтобы отличать правильные Д. от неправильных, выработаны особые требования, выявлены основные ошибки при их нарушении. В частности, тезис должен быть ясным и точным; должен оставаться одним и тем же на протяжении всего Д. (нарушение этого правила называется «подмена тезиса»). Аргументы должны быть истинными суждениями (если хотя бы один из аргументов ложен, то возникает ошибка «основное заблуждение», а если не доказан - «предвосхищение основания»); аргументы должны быть суждениями, истинность которых доказана независимо от тезиса (нарушение этого называется «кругом в Д.»); аргументы должны быть достаточными для признания истинности тезиса (связанные с нарушением этого правила ошибки: «аргумент к личности», «аргумент к публике», «аргумент к авторитету», «аргумент к тщеславию» и др.). Демонстрация должна соответствовать логическим правилам вывода, т.е. тезис должен логически вытекать из приводимых аргументов (при нарушении этого правила возможны ошибки: «мнимое следование», «учетверение терминов», «от сказанного в относительном смысле к сказанному в абсолютном смысле» и др.). Логическая процедура Д. подверглась основательному анализу уже в произведениях Аристотеля, и в силу своего фундаментального характера оставалась предметом исследовательского интереса на протяжении всей истории философии и методологии науки. В рамках математической логики исследуются возможности формальных Д. и устанавливается существование в некоторой формальной системе положений, которые нельзя ни доказать, ни опровергнуть средствами данной системы. В настоящее время создается теория поиска Д., призванная сыграть важную роль в изучении и оптимизации творческой деятельности людей.

ДОКАЗА́ТЕЛЬСТВО -а; ср.

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

2. Лог. Система умозаключений, служащая для установления нового положения на основании данных, принимаемых за истинные. Теорема имеет несколько доказательств. Д. от противного (обоснование истинности какого-л. суждения путем опровержения противоречащего ему суждения).

* * *

установление (обоснование) истинности высказывания, суждения, теории. В логическом доказательстве аргументация проводится по правилам и средствам логики.

* * *

ДОКАЗА́ТЕЛЬСТВО, установление (обоснование) истинности высказывания, суждения, теории. В логических доказательствах аргументация проводится по правилам и средствам логики.

установление или обоснование истинности высказывания, суждения, теории и т. п.; в самом широком смысле прием, с целью убедить в правильности тезиса, достоверности познания. В логике различают дедуктивное, индуктивное и косвенное доказательства, а также доказательство от противного, как один из видов косвенного доказательства.

- рассуждение по определенным правилам, обосновывающее какое-либо предложение (утверждение, теорему); основанием Д. служат исходные утверждения (аксиомы). Конкретное Д. не обязательно начинается с аксиом, оно может опираться на ранее доказанные предложения. Всякое Д.- относительно, поскольку базируется на нек-рых недоказываемых положениях. Правила, по к-рым ведутся рассуждения, а также методы Д. изучает логика. См. Доказательств теория.

А. С. Ку зичев

proof матем.

* * *

proof

име́ется [существу́ет] доказа́тельство, что … — there is evidence that …

не приводя́ доказа́тельств — without proof

доказа́тельство предлага́ется привести́ чита́телю — proof will be left to the reader

дедукти́вное доказа́тельство — deductive proof

ко́свенное доказа́тельство — indirect proof

доказа́тельство ме́тодом математи́ческой инду́кции — proof by perfect induction

несводи́мое доказа́тельство — irreducible proof

нестро́гое доказа́тельство — nonrigorous proof

доказа́тельство от проти́вного — proof by contradiction

доказа́тельство перебо́ром всех возмо́жных значе́ний переме́нных — proof by exhaustion

стро́гое доказа́тельство — rigorous proof

доказа́тельство существова́ния — existence proof

* * *

demonstration

с. матем.

dimostrazione f

- косвенное доказательство

- прямое доказательство

1) матем. дове́дення, (неоконч. д. - ещё) доводі́ння;(наглядное - ещё) сві́дчення;(следствие) до́від, -воду, дове́дина

теоре́тико-мно́жественное доказа́тельство — теоре́тико-множи́нне дове́дення

теоре́тико-числово́е доказа́тельство — теоре́тико-числове́ дове́дення

- аналитическое доказательство

- содержательное доказательство

2)до́каз, -зу

- неопровержимое доказательство

1) матем. дове́дення, (неоконч. д. - ещё) доводі́ння;(наглядное - ещё) сві́дчення;(следствие) до́від, -воду, дове́дина

теоре́тико-мно́жественное доказа́тельство — теоре́тико-множи́нне дове́дення

теоре́тико-числово́е доказа́тельство — теоре́тико-числове́ дове́дення

- аналитическое доказательство

- содержательное доказательство

2)до́каз, -зу

- неопровержимое доказательство

установление (обоснование) истинности высказывания, суждения, теории. В логич. Д. аргументация проводится по правилам и средствам логики.

- англ. proof/ evidence; нем. Beweis. 1. Установление, обоснование истинности суждения при помощи как логических рассуждений, так и эмпирических данных. 2. В дедуктивных науках (логике, математике) - цепь правильных умозаключений, ведущих от истинных посылок к доказываемым тезисам. 3. В праве - фактические данные об обстоятельствах, имеющих значение для правильного разрешения уголовного или гражданского дела. см. КРИМИНАЛИСТИКА.

- англ. proof/ evidence; нем. Beweis. 1. Установление, обоснование истинности суждения при помощи как логических рассуждений, так и эмпирических данных. 2. В дедуктивных науках (логике, математике) - цепь правильных умозаключений, ведущих от истинных посылок к доказываемым тезисам. 3. В праве - фактические данные об обстоятельствах, имеющих значение для правильного разрешения уголовного или гражданского дела. См. КРИМИНАЛИСТИКА.