About: dbpedia-fr:Déduction

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Déduction_naturelle Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
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. (fr)
Wikipage revision ID	185960774 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Raisonnement_mathématique category-fr:Méthode_de_démonstration category-fr:Théorie_de_la_démonstration Alfred North Whitehead Tree (data structure) dbpedia-fr:Aristote Bertrand Russell Propositional calculus First-order logic Sequent calculus category-fr:Concept_logique category-fr:Logique_mathématique Curry–Howard correspondence dbpedia-fr:Dag_Prawitz dbpedia-fr:David_Hilbert Duality (mathematics) Gerhard Gentzen dbpedia-fr:Gottlob_Frege dbpedia-fr:Graphe_orienté_acyclique Lambda calculus dbpedia-fr:Logique_classique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique Principia Mathematica Reductio ad absurdum dbpedia-fr:Règle_d'introduction_(logique) dbpedia-fr:Règle_d'élimination_(logique) Fitch notation dbpedia-fr:Système_formel dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Terme_(logique) dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorème_d'élimination_des_coupures dbpedia-fr:Variable_libre École normale supérieure de Rennes dbpedia-fr:Modus_ponens
prov:wasDerivedFrom	wikipedia-fr:Déduction_naturelle?oldid=185960774&ns=0
is dbo:wikiPageWikiLink of	dbpedia-fr:Déduction_Naturelle dbpedia-fr:Bourbakisme Calculus of constructions Propositional calculus First-order logic Sequent calculus Forward chaining Clause (logic) Proof complexity Curry–Howard correspondence dbpedia-fr:Dag_Prawitz dbpedia-fr:Disjonction_logique dbpedia-fr:Déduction dbpedia-fr:Déduction_logique dbpedia-fr:Démonstration_(logique_et_mathématique) dbpedia-fr:Démonstration_formelle dbpedia-fr:Evert_Willem_Beth dbpedia-fr:Frederic_Brenton_Fitch Gerhard Gentzen dbpedia-fr:Graphe_orienté_acyclique dbpedia-fr:Implication_(logique) Universal instantiation dbpedia-fr:Interprétation_de_Brouwer-Heyting-Kolmogorov dbpedia-fr:Jean_Ladrière dbpedia-fr:LEGO_(logiciel) dbpedia-fr:Liste_de_concepts_logiques dbpedia-fr:Logique dbpedia-fr:Logique_et_raisonnement_mathématique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_paracohérente dbpedia-fr:Loi_de_Peirce dbpedia-fr:Non-implication dbpedia-fr:PhoX_(logiciel) Principle of explosion Law of noncontradiction Principia Mathematica dbpedia-fr:Problème_de_la_décision Prediction Quantifier (logic) dbpedia-fr:Raisonnement Reductio ad absurdum dbpedia-fr:Raymond_Lulle dbpedia-fr:Règle_d'inférence dbpedia-fr:Règle_d'introduction_(logique) dbpedia-fr:Règle_d'élimination_(logique) Proof net Rewriting dbpedia-fr:Science Fitch notation dbpedia-fr:Système_logique dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Sémantique_de_la_théorie_de_la_preuve dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Théorie_des_modèles Herbrand's theorem dbpedia-fr:Théorème_de_complétude_(calcul_des_propositions) Gödel's completeness theorem Validity (logic) dbpedia-fr:Épistémologie_de_la_logique Metamath

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 23 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software