Большая Советская энциклопедия II

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

в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и «обоснование» термин «Д.» допускает ряд пониманий, отличающихся друг от друга по степеням общности и определённости. Однако во всех модификациях понятия Д. отчётливо прослеживаются две противоположные (но связанные между собой) тенденции. Первая обусловлена относительностью и содержательным характером понятия истины, поскольку оно означает соответствие, более или менее точное и полное, некоторой части реальной действительности. Вторая — связана с тем, что Д. (именно Д., а не просто довод в пользу рассматриваемого утверждения) должно гарантировать истинность тезиса — именно в этом состоит специфика понятия Д., выделяющая его из более широкого класса процедур, которые естественнее называть подтверждениями тезисов и которые могут обладать большей или меньшей степенью убедительности. Иначе говоря, понятие Д. должно служить полным подтверждением истинности доказываемого предложения, а потому носить дедуктивный (см. Дедукция) характер; отсюда тенденция ко всё большей формализации (См. Формализация) понятия Д. Т. о., в понятии Д. заключено глубокое противоречие: понятие это по-настоящему нужно для решения задач, в принципе не допускающих полного, исчерпывающего, окончательного решения; удаётся же довести это понятие до идеала полной определённости лишь для тех ситуаций, где решение, в некотором смысле, заранее предопределено и заключается уже в самой постановке задачи — при Д. так называемых логически истинных суждений, для которых лишь и удаётся провести полностью формализованные (и тем самым не оставляющие никакой неопределённости и недоговорённости) Д.
Противопоставление содержательных и формальных аспектов понятия «Д.» проявляется прежде всего в различии широкого и узкого понимания этого термина.
Д.в широком смысле — это любая процедура установления истинности какого-либо суждения (называется тезисом, или заключением, данного Д.): как при помощи некоторых логических рассуждений, так и посредством чувственного восприятия некоторых физических предметов и явлений, а также ссылок (указаний или упоминаний) на такие восприятия. Именно такой характер имеют Д. в юридической практике, где термин «Д.» применяют к такого рода единичным указаниями даже для наименования самих указываемых предметов — отсюда выражения «предъявить Д. (улику)», «вещественное Д.». Таковы и обоснования большей части утверждений гуманитарных наук, а в ещё более отчётливой форме — эмпирические (опытные: экспериментальные или основанные на данных наблюдений) Д. в естественных науках. Хотя все такие Д. (если не считать Д. некоторых единичных фактов, сводящихся к непосредственному умозаключению из однократного «предъявления улики») включают в качестве составных частей дедуктивные фрагменты — умозаключения (См. Умозаключение), связывающие ссылки на опыт с доказываемым (и промежуточными) тезисом, тем не менее все эти Д. можно считать индуктивными: в них имеет место переход от частных посылок к общим заключениям (Индукция), совершаемый (чаще всего в неявной форме) по правилам индуктивной логики.
Д. в узком смысле слова, характерные для дедуктивных наук (логики, математики и построенных по их образцу и на их основе разделов теоретической физики и теоретической кибернетики), представляют собой цепочки умозаключений (правильных), ведущих от истинных посылок (исходных для данного Д. суждений) к доказываемым (заключительным) тезисам. Посылки Д. также именуются его основаниями, или аргументами, или доводами; термины эти, однако, не менее часто применяются для обозначения промежуточных переходов от посылок к заключению или всякого рода пояснений (комментариев), сопровождающих такие переходы в подобных Д. Истинность посылок не должна обосновываться в самом Д., а должна каким-либо образом устанавливаться заранее. Последовательное развитие этой традиционной (идущей от Аристотеля) концепции Д., связанное с аксиоматическим методом (См. Аксиоматический метод), потребовало (в конце 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. доказательствоДОКАЗАТЕЛЬСТВО в логике процесс метод установления истины iобоснование истинности суждения. iВ соответствии с различными возможными аспектами и уровнями рассмотрения и уп...Большая советская энциклопедия
  2. доказательство. в логике доказательство заключения если оно логически вытекает из посылок . любая демонстрация которая обеспечивает логическую или наглядную поддержку какогото утвержд...Большая энциклопедия по психиатрии
  3. доказательствос. prova f dimostrazione f вещественное доказательство юр. corpo m di reato умозаключение dimostrazione f теорема имеет несколько доказательств il teorema ha piu dimo...Большой итальяно-русский и русско-итальянский словарь
  4. доказательстводоказательство с . довод Beweis m a Beweisgrund m a вещественное доказательство Beweisstck n a привести доказательства Beweise liefern в доказательство als zum] Beweis ....Большой немецко-русский и русско-немецкий словарь
  5. доказательствос доводem Beweis m Beweisgrund m умл.em вещественное доказательство Beweisstck nпривести доказательства Beweise liefernв доказательство als zum Beweis доказываниеem ...Большой немецко-русский и русско-немецкий словарь
  6. доказательствос. доводem prueba fem evidencia fem предл.род. Ю. Ам.ственное доказаuтельство prueba de conviccin prueba materialв доказаuтельство род. п. en prueba de como prueba мат...Большой русско-испанский словарь
  7. доказательствосущ. ср. родарезультат действия. довод или факт подтверждающий доказывающий чтолибодоказ уem мен. чол. роду. мат. система умозаключений путем которых выводится новое поло...Большой русско-украинский словарь
  8. доказательствос. доводem preuve f marque f знак признакem вещественное доказательство юр. pice f conviction приводить доказательства produire илиem fournir des preuves в доказатель...Большой русско-французский словарь
  9. доказательствоангл. proof evidence нем. Beweis. . Установление обоснование истинности суждения при помощи как логических рассуждений так и эмпирических данных. . В дедуктивных науках л...Большой толковый социологический словарь II
  10. доказательствос. доводem preuve f marque f знак признак вещественное доказательство юр. pice f convictionприводить доказательства produire или fournir des preuvesв доказательство p...Большой французско-русский и русско-французский словарь
  11. доказательствоДОКАЗАТЕЛЬСТВО установление обоснование истинности высказывания суждения теории. В логических доказательствах аргументация проводится по правилам и средствам логики....Большой энциклопедический словарь III
  12. доказательствоДОКАЗАТЕЛЬСТВО установление обоснование истинности высказывания суждения теории. В логических доказательствах аргументация проводится по правилам и средствам логики....Большой Энциклопедический словарь V
  13. доказательствопроцесс установления истины обоснование истинности суждения....Глоссарий философских терминов
  14. доказательството что ведет ум к постижению истины. Существуют два типа доказательств доказательства осуществляемые с помощью объективных методов в результате которых достигается логиче...Евразийская мудрость от А до Я
  15. доказательствоустановление обоснование истинности высказывания суждения теории. В логич. Д. аргументация проводится по правилам и средствам логики. Синонимы аналогизм аподиксис аргумен...Естествознание. Энциклопедический словарь
  16. доказательствоустановление обоснование истинности высказывания суждения теории. В логическом доказательстве аргументация проводится по правилам и средствам логики....Исследовательская деятельность
  17. доказательствотот или иной способ убеждения в истинности тезиса достоверности результатов познания или подтверждения высказывания подвергаемого сомнению. Строгим дедуктивным демонстрат...История и философия науки. Энциклопедический словарь
  18. доказательстводоказательство...Коми (зырянский)-русский словарь
  19. доказательствоа ср.em Неопровержимый довод или факт подтверждающий истинность чегол. подтверждение чегол.Он был очень доволен и своим лицом и широкими плечами которые служили очевидны...Малый академический словарь
  20. доказательстворассуждение по определенным правилам обосновывающее какоелибо предложение утверждение теорему основанием Д. служат исходные утверждения аксиомы. Конкретное Д. не обязател...Математическая энциклопедия
  21. доказательствопроцедура рассуждения организуемая стремлением найти аргументы и доводы для придания исходному утверждению неслучайности и неопровержимости процесс мышления направленный...Методологический словарь для управленцев
  22. доказательствокорень ДОКАЗ суффикс А суффикс ТЕЛЬ суффикс СТВ окончание О Основа слова ДОКАЗАТЕЛЬСТВВычисленный способ образования слова Суффиксальный ДОКАЗ А ТЕЛЬ СТВ О ...Морфемный разбор слова по составу
  23. доказательствоНачальная форма Доказательство винительный падеж единственное число неодушевленное средний род...Морфологический разбор существительных
  24. доказательствоустановление или обоснование истинности высказывания суждения теории и т. п. в самом широком смысле прием с целью убедить в правильности тезиса достоверности познания. В ...Начала современного естествознания
  25. доказательствоДОКАЗАТЕЛЬСТВО обоснование истинности какоголибо положения. Д. в логике рассуждение устанавливающее истинность некоторого положения на основе истинности других положени...Новейший философский словарь
  26. доказательствообоснование истинности какоголибо положения. Д. в логике рассуждение устанавливающее истинность некоторого положения на основе истинности других положений в рамках конкр...Новейший философский словарь II
  27. доказательстводоказательство ср. а Неоспоримый довод или факт подтверждающий доказывающий чтол. б Ктол. чтол. являющееся свидетельством подтверждением чегол. Система умозаключений сл...Новый толково-словообразовательный словарь русского языка
  28. доказательството что ведет ум к постижению истины. Существуют два типа доказательств доказательства осуществляемые с помощью объективных методов в результате которых достигается логиче...Новый философский словарь
  29. доказательство. В рамках формальной системы доказательство заключения С представляет собой последовательность хорошо сформулированных суждений Р таких что каждое следует из первоначал...Оксфордский толковый словарь по психологии
  30. доказательство. В рамках формальной системы доказательство заключения С представляет собой последовательность хорошо сформулированных суждений Р таких что каждое следует из первоначал...Оксфордский толковый словарь по психологии
  31. доказательстводоказательство доказательство а...Орфографический словарь
  32. доказательствоu сu мн.u доказательства Р.u доказательств аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон с...Орфографический словарь русского языка
  33. доказательстводлелдеу...Орысша-қазақша «Математика» терминологиялық сөздік
  34. доказательстводлел...Орысша-қазақша «Энергетика» терминологиялық сөздік
  35. доказательствопроцесс мышления включающий в обоснование истинности одного положения другим истинность крого уже доказана система правильных умозаключений ведущих от истинных посылок к ...Педагогический словарь
  36. доказательствоdmonstration preuve...Политехнический русско-французский словарь
  37. доказательстводоказательство доказательства доказательства доказательств доказательству доказательствам доказательство доказательства доказательством доказательствами доказательстве до...Полная акцентуированная парадигма по Зализняку
  38. доказательствоОрфографическая запись слова доказательство Ударение в слове доказательство Деление слова на слоги перенос слова доказательство Фонетическая транскрипция слова доказатель...Полный фонетический разбор слов
  39. доказательствоприем к которому прибегают с той целью чтобы убедить в правильности тезиса достоверности познания или в том случае если данное положение оспаривается еще раз его дополн...Профессиональное образование
  40. доказательстводовд р. доводу подтверждение доказ р. зу провинц. доказка свидетельство свдчення доказывание доведння. [Доводами доведений. й ус поврили без доводв Грнч. сторя письменств...Російсько-український словник (Українська академія наук)
  41. доказательстводоведення...Російсько-український словник логіки
  42. доказательствоВ доказательство.hНа доказ на довд.Нет доказательств.hНема[] доказв нема чим нчим довести....Російсько-український словник сталих виразів
  43. доказательстводоказательство аСинонимы аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон свидетельство сорит...Русский орфографический словарь
  44. доказательствоbewys eo pruvo...Русский-африкаанс словарь
  45. доказательствоСр sbut dlil вещественное доказательство bax вещественный....Русско-азербайджанский словарь
  46. доказательствоargument proof...Русско-английский машиностроительный словарь
  47. доказательство.u косвенное доказательство того что указывать The evidence for strongthe presence of . is not fully convincing. This is sufficient demonstrationstrong orem proofstrong...Русско-английский научно-технический словарь
  48. доказательствоproof матем. доказательство с.uproofимеется [существует] доказательство что there is evidence that не приводя доказательств without proofдоказательство предлагается п...Русско-английский политехнический словарь
  49. доказательствоср. evidence proof vindication довод аргументem argument мн. ч.u reasoning мат. proofпринимать без доказательства postulateне требующий доказательства лог.u selfeviden...Русско-английский психологический словарь
  50. доказательстводоказательство с.i. proof evidence доводi argument в доказательство рд.i in witness of ещ одно яркое доказательство рд.i another triking demonstration of another eloque...Русско-английский словарь
  51. доказательстводоказательство proofСинонимы аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон свидетельство с...Русско-английский словарь биологических терминов
  52. доказательствоn.proof demonstration argumentСинонимы аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон свиде...Русско-английский словарь математических терминов
  53. доказательствоproof of demonstration of argument evidence forАльтернативное доказательство может быть получено путем на пути. An alternate proof may be obtained by. strong Альтернати...Русско-английский словарь научного общения
  54. доказательствоevidence...Русско-английский словарь по нефти и газу
  55. доказательствос.proof evidence argumentпри доказательстве этой теоремы . in proving this theoremэто доказательство не является убедительным this evidence is not convincing this evide...Русско-английский словарь по физике
  56. доказательствоdemonstration evidence proof proofing proving reasoning sustain...Русско-английский словарь по электронике
  57. доказательствоargument demonstration piece of evidence evidence confirmation proof vindication...Русско-английский словарь политической терминологии
  58. доказательствоn proof...Русско-английский словарь стекольной промышленности
  59. доказательстводоказательство proofСинонимы аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон свидетельство с...Русско-английский словарь терминов по микробиологии
  60. доказательствоproof warrant...Русско-английский строительный словарь
  61. доказательствоargument ampLTmath.ampGT demonstration evidence proof доказательство от противного доказательство существования косвенное доказательство несводимое доказательство строгое...Русско-английский технический словарь
  62. доказательствоproof...Русско-английский толковый словарь терминов по информатике
  63. доказательствоargument attest demonstration evidence proof witness...Русско-английский экономический словарь
  64. доказательствосущ.evidence proof аргументem argument свидетельство тжem testimony witnessдобывать получать доказательства to acquire find obtain procure evidence proofдопускать приним...Русско-английский юридический словарь
  65. доказательствоN...Русско-армянский словарь
  66. доказательстводоказ...Русско-белорусский математический словарь
  67. доказательствоДоказ довад вещественное доказательство юр. рэчавы доказ...Русско-белорусский словарь
  68. доказательствоср.i доказ муж. довад муж.iвещественное доказательство юр.i рэчавы доказ...Русско-белорусский словарь II
  69. доказательстводоuказ зу м.i...Русско-белорусский словарь математических, физических и технических терминов
  70. доказательствоср. доказ зу м....Русско-белорусский физико-математический словарь
  71. доказательствоbizonytk аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон свидетельство сорит указание улик...Русско-венгерский словарь
  72. доказательстводоказательство с тж. мат. улика приводить а...Русско-греческий словарь (Сальнов)
  73. доказательстводоказа Синонимы аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон свидетельство сорит указан...Русско-ивритский словарь
  74. доказательствоcomprobacin prueba...Русско-испанский экономический словарь
  75. доказательствоalegacin autoridad comprobacin constancia elemento de prueba elemento probatorio evidencia fedatario justificacin justificante medio probatorio probanza probatoria prueba...Русско-испанский юридический словарь
  76. доказательствос. матем. dimostrazione f косвенное доказательство доказательство от противного доказательство по индукции прямое доказательство...Русско-итальянский политехнический словарь
  77. доказательствоprova...Русско-итальянский экономический словарь
  78. доказательстводействие dimostrazione prova confirmatio...Русско-итальянский юридический словарь
  79. доказательствонр. довод длел айаты вещественное доказательство айаты зат блтартпайтын длел приводить доказательства длел келтру в доказательство длел ретнде. мат. длелдеу доказательств...Русско-казахский словарь
  80. доказательствоайа длел длелдеме...Русско-казахский словарь для учащихся и студентов
  81. доказательстводлелдеме длел айа длел...Русско-казахский терминологический словарь «Философия и политология»
  82. доказательствоср. . далилд доказательство теоремы мат. теореманы далилд . довод далил вещественное доказательство юр. буюмдата далил соттук аштерди текшергенде соттун колундагы далил б...Русско-киргизский словарь
  83. доказательствоzhngj zhngmngвещественное доказательство в качестве доказательства .приводить доказательства представлять доказательства лог. мат. lnzhng zhngmngэта теорема им...Русско-китайский словарь
  84. доказательствоIsbat delil аргументприводить доказательство isbat delil ketirmek...Русско-крымскотатарский словарь
  85. доказательствоисбат делиль аргумент приводить доказательство исбат делиль кетирмек...Русско-крымскотатарский словарь II
  86. доказательствоpierdjums...Русско-латышский словарь
  87. доказательствоrodymas...Русско-литовский словарь
  88. доказательствоБаталгаа нотолгоо гэрчийн мэдлэг туршилт сорилт нэнч...Русско-монгольский словарь
  89. доказательствоArgument Beweis...Русско-немецкий политехнический словарь
  90. доказательствос. Beweis m в доказательство чегол. als zum Beweis fr A....Русско-немецкий словарь
  91. доказательствоNachweis...Русско-немецкий словарь по химии и химической технологии
  92. доказательствосBeweis mem Nachweis mem...Русско-немецкий словарь стекольной промышленности
  93. доказательствоNachweis...Русско-немецкий химический словарь
  94. доказательствоBegrndung Beweis Ausweis Nachweis Nachweisung...Русско-немецкий экономический словарь
  95. доказательствоAusweis Begrndung Beweis Erweis Nachweis Nachweisung...Русско-немецкий юридический словарь
  96. доказательствоBewijs...Русско-нидерландский словарь
  97. доказательстводоказательствос . довод ....Русско-новогреческий словарь
  98. доказательствоbevis bevislighet аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон свидетельство сорит указан...Русско-норвежский словарь
  99. доказательство...Русско-персидский словарь
  100. доказательствоdowd...Русско-польский словарь
  101. доказательствос prova fu очевидностьem evidncia fu признакem indcio mu матu логu demonstrao f аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие за...Русско-португальский словарь
  102. доказательствоДоказательствоbayana buruhani dhihirisho ma hakikisho ma hoja ithibati mathubuti nguzo sahihi sahihisho ma shuhuda ma thibitisho ma uthibitishaji ед.em ubainifu е...Русско-суахили словарь
  103. доказательстводоказательство исбот далел...Русско-таджикский словарь
  104. доказательствос .длил это является доказательством его виновности бу аны гаепле икнлеген длил булып тора вещественное д. матди длил .лог.исбатлау исбат исбат ит д. теоремы теореманы ис...Русско-татарский словарь
  105. доказательствоkantdelilispat kant delil ispat привести чтол.em в качестве доказательства bir eyi kant gstermekслужить доказательством чегол.em bir eyin kant olmakно у тебя нет дока...Русско-турецкий словарь
  106. доказательствоkant...Русско-турецкий словарь по строительству и архитектуре
  107. доказательствоdalil dalolat isbot...Русско-узбекский словарь Михайлина
  108. доказательствоматем. доведення неоконч. д. ещ доводння наглядное ещ свдчення следствие довд воду доведина теоретикомножественное доказательство теоретикомножинне доведення теоретико...Русско-украинский политехнический словарь
  109. доказательствоnemtodiste todistusть доказаuтельства esitt todisteita...Русско-финский словарь
  110. доказательствоtmoignage...Русско-французский словарь по химии
  111. доказательствоср preuve justification доказательство наступления рискадоказательство происхождения...Русско-французский экономический словарь
  112. доказательствоdemonstrace doklad dokzn dkaz dvod indicie projev prokzn pedveden pedvdn...Русско-чешский словарь
  113. доказательствосущ.сред. син. подтверждение аргумент довод ирплету способ доказательства теоремы теоремна ирплетмеллй мел...Русско-чувашский словарь
  114. доказательствоbevis.strong bevis han frikndes i brist p bevisон был оправдан за недоказанностью преступления hans uttalande r ett bevis p dligt omdmeего высказывание является свидетель...Русско-шведский словарь
  115. доказательство.strong tend.strong tendusvahend testus...Русско-эстонский словарь
  116. доказательството что ведет ум к постижению истины. Существуют два типа доказательств доказательства осуществляемые с помощью объективных методов в результате которых достигается логиче...Сверхкраткий философский словарь
  117. доказательствоопровержениеСинонимы аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон свидетельство сорит ука...Словарь антонимов
  118. доказательстворассуждение устанавливающее истинность к.л. утверждения путем приведения других утверждений истинность которых уже доказана. В Д. различаются тезис утверждение которое н...Словарь логики
  119. доказательствоДОКАЗАТЕЛЬСТВО рассуждение устанавливающее истинность к.л. утверждения путем приведения других утверждений истинность которых уже доказана. В Д. различаются тезис утвер...Словарь по логике
  120. доказательствоДоказательство довод основание резон силлогизм соображение улика аргумент знак свидетельство ссылка. Доказательство веское логическое не выдерживающее критики от противно...Словарь русских синонимов и сходных по смыслу выражений
  121. доказательствоДОКАЗАТЕЛЬСТВО а ср.i им. мн.i а и ы.Подтверждение чегол. свидетельство довод.Оказались доказательства что дfontйствительно МирВейс худое имfontл намfontрение. Сойм. КМ ...Словарь русского языка XVIII в
  122. доказательствовеское доказательство неопровержимое доказательство неоспоримое доказательство сильное доказательство яркое доказательствоСинонимы аналогизм аподиксис аргумент аргументац...Словарь русской идиоматики
  123. доказательстводоказательствоДовод основание резон силлогизм соображение улика аргумент знак свидетельство ссылка.Доказательство веское логическое не выдерживающее критики от противного...Словарь синонимов II
  124. доказательстводоказательство Довод основание резон силлогизм соображение улика аргумент знак свидетельство ссылка. Доказательство веское логическое не выдерживающее критики от противно...Словарь синонимов II
  125. доказательстводоказательство довод основание суждение резон силлогизм соображение улика аргументация документация знак свидетельство ссылка показание подтверждение указание энтимема со...Словарь синонимов
  126. доказательствочего и чему. .strong чего при выражении зависимого слова именем существительным. Доказательство теоремы. Он был очень доволен и своим лицом. и широкими плечами которые сл...Словарь управления
  127. доказательстводоказательство Довод или факт подтверждающие чтолибо. Бесспорное важное верное веское весомое достаточное живое зримое логичное наглядное надежное недостаточное ненадежно...Словарь эпитетов III
  128. доказательствоДовод или факт подтверждающие чтолибо.Бесспорное важное верное веское весомое достаточное живое зримое логичное наглядное надежное недостаточное ненадежное неопровержимое...Словарь эпитетов II
  129. доказательствоДОКАЗАТЕЛЬСТВО. Довод или факт подтверждающие чтолибо. Бесспорное важное верное веское весомое достаточное живое зримое логичное наглядное надежное недостаточное ненадежн...Словарь эпитетов
  130. доказательствоh доказательствоbig сущ.сред.неод.i ед.им. к славе действующей армии и доказательство сему не двусмысленно.Пр. для таких опыт лучшее доказательство.Пр. Этим ничего не в...Словарь языка Грибоедова
  131. доказательствов логике процесс метод установления истины обоснование истинности суждения. Термин Д. допускает ряд пониманий отличающихся друг от друга по степеням общности. Однако во в...Советский философский словарь
  132. доказательствопроцесс мышления включающий в обоснование истинности одного положения другим истинность которого уже доказана система правильных умозаключений ведущих от истинных посылок...Современный образовательный процесс
  133. доказательствоДОКАЗАТЕЛЬСТВО установление обоснование истинности высказывания суждения теории. В логических доказательствах аргументация проводится по правилам и средствам логики....Современный энциклопедический словарь
  134. доказательствосм. Аргументативный тип речи lt. Синонимы аналогизм аподиксис аргумент аргументация вещдок вещественное доказательство винословие залог обоснование подтверждение резон св...Стилистический энциклопедический словарь русского языка
  135. доказательствоДоказательство proof попытки найти в программе ошибки путем доказательств на основе математических теорем о правильности программы безотносительно к внешней программной...Терминологический словарь автоматизации строительства и производственных процессов
  136. доказательстводоказательство сущ.em с.em употр. сравн. часто Морфология нет чего доказательстваstrong чему доказательствуstrong вижу что доказательствоstrong чем доказательствомstrong ...Толковый словарь Дмитриева
  137. доказательствоДОКАЗАТЕЛЬСТВО а ср. . Факт или довод подтверждающий доказывающийчтон. Вещественное д. предмет представляемый суду как свидетельствосовершенного преступления. . Система у...Толковый словарь Ожегова
  138. доказательствоДОКАЗАТЕЛЬСТВО доказательства ср. книжн. . Довод или факт являющийся основанием для утверждения чегон. Этот поступок является лишним доказательством его упрямства. для до...Толковый словарь русского языка II
  139. доказательстводоказательство доказательство а ср. Факт или довод подтверждающий доказывающий чтон. Вещественное д. предмет представляемый суду как свидетельство совершнного преступлени...Толковый словарь русского языка II
  140. доказательствоДОКАЗАТЕЛЬСТВО а ср. . Факт или довод подтверждающий доказывающий чтонибудь Вещественное доказательство предмет представляемый суду как свидетельство совершнного преступл...Толковый словарь русского языка
  141. доказательствологическая форма в которой происходит обоснование истинности одних мыслей с помощью других истинность которых уже установлена....Традиционная логика
  142. доказательстводовад...Тэрмінолёгія лёгікі і псыхолёгіі
  143. доказательствоУдарение в слове доказательствоУдарение падает на букву аБезударные гласные в слове доказательство...Ударение и правописание
  144. доказательствоRzeczownik доказательство n dowd m...Универсальный русско-польский словарь
  145. доказательствоДОКАЗАТЕЛЬСТВО рассуждение имеющее целью обосновать истинность или ложность к.л. утверждения которое наз. тезисом доказательства. Суждения на которые опирается доказател...Уфологический словарь-справочник
  146. доказательствоспособ обоснования какоголибо утверждения когда в пользу его принятия приводятся достоверные и достаточные основания. Существуют различные виды доказательств практические...Философия науки
  147. доказательствологическая процедура которая обосновывает истинность суждений. Обратная процедура называется опровержением....Философия науки и техники
  148. доказательствоДОКАЗАТЕЛЬСТВО рассуждение устанавливающее истинность к.л. утверждения путем приведения др. утверждений истинность которых уже установлена.В Д. различаются тезис утверж...Философская энциклопедия
  149. доказательствопроцесс установления объективной истины посредством практических и теоретических действий и средств. Целостного понимания понятия Д. нельзя выработать ни в рамках онтолог...Философская Энциклопедия (в 5 томах)
  150. доказательствов самом общем смысле прием к которому прибегают с той целью чтобы убедить в правильности тезиса достоверности познания или в том случае если данное положение оспаривается...Философский энциклопедический словарь II
  151. доказательстворассуждение имеющее целью обосновать истинность или ложность к.л. утверждения крое наз. тезисом Д. Суждения на крые опирается Д. и из крых логически следует тезис наз. ар...Философский энциклопедический словарь
  152. доказательстводоказательство доказательства доказательства доказательств доказательству доказательствам доказательство доказательства доказательством доказательствами доказательстве до...Формы слова
  153. доказательствоЗлость Зло Злато Златка Злата Злак Зет Зелькво Зелот Зело Зевота Зевок Зево Зевака Зев Здесь Звать Заток Заткать Затеска Затес Затек Затакт Застолье Застать Засолка Засол...Электронный словарь анаграмм русского языка
  154. доказательствоДОКАЗАТЕЛЬСТВО установление обоснование истинности высказывания суждения теории. В логических доказательствах аргументация проводится по правилам и средствам логики....Энциклопедический словарь естествознания
  155. доказательствоангл. proof evidence нем. Beweis. . Установление обоснование истинности суждения при помощи как логических рассуждений так и эмпирических данных. . В дедуктивных науках л...Энциклопедия социологии
  156. доказательствоДОКАЗАТЕЛЬСТВО процедура призванная убедить и убеждающая человека в истинности некоторого положения настолько что с ее помощью он может убеждать в истинности этого полож...Энциклопедия эпистемологии и философии науки