Property |
Value |
dbo: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)
- 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)
|
dbo:isPartOf
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 11483 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:fr
|
- élimination de la double négation (fr)
- Paradoxe de la conséquence (fr)
- théorème de la déduction (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
| |
prop-fr:trad
|
- Double negative elimination (fr)
- Deduction theorem (fr)
- Paradox of entailment (fr)
- Double negative elimination (fr)
- Deduction theorem (fr)
- Paradox of entailment (fr)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
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)
- 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)
|
rdfs:label
|
- Ex falso quodlibet (sv)
- Ex falso sequitur quodlibet (it)
- Principe d'explosion (fr)
- Principle of explosion (en)
- 爆炸原理 (zh)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |