|
|
|
|
|
|
|
|
|
Доказательство теоремы
| Глоссарий по искусственному интеллекту |
Логическое следование данной формулы из данной совокупности выведенных ранее формул.
|
|
Доказательства, русский
- Любые фактические данные (информация) по уголовному делу. на основе которых в определенном законом порядке орган дознания, следователь и суд устанавливают наличие или отсутствие преступления (время, место,способ и другие обстоятельства совершения преступл
- , в праве - фактические данные об обстоятельствах, имеющих значение для правильного разрешения уголовного или гражданского дела. содержатся в показаниях, вещественных доказательствах, заключениях экспертов, протоколах и др. различают доказательства прямые и косвенные (улики). ни одно из доказательств не имеет преимущественного значения.
Доказательства бытия бога, русский
– попытки логически вывести бытие бога и его предикаты и тем самым рационально обосновать веру в бога. согласно канту, бытие бога решительно недоказуемо, но это не является для канта основанием утверждать, что бога не существует. имеется шесть наиболее известных доказательств бытия бога. 1) онтологическое доказательство бытия бога из наличия субъективной идеи высшей сущности выводит ее объективное существование: если бы бог существовал не в действительности, а лишь как идея, этот недостаток противоречил бы понятию бога как наисовершеннейшей, наиреальнейшей сущности. 2) психологическое доказательство бытия бога исходит из наличия идеи бога в сознании (т.е. из переживания бога) и утверждает, что само сознание не может быть достаточным основанием для наличия в нем идеи бога; следовательно, основу должна составлять внешняя причина сверхчеловеческого порядка (т.е. бог как существующий). 3) космологическое доказательство бытия бога проводит временную связь от существования мира к его создателю, от обусловленности всего сущего к последней безусловной, в себе сущей, абсолютной сущности, к богу, который является несводимой дальше причиной. 4) телеологическое доказательство бытия бога исходит от целесообразности и порядка мира и приходит к его премудрому архитектору. 5) m o p а л ь н о е доказательство бытия бога из наличия нравственного сознания выводит его создателя или из «морального миропорядка» выводит основателя этого миропорядка. 6) волюнтаристское доказательство бытия бога исходит из того, что человек стоит на высшей из трех ступеней – сущего, живого и познающего. но он не всемогущ, т. к. может не все, чего хочет. следовательно, должна существовать некая высшая сила над ним, которая является всемогущей: бог.
Доказательства судебные, русский
- Фактические данные об обстоятельствах конкретного уголовного дела, имеющие значение для полного и всестороннего его расследования. доказательства оцениваются сотрудниками правоохранительных органов и судом по их внутреннему убеждению, основанному на их вс
- В уголовном и гражданском процессе фактические данные (сведения) об обстоятельствах, имеющих значение для правильного разрешения уголовного или гражданского дела, полученные и закрепленные в материалах дела в установленном законом порядке. в уголовном процессе на основании доказательств устанавливается: имело ли место
Доказательство, русский
- Доказательство, довод, основание, резон, силлогизм, соображение, улика, аргумент; знак, свидетельство, ссылка. доказательство веское, логическое, не выдерживающее критики, от противного, слабое, убедительное, с натяжками. вещественное доказательство. блис
- , установление (обоснование) истинности высказывания, суждения, теории. в логических доказательствах аргументация проводится по правилам и средствам логики.
- – в самом общем смысле прием, к которому прибегают с той целью, чтобы убедить в правильности тезиса, достоверности познания или – в том случае, если данное положение оспаривается, – еще раз его дополнить и подтвердить. строгое, или дедуктивно е, доказательство (демонстрация) имеет место в том случае, если данное высказывание подтверждается положениями (основания доказательства, аргументы), которые признаются истинными, так что утверждаемое следует из них как вывод из логического умозаключения. если такое доказательство оказывается невозможным, то следует сделать обратное, т.е. привести в качестве оснований доказательства факты, вытекающие из данного тезиса как его частные случаи, – индуктивное доказательство. если же речь идет только или о правильности, или о ложности данного тезиса, а не об отсутствии возможности выбора между этими двумя тезисами, то далее может быть сделана попытка доказать противоположное данному тезису или опровергнуть то, что затем служит основанием для опровержения или доказательства последнего, – косвенное доказательство. противоположностью доказательства является опровержение; оно состоит в том, что в отношении предмета, о котором что-то утверждается, приводятся факты, из которых это утверждение не может быть выведено. ошибки доказательства могут состоять: 1) в неясности тезиса, который должен быть доказан; 2) в неправильности или ненадежности приведенных оснований доказательства; 3) в формальной неправильности выведения следствия. наиболее известные ошибки доказательства суть следующие: гистеронпротерон, circulus vitiosus, petitio principii, ignoratio elenchi, proton pseudos и quaternio terminorum. от этих ошибок следует отличать: ошибочное умозаключение, логическую уловку и неправильное умозаключение.
- Proof
- Это совокупность логических приемов обоснования истинности тезиса.
- Рассуждение, устанавливающее истинность какоголибо утверждения путем приведения других утверждений, истинность которых уже доказана. в структуре доказательства различают тезис положени
- Метод исследования – теоретическое (логическое) действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей. всякое доказа- тельство состоит из трех частей: тезиса, доводов (аргументов) и демонстрации. по способу ведения, доказательства бывают прямые и косвенные, по форме умозаключения – индуктивными и дедук- тивными. правила доказательств: 1. тезис и аргументы должны быть ясными и точно определен- ными. 2. тезис должен оставаться тождественным на протяжении все- го доказательства. 3. тезис не должен содержать в себе логическое противоречие. 4. доводы, приводимые в подтверждение тезиса, сами должны быть истинными, не подлежащими сомнению, не должны противо- речить друг другу и являться достаточным основанием для данного тезиса. 5. доказательство должно быть полным. [36]. 36
Доказательство знания, русский
Доказательство конструктивное, русский
Вывод утверждения в логическом исчислении, который обеспечивает явное построение всех элементов, участвующих в выводе. таковым не является, например, широко распространенный способ доказательства "от противного", используемый в классической математике.
Доказательство косвенное, русский
Доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения.
Доказательство от единичного наблюдения, русский
Доказательство от противного, русский
- , один из видов косвенного доказательства.
- (лат. reductio ad absurdum) – вид доказательства, при котором справедливость некоторого суждения (тезиса доказательства) осуществляется через опровержение противоречащего ему суждения – антитезиса. опровержение антитезиса достигается путем установления его несовместимости с заведомо истинным суждением. часто доказательство от противного опирается на двузначности принцип.
Доказательство с нулевым разглашением, русский
Доказательство;, русский
Теорема, русский
- Теорема , задача
- (от греч. theoreo – рассматриваю) – научное положение.
- (греч . theorema, от theoreo - рассматриваю), в математике - предложение (утверждение), устанавливаемое при помощи доказательства (в противоположность аксиоме). теорема обычно состоит из условия и заключения. напр., в теореме: если в треугольнике один из углов прямой, то два других - острые, после слова "если" стоит условие, а после "то" - заключение.
- Положение, устанавливаемое при помощи доказательства. теорема – одна из форм организации научного знания. 167 [70].
Теорема временного масштабирования, русский
Теорема гюйгенса-штейнера, русский
Теорема расхождения, русский
Теорема свертки, русский
Следование, русский
|
Индукция полная (математическая), русский
Математическое доказательство справедливости некоторой закономерности, основанное на выдвижении гипотезы по конечному числу фактов и обоснований к изменению этой закономерности.
Теория аксиоматическая, русский
Логическая теория, в которой все исходные аксиомы являются тождественно истинными, а правила вывода - достоверными.
|
|
|
|
|
|
|
