| Property |
Value |
| dbo:abstract
|
- Un dilemme destructif est une règle d'inférence valide de la logique propositionnelle. Elle est l'inférence selon laquelle, si P implique Q et R implique S et soit Q est faux soit S est faux, alors, soit P ou R est faux. En somme, si deux implications sont vraies, mais qu'un de leurs conséquents est faux, alors un de leurs antécédents est faux. Le dilemme destructif est la version disjonctive du modus tollens, alors que, la version disjonctive du modus ponens est le dilemme constructif. La règle peut être déclarée comme suit: où la règle est que chaque fois que les instances de « », « », et « » apparaissent sur les lignes d'une démonstration, « » peut être placé sur une ligne subséquente. (fr)
- Un dilemme destructif est une règle d'inférence valide de la logique propositionnelle. Elle est l'inférence selon laquelle, si P implique Q et R implique S et soit Q est faux soit S est faux, alors, soit P ou R est faux. En somme, si deux implications sont vraies, mais qu'un de leurs conséquents est faux, alors un de leurs antécédents est faux. Le dilemme destructif est la version disjonctive du modus tollens, alors que, la version disjonctive du modus ponens est le dilemme constructif. La règle peut être déclarée comme suit: où la règle est que chaque fois que les instances de « », « », et « » apparaissent sur les lignes d'une démonstration, « » peut être placé sur une ligne subséquente. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5341 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:art
|
- Destructive dilemma (fr)
- Destructive dilemma (fr)
|
| prop-fr:id
| |
| prop-fr:lang
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- Un dilemme destructif est une règle d'inférence valide de la logique propositionnelle. Elle est l'inférence selon laquelle, si P implique Q et R implique S et soit Q est faux soit S est faux, alors, soit P ou R est faux. En somme, si deux implications sont vraies, mais qu'un de leurs conséquents est faux, alors un de leurs antécédents est faux. Le dilemme destructif est la version disjonctive du modus tollens, alors que, la version disjonctive du modus ponens est le dilemme constructif. La règle peut être déclarée comme suit: (fr)
- Un dilemme destructif est une règle d'inférence valide de la logique propositionnelle. Elle est l'inférence selon laquelle, si P implique Q et R implique S et soit Q est faux soit S est faux, alors, soit P ou R est faux. En somme, si deux implications sont vraies, mais qu'un de leurs conséquents est faux, alors un de leurs antécédents est faux. Le dilemme destructif est la version disjonctive du modus tollens, alors que, la version disjonctive du modus ponens est le dilemme constructif. La règle peut être déclarée comme suit: (fr)
|
| rdfs:label
|
- Destructive dilemma (en)
- Dilemme destructif (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
