| rdfs:comment
| - المبرهنة (باللاتينية: Theorema) هي تقرير غير مُسلّم أُثبِتت صِحتّه بناءً على مُسلّمات علمية أو رياضية أو منطقية. تُعرَفُ المبرهنةُ في الرياضيات على أنّها الأساس للاستنتاج والحقائق الرياضية. المبرهنات بشكل عام تحتاج إلى تأسيس، عدد من الشروط التي يجب أن تذكر وتحقق قبل ذكر المبرهنة، عندئذ تكون المبرهنة استنتاجا لهذه الشروط، فتكون المبرهنة عبارة رياضية صحيحة عند تحقق الشروط المذكورة. ومع ان البرهان الرياضي ضروري في حال المبرهنات فإنه لا يعد جزءا من المبرهنة. (ar)
- Teorema eragiketa eta froga matematikoak erabiliz egiazkotzat jotzen diren baieztapenak dira. Teorema bat egiaztatzeko teoremaren frogapena egin behar da. Oro har, teorema guztiek bi atal izaten dituzte: hipotesiak, baieztapena betetzeko behar diren baldintzen multzoa alegia; eta ondorioa edo baieztapena bera, hipotesi edo baldintzetatik eratortzen dena. Teorema batzuk printzipio orokorrak ezartzen dituzte, baina beste batzuk oso baldintza zehatzetarako egiaztatzen dira. Beste alde batetik, teoremek baieztatzen dituzten printzipioak modu lojiko eta koherente batez osatzen dira eta horrela, teoria zientifikoen garapenerako funtsezko tresna dira. (eu)
- En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou ) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation. (fr)
- ( 다른 뜻에 대해서는 정리 (동음이의) 문서를 참고하십시오.) 정리(定理)는 철학이나 또는 논리학 특히 수학에서 정의나 공리에 의해 가정(assumption)으로부터 이미 진리로서 증명된 명제를 말한다. 좁은 의미로는, 그와 같은 명제들 중에서 중요한 일반 명제만을 일컫는다. 이런 의미에서의 정리를 증명하기 위해 사용되는 보조적인 명제를 보조정리(lemma)라 하고, 정리로부터 쉽게 도출되는 부가적인 명제를 따름정리(corollary)라 한다. (ko)
- Un teorema è una proposizione che, a partire da condizioni iniziali arbitrariamente stabilite, trae delle conclusioni, dandone una dimostrazione. I teoremi svolgono un'importantissima funzione nella matematica, nella logica, in alcune filosofie (per esempio in Parmenide e Spinoza) e in generale in tutte le discipline formali. Teorema in greco significa: ciò che si guarda, su cui si specula (θεώρημα); sul piano etimologico ha la medesima derivazione di teoria (dal verbo θεωρέω theoréo, "guardo, osservo, contemplo"). (it)
- 定理（ていり、英: theorem）とは、数理論理学および数学において、証明された真なる命題をいう。 (ja)
- En sats eller ett teorem (av grekiska θεωρέω, theoreo, "betrakta", "skåda") är ett matematiskt eller logiskt påstående, som är bevisat. Begreppet syftar vanligtvis på ett huvudresultat inom en viss teori. Beviset beskriver hur satsen logiskt följer från teorins axiom. (sv)
- 定理（英語：Theorem）是經過受邏輯限制的證明為真的陈述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷多，它们在任何时刻都无区别地成立，而没有一个例外。（例如：某些是，某些是，就不能算是定理）。 猜想是相信為真但未被證明的數學敘述，或者叫做命题，當它經過證明後便是定理。猜想是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成為猜想的過程，成為定理。 如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理系統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。 在命題邏輯，所有已證明的敘述都稱為定理。 (zh)
- En matemàtiques, un teorema és una clàusula o proposició que es pot demostrar vertadera en un marc lògic determinat, format, per exemple, per altres teoremes, i per enunciats generalment acceptats, com els axiomes. Un teorema és una conseqüència lògica dels axiomes. La demostració de teoremes és una activitat central en matemàtiques, i consisteix en un argument lògic de l'enunciat del teorema, basat en les regles d'un sistema deductiu. La demostració d'un teorema s'acostuma a interpretar com una justificació de la veracitat de l'enunciat del teorema. Segons la manera en què es demostren els teoremes, el concepte de teorema és fonamentalment deductiu, en contrast amb la noció d'una llei científica, que és experimental. (ca)
- V matematice se jako věta označuje důležité netriviální a dostatečně obecné tvrzení neboli výrok. Aby se však takové tvrzení dalo považovat za větu, je třeba podat jeho důkaz, to znamená logickým postupem ho odvodit z definic, axiomů a z již dříve dokázaných vět. Důkaz se za součást věty nepovažuje, a k jedné větě může existovat i více různých důkazů. Přesto je dokazování různých tvrzení jednou ze základních metod práce matematiků. Důkaz totiž hraje v matematice a logice podobnou roli jako experiment v empirických vědách: pomáhá odlišit hypotézy, domněnky a nesmysly od nesporné jistoty. (cs)
- Στα μαθηματικά, ένα θεώρημα είναι μια πρόταση που αποδεικνύεται με βάση προηγουμένως αποδεκτές ή αποδεδειγμένες προτάσεις όπως τα αξιώματα. Στην τυπική μαθηματική λογική, η έννοια θεώρημα μπορεί να ερμηνευθεί ως μια που μπορεί να σύμφωνα με τους συμπερασματικούς κανόνες ενός συγκεκριμένου τυπικού συστήματος. Οι προτάσεις μιας θεωρίας όπως εκφράζονται σε μια τυπική γλώσσα ονομάζονται τα στοιχειώδη θεωρήματά της, και λέγεται ότι είναι αληθή. (el)
- Ein Satz oder Theorem ist in der Mathematik eine widerspruchsfreie logische Aussage, die mittels eines Beweises als wahr erkannt, das heißt, aus Axiomen, Definitionen und bereits bekannten Sätzen hergeleitet werden kann. Ein Satz wird nach seiner Rolle, seiner Bedeutung oder seinem Kontext oft auch anders bezeichnet. Innerhalb eines Artikels oder einer Monografie (z. B. einer Dissertation oder einem Lehrbuch) verwendet man (de)
- Teoremo estas matematika aserto, kiun oni demonstras pere de aliaj jam akceptitaj asertoj. Por pruvi teoremon, oni uzas nociojn, aksiomojn, postulatojn, antaŭe pruvitajn teoremojn kaj lemojn (malpli gravajn teoremojn). Ĉiu branĉo de matematiko konsistas el aro da teoremoj pruvitaj unu post alia. Lemo estas helpa aserto, uzata por pruvi aliajn asertojn. La vorto devenas de la greka vorto kun la signifo "supozo". La terminon enkondukis geometroj de la antikva Grekujo; plejofte ĝi estis uzata en la verkoj de Arkimedo. Vidu ankaŭ: Aksiomo kaj Formulo. (eo)
- Un teorema es una proposición cuya verdad se demuestra. En matemáticas, es toda proposición que, partiendo de un supuesto (hipótesis), afirma una racionabilidad (tesis) no evidente por sí misma. También puede decirse que un teorema es una fórmula bien formada que puede ser demostrada dentro de un sistema formal, partiendo de axiomas, noción y otros teoremas. Demostrar teoremas es un asunto central en la lógica matemática. Los teoremas también pueden ser expresados en lenguaje natural formalizado. (es)
- Tairiscint a chruthaítear trí dhéaduchtú loighciúil ó roinnt prionsabal a nglactar leo roimh ré is ea Teoirim. Tá teoirimí geoiméadracha ar eolas go forleathan, ach bíonn teoirimí i ngach réimse den mhatamaitic. Tugtar léamh ar theoirim shimplí a chruthaítear is a úsáidtear ansin chun cruthú teoirime eile a fhorbairt. Más teoirim í go gciallaíonn ráiteas p ráiteas q, is é coinbhéarta na teoirime go gciallaíonn ráiteas q ráiteas p. (ga)
- Teorema adalah sebuah pernyataan, sering dinyatakan dalam bahasa alami, yang dapat dibuktikan atas dasar asumsi yang dinyatakan secara eksplisit ataupun yang sebelumnya disetujui. Dalam logika, sebuah teorema adalah pernyataan dalam bahasa formal yang saat diturunkan dengan mengaplikasikan aturan inferensi dan aksioma dari sebuah sistem deduktif. Teorema dari sejumlah fungsi memiliki nama lain: Banyak matematikawan yang juga menggunakan nama lain untuk teorema, seperti postulat, , dll. (in)
- In mathematics, a theorem is a statement that has been proved, or can be proved. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. As the axioms are often abstractions of properties of the physical world, theorems may be considered as expressing some truth, but in contrast to the notion of a scientific law, which is experimental, the justification of the truth of a theorem is purely deductive. (en)
- In de wiskunde is een stelling (ook theorema, propositie of these) een bewering, die op basis van axioma's en eerder bewezen beweringen is bewezen. Om een stelling te bewijzen gebruikt men in de wiskunde de regels van de logica. De afleiding van een stelling wordt vaak geïnterpreteerd als een bewijs van de waarheid van de resulterende uitdrukking, maar, afhankelijk van de betekenis van de afleidingsregels kunnen verschillende deductieve systemen verschillende interpretaties opleveren. Stellingen hebben twee componenten, die respectievelijk de hypothesen en de conclusies worden genoemd. Het bewijs van een wiskundige stelling is een logische redenering, waaruit blijkt dat de conclusies een noodzakelijke gevolgtrekking op basis van de hypothesen zijn, in de zin dat als de hypothesen waar zijn (nl)
- Twierdzenie – sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy relacja implikacji. Pierwszy zbiór zdań określa ściśle warunki dla których dane twierdzenie jest spełnione i nazywa się założeniem twierdzenia, a drugi zbiór zdań jest właściwym sądem, będącym istotną treścią wypowiadanego twierdzenia i zwany jest tezą twierdzenia.
* założenie – dla każdego m należącego do zbioru liczb naturalnych i podzielnego przez sześć,
* teza – m jest podzielne przez trzy. (pl)
- Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas. Prova é o processo de mostrar que um teorema está correto. O termo teorema foi introduzido por Euclides, em Elementos, para significar "afirmação que pode ser provada". Em grego, originalmente significava "espetáculo" ou "festa". Atualmente, é mais comum deixar o termo "teorema" apenas para certas afirmações que podem ser provadas e de grande "importância "matemática", o que torna a definição um tanto subjetiva. (pt)
- Теоре́ма — (др.-греч. Θεώρημα, от др.-греч. Θεώρηώ — рассуждаю) математическое утверждение, истинность которого установлена путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы). Прокл Диадох в «Комментарии к I книге Начал Евклида» писал, что Зенодот отличает от задачи: «теорема исследует, каков отличительный признак соответствующей ей материи, а задача — каково некое сущее». (ru)
- Теоре́ма (грец. θεώρημα — «вигляд, уявлення, положення») — твердження у математиці, для якого в теорії, що розглядається, існує доказ (інакше кажучи, доведення). Вихідним пунктом для теорем є аксіоми, які приймаються істинними без всяких доказів або обґрунтувань. У деяких випадках близькі до теорем за значимістю твердження залежно від їхнього вмісту можуть також називатися критеріями, умовами, формулами тощо. (uk)
|
.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[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)