| rdfs:comment
| - V matematice je důkaz demonstrace nutné pravdivosti nějakého tvrzení za určitých předpokladů (axiomů). Matematický důkaz musí být založen výhradně na nezpochybnitelných pravidlech rozumu (ta jsou vyjádřena v matematické logice ve formě logických axiomů), nepřipouští žádný postup založený na názoru, experimentu, intuici či zkušenosti. Tato skutečnost dělá z matematického důkazu nejjistější známý způsob ověření pravdivosti nějakého tvrzení. Tvrzení, ke kterému je znám matematický důkaz, se nazývá matematická věta. (cs)
- En matematiko pruvo estas demonstro de deviga vereco de iu aserto surbaze de certaj supozoj (aksiomoj). La matematika pruvo devas esti fondita eksplicite sur nedubeblaj reguloj de prudento (tiuj estas esprimataj en matematika logiko en formo de ), ĝi allasas nenian procedon fonditan en opinio, eksperimento, intuicio aŭ sperto. Tiu ĉi fakto farigas el la matematika pruvo la plej certan konatan manieron de verkontrolo de la vereco de iu aserto. Sed la samaj ecoj faras la matematikan pruvon tute ne eluzeblan en aliaj terenoj ol en la matematiko mem. La aserto, al kiu estas konata matematika pruvo, nomiĝas teoremo. (eo)
- Pembuktian Matematika adalah sebuah demonstrasi yang meyakinkan atas , teorema itu benar, dengan bantuan logika dan matematika. Pembuatan bukti telah lama mendapatkan perhatian besar dalam . (in)
- Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) correttezza formale del ragionamento. (it)
- 数学における証明 (しょうめい、英語: Mathematical proof) とは、ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提（公理、定理等の認められた事実）や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない（背理法）。 命題 P を証明したいとき、P を直に証明することを直接証明と言う。それに対して P が真であることを直接証明する代わりに、P と同値な別の命題が真であることを証明する方法を間接証明と言う（これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない）。 (ja)
- Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde bewering waar is. (nl)
- Dowód – wykazanie, że pewne zdanie jest prawdziwe. Dowód należy odróżnić od empirycznego lub heurystycznego rozumowania. Każdy krok dowodu musi jasno wynikać z poprzednich lub być przyjętym aksjomatem; rozumowanie niespełniające tego warunku nie jest dowodem. Ostatni krok dowodu to udowodnione zdanie, które w ten sposób staje się twierdzeniem danej teorii. Zwyczajowo koniec dowodu oznacza się skrótem q.e.d. (quod erat demonstrandum), c.n.d. (co należało dowieść), c.b.d.o. (co było do okazania) lub podobnym. (pl)
- Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro. Utiliza como base premissas intrínsecas a um modelo conceitual e um silogismo que, a partir de uma série de operações, chega ao resultado. Costuma-se marcar o final de uma prova com a abreviação c. q. d. (como queríamos demonstrar). (pt)
- 在數學上，數學證明（Mathematical proof）是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。 實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的、和的大部分检验。 數學哲學就關注語言和邏輯在數學證明中的角色，和。 (zh)
- Доведення у математиці — процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження. Принципи доведення вивчаються спеціальною галуззю математики — теорією доказів. (uk)
- في الرياضيات، البرهان أو الإثبات هي حجة استدلالية لتحديد صحة عبارة رياضية تستند على مُسلَّمات (بالإنجليزية: Axiom) ومبرهنات (بالإنجليزية: Theorem). يقال لعبارة رياضية أو علاقة رياضية بأنها صحيحة منطقيا إذا تم التوصل إليها في ظل هذه المجموعة من البدهيات باستخدام الاستنتاج وطرق الاستنباط المنطقية. البرهان الرياضي إذا عبارة عن حجة argument أو تعليل منطقي، ليس تجريبيا. ضمن هذا التعريف فإن مقولة أو عبارة رياضية يجب أن تبرهن على صحتها في جميع الظروف والحالات قبل أن يتم اعتبارها مبرهنة theorem رياضية. أما المقولة غير المبرهنة التي تلقى نوعا من الدعم التجريبي فتعرف بالحدسية conjecture. افتراضيا في جميع فروع الرياضيات، تكون البدهيات المفترضة هي بدهيات أي Zermelo–Fraenkel set theory (و هي نظرية مجموعات زيرميلو-فرينكل مع بدهيات الاختيار) ما لم يشار إلى بدهيات مختلفة. نظرية مجموعة زيرميلو-فرينكل تق (ar)
- En matemàtiques, una demostració, també dita prova, és un raonament lògic que estableix la veritat d'una proposició matemàtica. A partir d'axiomes (suposats vertaders per definició) o teoremes (altres proposicions matemàtiques demostrades a partir dels axiomes) i en aplicar regles d'inferència vàlides, hom mostra que una altra proposició també és vertadera. (ca)
- Στα μαθηματικά, απόδειξη είναι μια μη κενή διαδικασία (δηλαδή, είναι μία διαδικασία η οποία περιλαμβάνει ένα τουλάχιστον λογικό βήμα) η οποία επικυρώνει ότι κάποια είναι ορθή, μέσα στα αποδεκτά πλαίσια του πεδίου των μαθηματικών. Η απόδειξη παράγεται αναγωγικά και όχι . Δηλαδή, η απόδειξη πρέπει να δείχνει ότι μια πρόταση είναι αληθής για όλες τις περιπτώσεις που εφαρμόζεται, χωρίς καμία εξαίρεση. Μια πρόταση χωρίς απόδειξη για την οποία πιστεύεται ή υπάρχουν ισχυρές υποψίες ότι ισχύει, λέγεται εικασία. (el)
- Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit bzw. der Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man spricht daher auch von axiomatischen Beweisen. Umfangreichere Beweise von mathematischen Sätzen werden in der Regel in mehrere kleine Teilbeweise aufgeteilt, siehe dazu Satz und Hilfssatz. (de)
- Matematikan, bat egiaztatzeko erabiltzen den argudio deduktibo bat da froga edo frogapen bat. Argumentazioan aurretik ezarritako baieztapenak erabil daitezke, hala nola teoremak eta hasierako baieztapenak edo axiomak. Froga, printzipioz, funtsean frogarik behar ez duten baieztapenak lortu arte garatu daiteke, axioma izenekoak. Frogantzak dedukziozko arrazoibideen adibideak dira, eta indukzio bidezkoak eta enpirikoak bereizten dira. Frogapen batek baieztapen bat beti egiazkoa dela frogatu behar du (batzuetan, kasu posible guztiak zerrendatu eta horietako bakoitzean baliozkoa dela ikusita), eta ez kasu askotan onartzen dela. Egiazkotzat jotzen den frogatu gabeko baieztapen bati aieru deritzo. (eu)
- En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. (es)
- A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in all possible cases. A proposition that has not been proved but is (en)
- En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle. Les prémisses sont soit des axiomes, soit des propositions déjà obtenues comme conclusions de l'application d'autres règles. Une proposition qui est la conclusion de l'étape ultime d'une démonstration est un théorème. (fr)
- 수학에서 증명(證明, 영어: proof)은 특정한 공리들을 가정하고, 그 가정 하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다. (특정한 공리는 별다른 언급이 없으면 선택 공리를 추가한 체르멜로-프렝켈 집합론으로 가정한다.) 증명은 논리를 통해 이루어져야 하지만 일반적으로 자연어를 포함하게 되며, 따라서 애매한 부분을 포함하기도 한다. 실제로 수학에서 대부분의 증명은 비형식 논리를 통해 이루어진다. 순수 형식논리를 통한 증명은 증명이론에서 다룬다. 형식적인 증명과 비형식적인 증명 사이의 구별은 형식주의에 철저히 입각해 있건 그렇지 않건, 참이라는 것이 밝혀진 명제는 정리라고 한다. 정리는 그 정의로서 참이라고 밝혀졌기에 다른 명제를 증명하는 데 사용할 수 있다. 증명 기법에는 다음과 같은 것들이 있다. 은 확률론적 방법을 동원해 어떤 예제가 존재함을 보이는 것이다. 이것은 어떤 명제가 참이라는 것을 '확률적'으로 보이는 것과 전혀 다르며, 명제가 참일 확률을 계산하는 것과 실제로 그것을 증명하는 것은 거리가 멀다는 것을 콜라츠 추측을 통해 알 수 있다. 참일 것으로 추정하지만 아직 참이라는 것이 밝혀지지 않은 명제는 추측이라고 한다. (ko)
- Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и (ru)
- Ett bevis eller mer generellt en härledning, är en följd av slutledningar, vilka från bestämda axiom och givna premisser leder fram till en slutsats. I matematiken kallas ett påstående som formellt kan bevisas, för ett teorem eller en sats. Ett matematiskt bevis kan inte jämföras med bevis i andra vetenskaper, vars grundsatser kan förändras. (sv)
|
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)