This HTML5 document contains 104 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-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n26http://girard.perso.math.cnrs.fr/
n32https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n15http://g.co/kg/m/
n34http://people.irisa.fr/Francois.Schwarzentruber/pravda/
n20http://www.logik.ch/daten/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n30https://www.jstor.org/topic/
n16https://www.quora.com/topic/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n5http://fr.dbpedia.org/resource/Modèle:
dbpedia-fihttp://fi.dbpedia.org/resource/
dbpedia-simplehttp://simple.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-nohttp://no.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n31http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
n12https://www.sfu.ca/~jeffpell/papers/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n7http://teachinglogic.liglab.fr/
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Déduction_naturelle
rdfs:label
Dedukcja naturalna Systeme natürlichen Schließens 自然演绎 Déduction naturelle Deduzione naturale Deducción natural
rdfs:comment
En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : La terminologie « déduction naturelle » a été suggérée, par Gentzen, eu égard à l'aspect peu intuitif des systèmes à la Hilbert.
rdfs:seeAlso
n16:Natural-Deduction n30:natural-deduction-calculus n32:natural_deduction
owl:sameAs
dbpedia-nl:Natuurlijke_deductie dbpedia-simple:Natural_deduction dbpedia-es:Deducción_natural dbpedia-zh:自然演绎 n15:0dgpx dbpedia-it:Deduzione_naturale dbr:Natural_deduction wikidata:Q1572108 dbpedia-fi:Luonnollinen_päättely dbpedia-de:Systeme_natürlichen_Schließens dbpedia-pl:Dedukcja_naturalna dbpedia-pt:Dedução_natural n31:62073222 dbpedia-no:Naturlig_deduksjon dbpedia-ko:자연_연역 dbpedia-ja:自然演繹
dbo:wikiPageID
197866
dbo:wikiPageRevisionID
185960774
dbo:wikiPageWikiLink
dbpedia-fr:Variable_libre category-fr:Concept_logique dbpedia-fr:Graphe_orienté_acyclique dbpedia-fr:Lambda-calcul dbpedia-fr:Alfred_North_Whitehead dbpedia-fr:Gerhard_Gentzen dbpedia-fr:Système_formel dbpedia-fr:Aristote category-fr:Méthode_de_démonstration dbpedia-fr:Logique_classique dbpedia-fr:Règle_d'introduction_(logique) dbpedia-fr:Terme_(logique) dbpedia-fr:Règle_d'élimination_(logique) dbpedia-fr:Modus_ponens dbpedia-fr:Logique_mathématique category-fr:Théorie_de_la_démonstration dbpedia-fr:Logique_intuitionniste dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:École_normale_supérieure_de_Rennes dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Calcul_des_propositions dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Calcul_des_séquents dbpedia-fr:Principia_Mathematica dbpedia-fr:David_Hilbert dbpedia-fr:Dualité_(mathématiques) dbpedia-fr:Style_de_Fitch_pour_la_déduction_naturelle dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Bertrand_Russell dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Dag_Prawitz category-fr:Logique_mathématique category-fr:Raisonnement_mathématique dbpedia-fr:Arbre_enraciné dbpedia-fr:Gottlob_Frege dbpedia-fr:Théorème_d'élimination_des_coupures
dbo:wikiPageExternalLink
n7:DN1 n12:pelletierNDtexts.pdf n20:jaskowski.pdf n26:Aveugle.html n34:naturaldeduction.html
dbo:wikiPageLength
23191
dct:subject
category-fr:Concept_logique category-fr:Théorie_de_la_démonstration category-fr:Logique_mathématique category-fr:Méthode_de_démonstration category-fr:Raisonnement_mathématique
prop-fr:wikiPageUsesTemplate
n5:De n5:Ouvrage n5:En n5:Palette n5:Portail n5:Sommaire n5:Référence_nécessaire n5:Voir_homonymes n5:Date-
prov:wasDerivedFrom
wikipedia-fr:Déduction_naturelle?oldid=185960774&ns=0
prop-fr:année
1955 1997
prop-fr:auteur
Gerhard Gentzen
prop-fr:isbn
2
prop-fr:langue
fr
prop-fr:lieu
Paris
prop-fr:nom
de Rougemont Lassaigne
prop-fr:pagesTotales
248
prop-fr:prénom
Richard Michel
prop-fr:titre
Logique et fondements de l'informatique Recherches sur la déduction logique
prop-fr:titreOriginal
Untersuchungen über das logische schließen
prop-fr:éditeur
Presses Universitaires de France Hermes Science Publications
prop-fr:traducteur
R. Feys et J. Ladrière
foaf:isPrimaryTopicOf
wikipedia-fr:Déduction_naturelle
dbo:abstract
En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner. C'est une étape importante de l'histoire de la théorie de la démonstration pour plusieurs raisons : * contrairement aux systèmes à la Hilbert fondés sur des listes d'axiomes logiques plus ou moins ad hoc, la déduction naturelle repose sur un principe systématique de symétrie : pour chaque connecteur, on donne une paire de règles duales (introduction/élimination) ; * elle a conduit Gentzen à inventer un autre formalisme très important en théorie de la démonstration, encore plus « symétrique » : le calcul des séquents ; * elle a permis dans les années 1960 d'identifier la première instance de l'isomorphisme de Curry-Howard. La terminologie « déduction naturelle » a été suggérée, par Gentzen, eu égard à l'aspect peu intuitif des systèmes à la Hilbert.