| Property |
Value |
| dbo:abstract
|
- Les règles d'élimination des connecteurs (à savoir, la disjonction, la conjonction, l'implication, la négation, etc.) sont des règles d'inférence que l'on trouve en déduction naturelle. Les règles d'élimination ont été présentées pour la première fois par Gentzen en 1934 dans son article fondateur Recherches sur la déduction logique sous le nom allemand « Beseitigung », qui veut précisément dire élimination. (fr)
- Les règles d'élimination des connecteurs (à savoir, la disjonction, la conjonction, l'implication, la négation, etc.) sont des règles d'inférence que l'on trouve en déduction naturelle. Les règles d'élimination ont été présentées pour la première fois par Gentzen en 1934 dans son article fondateur Recherches sur la déduction logique sous le nom allemand « Beseitigung », qui veut précisément dire élimination. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5124 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1967 (xsd:integer)
- 1990 (xsd:integer)
|
| prop-fr:auteur
| |
| prop-fr:langue
| |
| prop-fr:titre
|
- Mathematical logic (fr)
- Logique, réduction, résolution (fr)
- Mathematical logic (fr)
- Logique, réduction, résolution (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- Les règles d'élimination des connecteurs (à savoir, la disjonction, la conjonction, l'implication, la négation, etc.) sont des règles d'inférence que l'on trouve en déduction naturelle. Les règles d'élimination ont été présentées pour la première fois par Gentzen en 1934 dans son article fondateur Recherches sur la déduction logique sous le nom allemand « Beseitigung », qui veut précisément dire élimination. (fr)
- Les règles d'élimination des connecteurs (à savoir, la disjonction, la conjonction, l'implication, la négation, etc.) sont des règles d'inférence que l'on trouve en déduction naturelle. Les règles d'élimination ont été présentées pour la première fois par Gentzen en 1934 dans son article fondateur Recherches sur la déduction logique sous le nom allemand « Beseitigung », qui veut précisément dire élimination. (fr)
|
| rdfs:label
|
- Règle d'élimination (logique) (fr)
- Règle d'élimination (logique) (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
