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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-svhttp://sv.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n9http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n18http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n12http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Conséquence_tautologique
rdfs:label
Conséquence tautologique Tautolog implikation
rdfs:comment
En logique propositionnelle, une conséquence tautologique est la forme stricte de la conséquence logique, dans laquelle la tautologie d'une proposition est conservée des prémisses à la conclusion. Les conséquences logiques ne sont pas toutes des conséquences tautologiques. Une proposition est dite être une conséquence tautologique d'une, ou plus, autre propositions dans une par apport à un système logique si celui-ci est valide à introduire la proposition au-dessus de la ligne de preuve dans le cadre des règles du système et, dans tous les cas où chacune de ces propositions sont vraies, la proposition est aussi vraie.
owl:sameAs
n12:2780662697 dbr:Tautological_consequence dbpedia-sv:Tautolog_implikation n16:0h_f3_k wikidata:Q7688961
dbo:wikiPageID
10251347
dbo:wikiPageRevisionID
167156471
dbo:wikiPageWikiLink
dbpedia-fr:Preuve_formelle dbpedia-fr:Déduction_logique dbpedia-fr:Règle_d'inférence dbpedia-fr:Stephen_Cole_Kleene category-fr:Logique dbpedia-fr:Calcul_des_propositions dbpedia-fr:Table_de_vérité dbpedia-fr:Dover_Publications dbpedia-fr:Validité_(logique) dbpedia-fr:Tautologie dbpedia-fr:Valeur_de_vérité dbpedia-fr:Système_logique
dbo:wikiPageLength
3655
dct:subject
category-fr:Logique
prop-fr:wikiPageUsesTemplate
n9:Références n9:ISBN n9:Portail n18:Référence
prov:wasDerivedFrom
wikipedia-fr:Conséquence_tautologique?oldid=167156471&ns=0
prop-fr:art
Tautological consequence
prop-fr:id
695449735
prop-fr:lang
en
foaf:isPrimaryTopicOf
wikipedia-fr:Conséquence_tautologique
dbo:abstract
En logique propositionnelle, une conséquence tautologique est la forme stricte de la conséquence logique, dans laquelle la tautologie d'une proposition est conservée des prémisses à la conclusion. Les conséquences logiques ne sont pas toutes des conséquences tautologiques. Une proposition est dite être une conséquence tautologique d'une, ou plus, autre propositions dans une par apport à un système logique si celui-ci est valide à introduire la proposition au-dessus de la ligne de preuve dans le cadre des règles du système et, dans tous les cas où chacune de ces propositions sont vraies, la proposition est aussi vraie. Une autre manière de représenter la préservation de la tautologie est d'utiliser une tables de vérités. Une proposition est dite être une conséquence tautologique d'une, ou plus, autre propositions si et seulement si dans chaque colonne de table de vérité la valeur de vérité « V » ou 1 est attribuée à toutes les propositions et aussi à .