This HTML5 document contains 220 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-elhttp://el.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
dbpedia-bghttp://bg.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n5http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
dbpedia-hehttp://he.dbpedia.org/resource/
n15https://bigenc.ru/text/
dbpedia-frhttp://fr.dbpedia.org/resource/
n12https://www.britannica.com/topic/
n46http://www.math.niu.edu/~richard/Math101/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n20http://g.co/kg/m/
n18http://www.allwords.com/
n49https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-eohttp://eo.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-idhttp://id.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n37http://ma-graph.org/entity/
n38http://vocabulary.curriculum.edu.au/scot/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
dbpedia-srhttp://sr.dbpedia.org/resource/
n23https://books.google.com/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n21http://plato.stanford.edu/entries/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-slhttp://sl.dbpedia.org/resource/
n30https://commons.wikimedia.org/wiki/Category:
n43http://hi.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Déduction_logique
rdfs:label
Consecuencia lógica Implikacja logiczna Déduction logique 蕴涵 Implikation استتباع منطقي
rdfs:comment
La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences lo
rdfs:seeAlso
n12:logic-of-consequences n15:4699183 n21:logical-consequence n30:Logical_consequence
owl:sameAs
dbpedia-el:Λογική_συνέπεια dbpedia-bg:Умозаключение dbpedia-ru:Умозаключение dbpedia-uk:Умовивід n20:0c6np dbpedia-nl:Logisch_gevolg dbpedia-sl:Implikacija dbpedia-pt:Consequência_lógica dbpedia-ko:논리적_귀결 dbpedia-sr:Логичка_импликација dbr:Logical_consequence wikidata:Q374182 dbpedia-eo:Konsekvenco dbpedia-sv:Konsekvens_(logik) dbpedia-ar:استتباع_منطقي dbpedia-ca:Conseqüència dbpedia-fa:استلزام dbpedia-ja:論理的帰結 n37:134752490 n38:15501.rdf dbpedia-zh:蕴涵 dbpedia-he:הסקת_מסקנות dbpedia-es:Consecuencia_lógica dbpedia-th:ผลพวงเชิงตรรกะ n43:निष्कर्ष_(तर्क) dbpedia-pl:Implikacja_logiczna dbpedia-fi:Looginen_seuraus dbpedia-id:Konsekuensi_logis dbpedia-de:Implikation n49:4161414-8
dbo:wikiPageID
7666034
dbo:wikiPageRevisionID
191454081
dbo:wikiPageWikiLink
dbpedia-fr:Langage_formel dbpedia-fr:Loi_de_Peirce dbpedia-fr:Oxford_University_Press dbpedia-fr:John_Barkley_Rosser dbpedia-fr:Graphe_logique category-fr:Raisonnement_mathématique dbpedia-fr:Par_conséquent dbpedia-fr:Formalisme dbpedia-fr:A_priori_et_a_posteriori category-fr:Logique_propositionnelle dbpedia-fr:Mondes_possibles dbpedia-fr:Double_turnstile dbpedia-fr:Modalité_(linguistique_et_logique) dbpedia-fr:Système_formel dbpedia-fr:Stephen_Cole_Kleene dbpedia-fr:Théorie_des_modèles dbpedia-fr:Sémantique_formelle dbpedia-fr:Algèbre_de_Boole_(logique) dbpedia-fr:Alfred_Tarski dbpedia-fr:Vérité_logique dbpedia-fr:Vérité dbpedia-fr:Conséquence_tautologique dbpedia-fr:Kurt_Gödel dbpedia-fr:Preuve_empirique dbpedia-fr:Logique_probabiliste dbpedia-fr:Logique_philosophique dbpedia-fr:Logique_modale dbpedia-fr:Formule_(mathématiques) dbpedia-fr:Tautologie_(logique) dbpedia-fr:Validité_(logique) dbpedia-fr:Logique_mathématique dbpedia-fr:Polonais dbpedia-fr:Logique_et_raisonnement_mathématique dbpedia-fr:Syntaxe dbpedia-fr:Domaine_booléen dbpedia-fr:Quantificateur_(logique) dbpedia-fr:Fonction_NON-OU dbpedia-fr:Alonzo_Church dbpedia-fr:Règle_d'inférence dbpedia-fr:Calcul_des_propositions dbpedia-fr:Implication_stricte dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Bertrand_Russell dbpedia-fr:Allemand dbpedia-fr:Fonction_booléenne dbpedia-fr:Déduction_naturelle dbpedia-fr:Taquet_(symbole) dbpedia-fr:Fonction_logique dbpedia-fr:Équivalence_logique category-fr:Concept_logique dbpedia-fr:Raisonnement_déductif
dbo:wikiPageExternalLink
n18:word-implicant.html n23:books%3Fid=Ucxfry7oowIC&printsec=frontcover n46:implies.pdf
dbo:wikiPageLength
17949
dct:subject
category-fr:Concept_logique category-fr:Raisonnement_mathématique category-fr:Logique_propositionnelle
prop-fr:wikiPageUsesTemplate
n5:Math n5:Ébauche n5:SEP n5:IEP n5:, n5:4e n5:Citation n5:Références n5:Autres_projets n5:3e n5:Portail n5:2e n5:Article_détaillé n5:Voir_homonymes n5:1re n5:Palette n5:Ouvrage n5:Article_principal n5:! n5:Lien n5:Section_à_sourcer n5:Retrait n5:2nd-en n5:Colonnes
prov:wasDerivedFrom
wikipedia-fr:Déduction_logique?oldid=191454081&ns=0
prop-fr:année
1936 1965 1975 1982 1990 1991 1988 1997 2005 2002 2003 2001 2008
prop-fr:auteur
Ryszard Wójcicki
prop-fr:isbn
978 87
prop-fr:journal
The Philosophical Review
prop-fr:lienAuteur
Alfred Tarski W.V. Quine Martin Davis Frank Markham Brown Stewart Shapiro Vincent F. Hendricks
prop-fr:lieu
Princeton New York Stanford Cambridge, MA
prop-fr:lireEnLigne
n23:books%3Fid=Ucxfry7oowIC&printsec=frontcover
prop-fr:nom
Quine Brown Belnap Edgington Hanson Tarski Goble Shapiro Hendricks Anderson Dummett Etchemendy Planchette Davis Barwise
prop-fr:pagesTotales
86 474
prop-fr:prénom
William H Vincent F. Michael A.R. Lou, ed. N.D., Jr. Stewart Martin, Jon Dorothy Alfred W.V. Frank Markham P. A. John
prop-fr:sousTitre
Basic Theory of Consequence Operations the notion of logical consequence The Logic of Boolean Equations
prop-fr:titre
Language, Proof and Logic Necessity, meaning, and rationality Theory of Logical Calculi The Concept of Logical Consequence The concept of logical consequence The Logical Basis of Metaphysics Thought 2 Talk : A Crash Course in Reflection and Expression Entailment Boolean Reasoning On the concept of logical consequence The Blackwell Guide to Philosophical Logic Logical Consequence The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions Conditionals Methods of Logic
prop-fr:volume
1 106
prop-fr:wiktionary
déductif déduction
prop-fr:éditeur
Blackwell Raven Press Springer CSLI Publications Princeton Harvard University Press Automatic Press / VIP
prop-fr:wiktionaryTitre
déductif déduction
foaf:isPrimaryTopicOf
wikipedia-fr:Déduction_logique
dbo:abstract
La déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses. L'analyse philosophique pose des questions comme « Dans quel sens une conclusion vient-elle des prémisses? » ou « Que signifie pour une conclusion d'être une conséquence de certaines prémisses ? ». La logique philosophique peut donc être définie comme la compréhension et l’analyse de la nature des conséquences logiques et de la vérité logique. Une déduction logique est définie de manière à être à la fois nécessaire et formelle et est explicitée dans des domaines comme la théorie des modèles, qui permet de trouver des univers mathématiques dans lesquels la relation est utile et fournit un sens aux formules, et la théorie de la démonstration, qui fournit un cadre théorique pour sa définition de manière syntaxique. Une formule est une conséquence d'un ensemble d'autres formules, dans un langage, si et seulement si, en utilisant la logique elle-même (c'est-à-dire sans chercher à donner un sens aux formules) la formule doit être vraie si toutes les formules de l’ensemble des prémisses sont elles aussi vraies. Les logiciens définissent précisément la déduction logique pour un langage formel en construisant un système déductif pour ce langage, ou alors en formalisant une interprétation des formules de ce langage qui leur donne une sémantique formelle. Alfred Tarski a déterminé trois conditions ou caractéristiques importantes que la relation de conséquence logique doit remplir : 1. * la relation doit dépendre de la (en) (d'après la formule de Bertrand Russell), c'est-à-dire qu'elle ne doit pas dépendre du sens des termes mais doit rester valide si on remplace les mots par des variables ou par d'autres mots ; 2. * elle doit être a priori et a posteriori, c'est-à-dire qu'il est possible de déterminer sa validité sans recourir à des preuves empiriques ou faire intervenir ses sens ; 3. * elle doit avoir une composante modale.
dbo:isPartOf
dbpedia-fr:Inférence_(logique)