This HTML5 document contains 126 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/
dbpedia-svhttp://sv.dbpedia.org/resource/
dbpedia-bghttp://bg.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
n18http://hy.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
n10http://fr.dbpedia.org/resource/Modèle:
dbpedia-ethttp://et.dbpedia.org/resource/
n48https://bigenc.ru/text/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
n6https://www.britannica.com/topic/
dbpedia-pmshttp://pms.dbpedia.org/resource/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
n14http://g.co/kg/m/
dbpedia-kkhttp://kk.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-eohttp://eo.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
n38http://www.universalis.fr/encyclopedie/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n8http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
n47http://mathworld.wolfram.com/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n43http://commons.dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
n13http://am.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n53http://www.omegawiki.org/DefinedMeaning:
dbpedia-nlhttp://nl.dbpedia.org/resource/
n4http://kaa.dbpedia.org/resource/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-simplehttp://simple.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-behttp://be.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:Implication_(logique)
rdfs:label
实质条件 Condicional material Implication (logique) Импликация Логічна імплікація Implicazione logica Logische implicatie Condicional material
rdfs:comment
En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors mon gazon est arrosé ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).
rdfs:seeAlso
n6:material-implication n6:implication n38:implication-logique n38:implication-philosophie n47:Implies.html n48:2181609 n53:415251
owl:sameAs
n4:İmplikatsiya n8:2780695790 dbpedia-ja:論理包含 dbpedia-zh:实质条件 n13:ጥገኛ_አምክንዮ n14:030fgd dbr:Material_conditional dbpedia-cs:Implikace dbpedia-et:Implikatsioon n18:Իմպլիկացիա dbpedia-es:Condicional_material dbpedia-it:Implicazione_logica dbpedia-be:Імплікацыя dbpedia-nl:Logische_implicatie dbpedia-simple:Implication_(logic) dbpedia-pt:Condicional_material dbpedia-th:เงื่อนไขเชิงตรรกศาสตร์ dbpedia-fi:Implikaatio dbpedia-hr:Implikacija dbpedia-sv:Implikation dbpedia-fa:شرطی_مادی dbpedia-pms:Amplicassion dbpedia-ro:Implicație_logică dbpedia-ru:Импликация wikidata:Q7881229 dbpedia-sk:Implikácia dbpedia-he:אם-אז dbpedia-pl:Implikacja_materialna n43:Material_conditional dbpedia-hu:Implikáció dbpedia-ca:Condicional_material dbpedia-eo:Implico dbpedia-de:Subjunktion dbpedia-kk:Импликация dbpedia-bg:Импликация dbpedia-ar:قضية_شرطية dbpedia-no:Subjunksjon_(logikk) dbpedia-uk:Логічна_імплікація dbpedia-mk:Материјална_импликација
dbo:wikiPageID
1154268
dbo:wikiPageRevisionID
189113326
dbo:wikiPageWikiLink
dbpedia-fr:Raisonnement_contre-factuel dbpedia-fr:Fonction_(mathématiques) dbpedia-fr:Table_de_vérité dbpedia-fr:Système_formel dbpedia-fr:Non-implication dbpedia-fr:Logique_modale dbpedia-fr:Littéral_(logique) dbpedia-fr:Implication_réciproque dbpedia-fr:Implication_stricte dbpedia-fr:Théorème dbpedia-fr:Flèche_(symbole) dbpedia-fr:Théorème_de_complétude_(calcul_des_propositions) dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Logique_linéaire dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Gare_de_Londres-Waterloo dbpedia-fr:Charles_Sanders_Peirce dbpedia-fr:Connecteur_logique dbpedia-fr:Déduction_naturelle dbpedia-fr:Déduction_logique dbpedia-fr:Loi_de_Peirce dbpedia-fr:Giuseppe_Peano dbpedia-fr:Bataille_de_Waterloo dbpedia-fr:Réalisabilité dbpedia-fr:Modus_ponens dbpedia-fr:Équivalence_logique dbpedia-fr:Par_conséquent dbpedia-fr:Calcul_des_propositions dbpedia-fr:Interprétation_de_Brouwer-Heyting-Kolmogorov dbpedia-fr:Modus_tollens dbpedia-fr:Grèce_antique dbpedia-fr:Fonction_booléenne dbpedia-fr:Prolog dbpedia-fr:Stoïcisme dbpedia-fr:Distributivité category-fr:Connecteur_logique dbpedia-fr:Application_(mathématiques) dbpedia-fr:Gottlob_Frege dbpedia-fr:Loi_de_composition_interne dbpedia-fr:Logique_classique dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:Relation_transitive dbpedia-fr:Tautologie dbpedia-fr:Paradoxe_du_coiffeur dbpedia-fr:Principe_d'explosion dbpedia-fr:Conjonction_logique dbpedia-fr:Disjonction_logique dbpedia-fr:Sémantique_de_Kripke
dbo:wikiPageLength
17133
dct:subject
category-fr:Connecteur_logique
prop-fr:wikiPageUsesTemplate
n10:Cori-Lascar_I n10:Formule n10:Homonyme n10:Refsou n10:Portail n10:Références n10:Lien n10:Citation n10:Autres_projets n10:Palette
prov:wasDerivedFrom
wikipedia-fr:Implication_(logique)?oldid=189113326&ns=0
prop-fr:groupe
cori_lascar_1
prop-fr:wikiversity
Implication et équivalence
prop-fr:wiktionaryTitre
Implication
prop-fr:wikiversityTitre
Implication et équivalence
prop-fr:wikt
implication
foaf:isPrimaryTopicOf
wikipedia-fr:Implication_(logique)
dbo:abstract
En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors mon gazon est arrosé ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.). Étant un connecteur, qui produit une proposition à partir de deux autres, et qui est interprété par une opération sur les propositions ou sur les valeurs de vérités, l'implication n'est pas la déduction qui est une relation entre propositions. Les logiciens utilisent couramment pour l'implication la flèche simple « → », et encore parfois le symbole « ⊃ » introduit par Peano. La déduction logique ou l'affirmation d'un théorème peuvent être représentées par des symboles au sens proche mais pas identique : « ∴ », « ⊢ » et « ⊨ ».