This HTML5 document contains 226 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-nohttp://no.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-jahttp://ja.dbpedia.org/resource/
n32https://www.pourlascience.fr/sr/logique-calcul/
n30http://lt.dbpedia.org/resource/
dbpedia-ochttp://oc.dbpedia.org/resource/
dbpedia-pnbhttp://pnb.dbpedia.org/resource/
dbpedia-lahttp://la.dbpedia.org/resource/
n101http://gcr.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
n80https://www.britannica.com/topic/
dbpedia-svhttp://sv.dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-behttp://be.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
n13http://g.co/kg/m/
n91http://ckb.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
dbpedia-afhttp://af.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n66http://vocabulary.curriculum.edu.au/scot/
dbpedia-cyhttp://cy.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-skhttp://sk.dbpedia.org/resource/
n43http://lv.dbpedia.org/resource/
dbpedia-glhttp://gl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-alshttp://als.dbpedia.org/resource/
n28http://pa.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n31http://yi.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-anhttp://an.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
n93http://cv.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-shhttp://sh.dbpedia.org/resource/
n33http://tl.dbpedia.org/resource/
n20http://hyw.dbpedia.org/resource/
dbpedia-ithttp://it.dbpedia.org/resource/
n51http://ast.dbpedia.org/resource/
n106http://as.dbpedia.org/resource/
dbpedia-simplehttp://simple.dbpedia.org/resource/
dbpedia-ndshttp://nds.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
dbpedia-nnhttp://nn.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n36http://jam.dbpedia.org/resource/
dbpedia-bghttp://bg.dbpedia.org/resource/
n56http://wuu.dbpedia.org/resource/
n99http://tt.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n92http://ta.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
dbpedia-hehttp://he.dbpedia.org/resource/
n5http://scn.dbpedia.org/resource/
n89https://www.quora.com/topic/
dbpedia-frhttp://fr.dbpedia.org/resource/
n18http://ia.dbpedia.org/resource/
n70http://ma-graph.org/entity/
n47http://fr.dbpedia.org/resource/Fichier:
n78http://ps.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-warhttp://war.dbpedia.org/resource/
dbpedia-kahttp://ka.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n82http://ml.dbpedia.org/resource/
n110https://gallica.bnf.fr/ark:/12148/bpt6k90195m/
n27http://gan.dbpedia.org/resource/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-srhttp://sr.dbpedia.org/resource/
n37http://ba.dbpedia.org/resource/
n83http://ur.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n90http://www.cultureelwoordenboek.nl/wiskunde/
dbpedia-swhttp://sw.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n48http://jbo.dbpedia.org/resource/
n19http://fr.dbpedia.org/resource/Modèle:
dbpedia-euhttp://eu.dbpedia.org/resource/
dbpedia-azhttp://az.dbpedia.org/resource/
dbpedia-ishttp://is.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-dahttp://da.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
n103http://bn.dbpedia.org/resource/
dbpedia-slhttp://sl.dbpedia.org/resource/
dbpedia-kkhttp://kk.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n35http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-sqhttp://sq.dbpedia.org/resource/
n58http://bs.dbpedia.org/resource/
dbpedia-frrhttp://frr.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n68http://ark.frantiq.fr/ark:/26678/pcrtdtgqtlY6sa/
n73http://si.dbpedia.org/resource/
n42http://rue.dbpedia.org/resource/
n102http://hy.dbpedia.org/resource/
n96http://hi.dbpedia.org/resource/
dbpedia-mshttp://ms.dbpedia.org/resource/
n49https://commons.wikimedia.org/wiki/Category:
category-frhttp://fr.dbpedia.org/resource/Catégorie:

Statements

Subject Item
dbpedia-fr:Démonstration_(logique_et_mathématique)
rdfs:label
Pruweba panmatematika برهان رياضي Dimostrazione matematica 數學證明 Demostración en matemática Démonstration (logique et mathématique) Beweis (Mathematik) Prova matemática Demostración matematica Froga matematiko Dowód (matematyka)
rdfs:comment
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.
rdfs:seeAlso
n49:Mathematical_proof n68: n80:proof-theory n89:Proofs-mathematics n90:bewijs
owl:sameAs
n5:Dimustrazzioni_matimàtica dbpedia-pl:Dowód_(matematyka) dbpedia-da:Bevis_(matematik) dbpedia-af:Bewys dbpedia-sr:Математички_доказ n13:0l46k dbpedia-war:Pruweba_panmatematika dbpedia-nn:Matematisk_bevis dbpedia-ko:증명_(수학) n18:Prova_mathematic n20:Մաթեմաթիկական_ապացոյց dbpedia-eu:Froga_matematiko dbpedia-cy:Prawf_mathemategol dbpedia-no:Matematisk_bevis dbpedia-sw:Thibitisho_la_kihisabati dbpedia-ar:برهان_رياضي dbpedia-id:Pembuktian_matematika n27:數學證明 n28:ਗਣਿਤਕ_ਸਬੂਤ dbpedia-nl:Wiskundig_bewijs n30:Matematinis_įrodymas n31:מאטעמאטישער_דערווייז n33:Pang-matematikang_patibay n36:Matimatikal_pruuf n37:Математик_иҫбатлау dbpedia-gl:Proba_matemática dbpedia-als:Beweis_(Mathematik) dbpedia-th:การพิสูจน์เชิงคณิตศาสตร์ dbpedia-fa:اثبات_ریاضی n42:Математічне_доказательство n43:Matemātisks_pierādījums dbpedia-frr:Bewis dbpedia-vi:Chứng_minh_toán_học dbpedia-ru:Математическое_доказательство n48:cipra dbpedia-es:Demostración_en_matemática n51:Demostración_matemática wikidata:Q11538 dbpedia-ja:証明_(数学) dbpedia-cs:Matematický_důkaz dbpedia-el:Μαθηματική_απόδειξη n56:证明 dbpedia-ka:მათემატიკური_დამტკიცება n58:Matematički_dokaz dbpedia-sq:Provat_matematikore dbpedia-mk:Математички_доказ dbpedia-he:הוכחה dbpedia-sk:Dôkaz_(matematika) dbpedia-ca:Demostració_(matemàtiques) n66:7777.rdf dbpedia-simple:Mathematical_proof dbpedia-uk:Доведення n70:108710211 dbpedia-ro:Demonstrație_matematică dbpedia-hr:Matematički_dokaz n73:ගණිතමය_ඔප්පු_කිරීම් dbpedia-sl:Matematični_dokaz dbpedia-ms:Bukti_matematik dbpedia-nds:Bewies_(Mathematik) dbpedia-de:Beweis_(Mathematik) n78:ریاضیکي_ثبوت dbpedia-tr:Matematiksel_ispat dbpedia-sv:Matematiskt_bevis n82:തെളിവ്_ഗണിതശാസ്ത്രത്തിൽ n83:ریاضیاتی_ثبوت dbpedia-is:Stærðfræðileg_sönnun dbpedia-bg:Математическо_доказателство dbpedia-eo:Matematika_pruvo dbpedia-oc:Demostracion_matematica dbr:Mathematical_proof n91:سەلماندن_(ماتماتیک) n92:கணித_நிறுவல் n93:Ĕнентерӳ_(математика) dbpedia-pnb:میتھمیٹیکل_ثبوت dbpedia-hu:Matematikai_bizonyítás n96:गणितीय_उपपत्ति dbpedia-sh:Dokaz_(matematika) dbpedia-be:Матэматычны_доказ n99:Математик_исбатлау dbpedia-fi:Matemaattinen_todistus n101:Démonstrasyon n102:Մաթեմատիկական_ապացույց n103:গাণিতিক_প্রমাণ dbpedia-an:Demostración_matematica dbpedia-az:Riyazi_isbat n106:গাণিতিক_প্ৰমাণ dbpedia-pt:Prova_matemática dbpedia-zh:數學證明 dbpedia-la:Demonstratio_mathematica dbpedia-it:Dimostrazione_matematica dbpedia-kk:Дәлелдеу
dbo:wikiPageID
20686
dbo:wikiPageRevisionID
191466607
dbo:wikiPageWikiLink
dbpedia-fr:Contre-exemple dbpedia-fr:Jean-Paul_Delahaye dbpedia-fr:Augustin_Louis_Cauchy dbpedia-fr:Barry_Mazur category-fr:Méthode_de_démonstration dbpedia-fr:Preuve_par_double_dénombrement dbpedia-fr:Preuve_par_bijection dbpedia-fr:Dernier_théorème_de_Fermat dbpedia-fr:Preuve dbpedia-fr:Preuve_combinatoire dbpedia-fr:Richard_Taylor_(mathématicien) dbpedia-fr:Théorie_axiomatique dbpedia-fr:Preuve_sans_mots dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Crise_des_fondements dbpedia-fr:Birkhäuser_Verlag dbpedia-fr:Proposition_contraposée dbpedia-fr:Apodictique n47:P._Oxy._I_29.jpg dbpedia-fr:Méthode_probabiliste dbpedia-fr:Anglais dbpedia-fr:Propriété_universelle dbpedia-fr:Déduction_naturelle dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:Argumentation dbpedia-fr:Raisonnement_par_récurrence dbpedia-fr:Raisonnement_par_analyse-synthèse dbpedia-fr:Raisonnement_par_disjonction_de_cas dbpedia-fr:Pour_la_science dbpedia-fr:Raisonnement dbpedia-fr:CQFD_(mathématiques) category-fr:Raisonnement_mathématique dbpedia-fr:Entier_naturel dbpedia-fr:Euclide dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Hypothèse_du_continu dbpedia-fr:Système_axiomatique dbpedia-fr:Mathématiques dbpedia-fr:Mathématicien dbpedia-fr:Heuristique dbpedia-fr:Style_de_Fitch_pour_la_déduction_naturelle dbpedia-fr:Assistant_de_preuve category-fr:Théorie_de_la_démonstration dbpedia-fr:Synonymie dbpedia-fr:Axiome dbpedia-fr:John_Horton_Conway dbpedia-fr:John_Coates dbpedia-fr:Théorie_des_probabilités dbpedia-fr:Démonstration_comparative dbpedia-fr:Arbre_(combinatoire) dbpedia-fr:Démonstration_constructive dbpedia-fr:Démonstration_automatique_de_théorèmes dbpedia-fr:Logique dbpedia-fr:Axiome_des_parallèles dbpedia-fr:Axiome_du_choix dbpedia-fr:Axiomes_de_Hilbert dbpedia-fr:Simon_Singh dbpedia-fr:Éléments_(Euclide) dbpedia-fr:Ensemble_bien_ordonné dbpedia-fr:Théorème dbpedia-fr:Kenneth_Alan_Ribet dbpedia-fr:David_Hilbert category-fr:Philosophie_de_la_logique dbpedia-fr:Démonstration_formelle category-fr:Philosophie_de_la_connaissance dbpedia-fr:Théorème_des_valeurs_intermédiaires dbpedia-fr:Correction_(logique) dbpedia-fr:Logique_mathématique dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Règle_d'inférence
dbo:wikiPageExternalLink
n32:du-flou-et-du-faux-en-mathematiques-20095.php n110:f12 n110:f54
dbo:wikiPageLength
15862
dct:subject
category-fr:Théorie_de_la_démonstration category-fr:Méthode_de_démonstration category-fr:Philosophie_de_la_connaissance category-fr:Philosophie_de_la_logique category-fr:Raisonnement_mathématique
prop-fr:wikiPageUsesTemplate
n19:Google_Livres n19:Lien n19:Refsou n19:XVIIe n19:… n19:Article n19:Portail n19:Citation n19:Article_détaillé n19:S- n19:Référence_nécessaire n19:Références n19:Ouvrage n19:Voir_homonymes n19:Notes
prov:wasDerivedFrom
wikipedia-fr:Démonstration_(logique_et_mathématique)?oldid=191466607&ns=0
foaf:depiction
n35:P._Oxy._I_29.jpg n35:Cauchy_théorème_des_valeurs_intermédiaires_1.png n35:Cauchy_théorème_des_valeurs_intermédiaires_2.png
prop-fr:année
2015
prop-fr:auteur
dbpedia-fr:Jean-Paul_Delahaye
prop-fr:date
octobre 2020
prop-fr:fr
Papyrus_Oxyrhynchus_29
prop-fr:langue
en
prop-fr:numéro
516
prop-fr:pages
80
prop-fr:présentationEnLigne
n32:du-flou-et-du-faux-en-mathematiques-20095.php
prop-fr:périodique
dbpedia-fr:Pour_la_science
prop-fr:texte
P. Oxy. 29
prop-fr:titre
Why Prove it Again? : Alternative Proofs in Mathematical Practice Du flou et du faux en mathématiques
prop-fr:trad
Papyrus_Oxyrhynchus_29
prop-fr:éditeur
dbpedia-fr:Birkhäuser_Verlag
dbo:thumbnail
n35:P._Oxy._I_29.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Démonstration_(logique_et_mathématique)
dbo:abstract
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. Le terme « preuve » est parfois employé comme un synonyme de « démonstration » par attraction de l'anglais proof[réf. souhaitée]. La démonstration est foncièrement différente de l'argumentation, qui est une autre forme de raisonnement, employant des arguments qualitatifs, en faisant référence éventuellement à des données chiffrées, dans le but de pousser quelqu'un à agir.