Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064724n
Noun Concept
Categories: Théorie de la démonstration, Langage formel
FR
démonstration formelle  preuve
FR
Une démonstration formelle est une séquence finie de propositions dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. Wikipedia
Definitions
Relations
Sources
FR
Une démonstration formelle est une séquence finie de propositions dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. Wikipedia
IS A
argument
document
HAS PART
théorème
HAS KIND
démonstration
preuve
démonstration
EN
direct proof
quantification
HAS INSTANCE
EN
Hagen–Poiseuille flow from the Navier–Stokes equations
CATEGORY DOMAIN
logique
mathématiques
SAID TO BE THE SAME AS
démonstration
French (WOLF) Open Multilingual WordNet
FR
preuve
Wikipedia
FR
démonstration formelle
Wikidata
FR
démonstration formelle
WordNet Translations
FR
preuve

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License