Preferred language:

This is the default search language used by BabelNet
Select the main languages you wish to use in BabelNet:
Selected languages will be available in the dropdown menus and in BabelNet entries
Select all

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

all preferred languages
    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: براهين, مصادر المعلومات, مصطلحات رياضيات, منطق رياضي

  برهان رياضي · البرهان الرياضى · البرهنة الرياضية · Mathematical proof

في الرياضيات، البرهان عبارة عن إثبات، يستند على بديهيات axiom معينة، لعبارة رياضية أو علاقة رياضية بأنها صحيحية منطقيا حكما في ظل هذه المجموعة من البدهيات. Wikipedia

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: 几何术语, 数学推理

  证明 · 数学证明

在数学上,证明是在一个特定的公理系统中,根据一定的规则或标准,由公理和定理推导出某些命题的过程。 Wikipedia

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: Commons category link from Wikidata, Mathematical logic, Mathematical proofs, Mathematical terminology...

  mathematical proof · proof · Proof Techniques · Computer proof · Essential step

Proof of a mathematical theorem WordNet

More definitions


A mathematical proof is an inferential argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. Wikipedia
A convincing demonstration that some mathematical statement is necessarily true Wikipedia (disambiguation)
Rigorous demonstration that a mathematical statement follows from its premises and assumed axioms Wikidata

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: Méthode de démonstration, Philosophie de la connaissance, Philosophie de la logique, Raisonnement mathématique...

  Démonstration (logique et mathématique)   · démonstration mathématique · Démonstration Directe · Preuve mathématique · Preuve (mathématiques)

En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Wikipedia

More definitions


Établissement d''une proposition mathématique à partir d''axiomes et de règles de déduction Wikidata

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: Beweis (Mathematik), Mathematischer Grundbegriff

  Beweis (Mathematik)   · Axiomatischer Beweis · Mathematischer Beweis · Mathematisches Beweisen · Beweismethoden

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. Wikipedia

More definitions


Mathematische Bestätigung einer Aussage Wikidata

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: Μαθηματικές αποδείξεις, Μαθηματική λογική, Μαθηματική ορολογία

  Μαθηματική απόδειξη · Απόδειξη

Στα μαθηματικά, απόδειξη είναι μια διαδικασία που επικυρώνει ότι κάποια μαθηματική πρόταση είναι ορθή, μέσα στα αποδεκτά πλαίσια του πεδίου των μαθηματικών. Wikipedia

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: הוכחה, הוכחות, פילוסופיה של המדע

  הוכחה

במתמטיקה ובלוגיקה הוכחה היא סדרה סופית של טענות הנובעות זו מזו בעזרת כללי היסק, תוך שימוש בהגדרות, באקסיומות, ובידע קודם שהוכח קודם לכן, המראה שטענה מסוימת היא נכונה. Wikipedia

More definitions


סדרה של טענות הנובעות זו מזו ומגובות בהגדרות ואקסיומות Wikidata

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: गणितीय शब्दावली

  गणितीय उपपत्ति

गणित में उपपत्ति अथवा गणितीय उपपत्ति एक गणितीय कथन के लिए निगमनात्मक तर्क है। तर्क में पूर्व से स्थापित शब्द जैसे प्रमेय आदि का उपयोग किया जा सकता है। Wikipedia

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: Dimostrazioni matematiche, Logica matematica

  Dimostrazione matematica · Dimostrazione (matematica)

Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della coerenza formale del ragionamento. Wikipedia

More definitions


Processo di deduzione Wikidata

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: 数学的証明, 数学に関する記事, 方法論, 正当化...

  証明 · 立証 · 裏付 · 裏付け · 證明

証明(しょうめい)とは、ある事柄が真理もしくは事実であることを明らかにすること。 Wikipedia

More definitions


数学の定理の証明 Japanese WordNet

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: Cite web (не указан язык), Математическая логика

  Математическое доказательство · доказательство

Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения, цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. Wikipedia

More definitions


Цепочка логических умозаключений, показывающая, что при каком-то наборе аксиом и правил вывода верно некоторое утверждение Wikidata

    •     bn:00053828n     •     NOUN     •     Concept    •     Updated on 2019/10/20     •     Categories: Demostraciones matemáticas, Lógica matemática, Teoría de la demostración, Terminología matemática

  demostración · prueba matemática · comprobación · demostracion matematica · Demostración en matemática

En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. Wikipedia

More definitions


Razonamiento realizado con una lógica válida Wikidata
Prueba de un matemático teorema. Multilingual Central Repository


 

Translations

برهان رياضي, البرهان الرياضى, البرهنة الرياضية, Mathematical proof, البرهان الرياضي, الدليل الرياضي
证明, 数学证明, 数 学 证 明, 证 明
mathematical proof, proof, Proof Techniques, Computer proof, Essential step, math proof, Mathematical proofs, Mathing, Maths proofs, Methods of proof, Proof method, Proving, Skipped step, Theorem-proving, TheoremProving, Two-column proof, Types of proof
démonstration, démonstration mathématique, Démonstration Directe, Preuve mathématique, Preuve, Demonstration, Demonstration directe, Démonstrations mathématiques, Indémontrable, Preuves mathématiques
beweis, Axiomatischer Beweis, Mathematischer Beweis, Mathematisches Beweisen, beweismethoden, beweisprinzip, beweistechnik, beweisverfahren, direkter beweis, mathematische beweismethode, mathematischen beweis
μαθηματική απόδειξη, απόδειξη
הוכחה, הוכחה מתמטית
गणितीय उपपत्ति, गणितीय सबूत, सबूत
dimostrazione matematica, dimostrazione, prova
証明, 立証, 裏付, 裏付け, 證明, 数学的証明
математическое доказательство, доказательство
demostración, prueba matemática, comprobación, demostracion matematica, Demostración en matemática, demostración matemática, verificación, Demostracion matemática, Demostraciones matematicas, Demostraciones matemáticas, Demostración matematica, Demostrar, Prueba matematica, prueba

Sources

WordNet senses

Multilingual Central Repository senses

comprobación, prueba matemática, verificación

WOLF senses

démonstration

Translations from Wikipedia sentences

البرهان الرياضي
数 学 证 明, 证 明
preuve, preuve mathématique
beweis, mathematischen beweis
απόδειξη, μαθηματική απόδειξη
הוכחה מתמטית
गणितीय सबूत, सबूत
dimostrazione matematica, prova
доказательство
prueba, prueba matemática

Translations from SemCor sentences or monosemous words

الدليل الرياضي
数学证明
preuve mathématique
mathematischen beweis
μαθηματική απόδειξη
הוכחה מתמטית
गणितीय सबूत
dimostrazione matematica
数学的証明
математическое доказательство
prueba matemática
5 sources | 9 senses
5 sources | 8 senses
4 sources | 23 senses
6 sources | 17 senses
5 sources | 17 senses
5 sources | 7 senses
4 sources | 4 senses
4 sources | 5 senses
5 sources | 6 senses
4 sources | 7 senses
5 sources | 6 senses
6 sources | 19 senses

Compounds

BabelNet

proof by induction, proof system, direct proof, rigorous proof, direct Proof, scientific proof, Visual proof, mathematical proofs, computer-aided proof
mathematische Beweismethode
demostraciones matemáticas

Other forms

BabelNet

البرهان, البراهين, برهان
mathematical, proven mathematically, Proofs, proven, proved, prove, formal proof, proofs
démontré, démontrée, démontre, prouvé, preuves, démontrer
beweisen, Beweisen, Beweismethode, bewiesen, mathematischen Beweises, mathematischen Beweisen, mathematischer Beweis, mathematische Beweise, bewies, mathematischen Beweis, Beweise, Beweises
μαθηματικής απόδειξης, αποδείξεων, αποδείξεις, μαθηματικών αποδείξεων, μαθηματικές αποδείξεις
הוכיח, הוכחות, מוכחות, הוכח, מוכיחים, הוכחות מתמטיות, הוכחתו, להוכיח, הוכחת
dimostrazioni, dimostrazioni matematiche, dimostrato
доказательства, доказательству, математического доказательства, доказать, доказательством
probar, demostrado, demostraciones, demostración, demostrarse

External Links