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

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

Namespace Prefixes

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

Statements

Subject Item
dbpedia-fr:Système_logique
rdfs:label
Système logique
rdfs:comment
Un système logique est un système formel dédié au raisonnement et aux déductions logiques. Il est constitué : * d'un ensemble de formules, y compris un ensemble d'axiomes donnés pour vrais et comme point de départ du raisonnement ; * d'un ensemble de règles de déduction permettant de définir le type de raisonnement applicables dans ce système ; * d'une interprétation des formules, permettant de préciser le sens des formules. Les deux premiers items de cette liste font d'un système logique un système formel, ce troisième item est spécifique aux systèmes logiques. * Portail de la logique
rdfs:seeAlso
n10:logical-system
owl:sameAs
n12:11b5v5p83t wikidata:Q17488292 dbr:Logical_system
dbo:wikiPageID
8195052
dbo:wikiPageRevisionID
129337082
dbo:wikiPageWikiLink
dbpedia-fr:Déduction_naturelle category-fr:Logique_formelle dbpedia-fr:Système_formel dbpedia-fr:Logique_classique dbpedia-fr:Interprétation_(logique)
dbo:wikiPageLength
1122
dct:subject
category-fr:Logique_formelle
prop-fr:wikiPageUsesTemplate
n5:Palette_Logique n5:Article_court n5:Portail n5:Voir_aussi
prov:wasDerivedFrom
wikipedia-fr:Système_logique?oldid=129337082&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Système_logique
dbo:abstract
Un système logique est un système formel dédié au raisonnement et aux déductions logiques. Il est constitué : * d'un ensemble de formules, y compris un ensemble d'axiomes donnés pour vrais et comme point de départ du raisonnement ; * d'un ensemble de règles de déduction permettant de définir le type de raisonnement applicables dans ce système ; * d'une interprétation des formules, permettant de préciser le sens des formules. Les deux premiers items de cette liste font d'un système logique un système formel, ce troisième item est spécifique aux systèmes logiques. On compte de nombreux systèmes logiques, dont notablement le système de déduction naturelle. En logique classique, l'interprétation est une fonction qui prend ses valeurs dans un ensemble binaire de valeur de vérité, {Vrai, Faux} par exemple, en fonction de la valeur de vérité des variables des formules. * Portail de la logique