About: Principle of explosion     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdfs:label
  • Ex falso quodlibet (sv)
  • Ex falso sequitur quodlibet (it)
  • Principe d'explosion (fr)
  • Principle of explosion (en)
  • 爆炸原理 (zh)
rdfs:comment
  • Le principe d'explosion, énoncé en latin ex falso quodlibet ou encore ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment. (fr)
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
prop-fr:fr
  • élimination de la double négation (fr)
  • Paradoxe de la conséquence (fr)
  • théorème de la déduction (fr)
prop-fr:langue
  • en (fr)
prop-fr:trad
  • Double negative elimination (fr)
  • Deduction theorem (fr)
  • Paradox of entailment (fr)
foaf:isPrimaryTopicOf
has abstract
  • Le principe d'explosion, énoncé en latin ex falso quodlibet ou encore ex contradictione sequitur quodlibet, « d'une contradiction, on peut déduire ce qu'on veut » ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction. Certaines autres logiques comme les logiques non-monotones, qui tentent de gérer des cas particuliers, la logique minimale ou les logiques paracohérentes ne possèdent pas de principes d'explosion et tentent de gérer les contradictions différemment. (fr)
is part of
is dbo:wikiPageWikiLink of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 4 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software