This HTML5 document contains 78 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-svhttp://sv.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n8http://fr.dbpedia.org/resource/Modèle:
dbpedia-ethttp://et.dbpedia.org/resource/
n34http://tl.dbpedia.org/resource/
n20http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17http://g.co/kg/m/
n38http://philpapers.org/browse/
n41https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-eohttp://eo.dbpedia.org/resource/
n9http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
n22http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
n23https://ncatlab.org/nlab/show/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n12http://plato.stanford.edu/entries/
wikidatahttp://www.wikidata.org/entity/
n39https://www.quora.com/topic/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n43http://www.isima.fr/~leborgne/IsimathLogique/
n15https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.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/
n26http://psh.ntkcz.cz/skos/
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:Logique_classique
rdfs:label
Класична логіка Logica classica 古典論理 Logique classique Klassieke logica Lògica clàssica
rdfs:comment
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne. On y ajoute généralement l'une des lois de De Morgan : Le principe
rdfs:seeAlso
n12:logic-classical n15:Classical_logic n23:classical_logic n26:PSH7097 n38:classical-logic n39:Classical-Logic
owl:sameAs
dbpedia-mk:Класична_логика dbpedia-es:Lógica_clásica dbr:Classical_logic dbpedia-fa:منطق_کلاسیک dbpedia-ru:Классическая_логика wikidata:Q236975 n17:0fhpt dbpedia-eo:Klasika_logiko dbpedia-uk:Класична_логіка n22:32241873 dbpedia-ja:古典論理 dbpedia-ca:Lògica_clàssica dbpedia-zh:经典逻辑 dbpedia-ko:고전_논리 dbpedia-nl:Klassieke_logica dbpedia-et:Klassikaline_loogika dbpedia-sk:Klasická_logika n34:Klasikong_lohika dbpedia-sv:Klassisk_logik dbpedia-it:Logica_classica n41:4333219-5 dbpedia-de:Klassische_Logik dbpedia-pt:Lógica_clássica
dbo:wikiPageID
544732
dbo:wikiPageRevisionID
190015902
dbo:wikiPageWikiLink
dbpedia-fr:Logique_minimale n9:Kripke_countermodel_of_A_-)_B_V_B_-)_A1.png dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Sémantique_de_Kripke dbpedia-fr:Table_de_vérité dbpedia-fr:Sémantique_formelle_(logique) dbpedia-fr:Lois_de_De_Morgan dbpedia-fr:Proposition dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Proposition_contraposée dbpedia-fr:Aristote dbpedia-fr:Loi_de_Peirce n9:Kripke_countermodel_of_A_V_not_A.png dbpedia-fr:Calcul_des_prédicats category-fr:Logique_mathématique dbpedia-fr:Principe_du_tiers_exclu category-fr:Logique dbpedia-fr:Calcul_des_propositions dbpedia-fr:Implication_(logique)
dbo:wikiPageExternalLink
n43:logique.pdf
dbo:wikiPageLength
6549
dct:subject
category-fr:Logique category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate
n8:Palette n8:Portail n8:Références n8:Ébauche n8:, n8:XIXe_siècle n8:Voir
prov:wasDerivedFrom
wikipedia-fr:Logique_classique?oldid=190015902&ns=0
foaf:depiction
n20:Kripke_countermodel_of_A_V_not_A.png n20:Kripke_countermodel_of_A_-)_B_V_B_-)_A1.png
dbo:thumbnail
n20:Kripke_countermodel_of_A_-)_B_V_B_-)_A1.png?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Logique_classique
dbo:abstract
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du XIXe siècle en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne. La logique classique est caractérisée par des postulats qui la fondent et la différencient de la logique intuitionniste, exprimés dans le formalisme du calcul des propositions ou du calcul des prédicats : * Le tiers exclu énonce que pour toute proposition mathématique considérée, elle-même ou sa négation est vraie : * Le raisonnement par l'absurde : * La contraposition : * L'implication matérielle : Ces principes sont équivalents par raisonnement intuitionniste, c’est-à-dire que l'on peut montrer que n'importe lequel d'entre eux permet de déduire les autres en utilisant les règles intuitionnistes. On y ajoute généralement l'une des lois de De Morgan : Ces principes contribuent au fait que les modèles calculatoires de la logique classique sont beaucoup plus complexes que ceux de la logique intuitionniste. Le principe est valide en logique classique, et n'est pas démontrable en logique intuitionniste, mais son adjonction à la logique intuitionniste n'engendre pas la logique classique.
dbo:followedBy
dbpedia-fr:Logique_floue
dbo:isPartOf
dbpedia-fr:Logique