| Information | |
|---|---|
| has gloss | eng: A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system. The notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concept of natural deduction is a generalization of the concept of proof. |
| lexicalization | eng: formal proof |
| instance of | (noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof |
| Meaning | |
|---|---|
| Arabic | |
| has gloss | ara: في الفلسفة أو المنطق، البرهان Proof عملية استدلال تهدف إلى تأكيد صدق (أو كذب) قضية ما. والاستدلالات التي يبنى عليها البرهان، والتي تترتب عليها القضية منطقياً تسمى الحجج. ويفترض في الحجج أنها صادقة ولا تتضمن مقدمات تفترض القضية المراد البرهنة عليها، وإلا كانت النتيجة مصادرة على المطلوب. والبرهان الذي يقيم صدق القضية يسمى برهاناً فحسب، أما البرهان الذي يقيم كذب القضية فيسمى تفنيداً. |
| lexicalization | ara: برهان فلسفي |
| German | |
| has gloss | deu: Ein axiomatischer Beweis ist ein Beweis in einem axiomatischen Kalkül, das heißt ein Nachweis dafür, dass die zu beweisende Aussage alleine aus den Axiomen des jeweiligen Kalküls folgt. Jede Zeile eines axiomatischen Beweises ist entweder eine Einsetzungsinstanz eines Axioms oder das Ergebnis der Anwendung einer Schlussregel des jeweiligen Kalküls auf eine oder mehrere der vorangehenden Zeilen des Beweises. |
| lexicalization | deu: Axiomatischer Beweis |
| French | |
| has gloss | fra: Une preuve est un argument étayé visant à établir une conclusion. Il existe deux types de preuves épistémologiquement considérées comme valides : *Les preuves basées sur la déduction qui ont un caractère absolu ou certain pour autant que lon respecte leurs hypothèses de départ. *Les preuves basées sur linduction qui ne sont vraies quavec une certaine probabilité dont lestimation dépend des connaissances disponibles (par exemple, lestimation de la probabilité quune pièce tombe sur un de ses côtés ne sera pas la même sil est établi à lavance que la pièce est truquée). |
| lexicalization | fra: preuve |
| Italian | |
| has gloss | ita: La dimostrazione è una serie di ragionamenti logici che, partendo da una ipotesi, arrivano a dimostrare una tesi. |
| lexicalization | ita: dimostrazione |
| Dutch | |
| has gloss | nld: Onder formeel bewijs wordt in de formele wetenschap een eindige reeks proposities (in het geval van formele taal spreekt men van goedgevormde formules) binnen het kader van de beschrijving van formele systemen verstaan, waarbij elk axioma door middel van afleidingsregels uit de vorige of voorafgaande propositie kan worden afgeleid. De afgeleide propositie heet een stelling. Het afleiden van een stelling wordt beschouwd als een logisch gevolg van de voorafgaande formules. Een logische consequentie is het resultaat van het deductieve systeem van een formeel systeem. |
| lexicalization | nld: formeel bewijs |
| Polish | |
| has gloss | pol: Dowodzenie jest to jednen z głównych rodzajów rozumowania obok wnioskowania, sprawdzania i wyjaśniania. Kazimierz Ajdukiewicz definiuje dowodzenie jako "proces myślowy polegający na rozwiązywaniu zadania, które domaga się, by pewne zdanie całkowicie dane w samym zadaniu wywnioskować ze zdań innych, już uprzednio uznanych'". Inaczej mówiąc dowodzenie jest to zadanie zawarte w zdaniu rozkazującym o postaci : „wykaż, że a jest b!”. Rozwiązanie tego zadania wymaga m.in. inferencji (wnioskowania), która jest składową dowodzenia. Jednym słowem dowodzeniem nazwiemy zabieg konstruowania danego dowodu. |
| lexicalization | pol: dowodzenie |
| lexicalization | pol: Dowód |
| Moldavian | |
| has gloss | ron: O dovadă este derivarea corectă din punct de vedere logic a unei afirmaţii din alte afirmaţii sau argumente (adevărate). |
| lexicalization | ron: Dovadă |
| Swedish | |
| has gloss | swe: Bevis är någonting som visar sanningshalten i ett påstående. |
| lexicalization | swe: bevis |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint