| Property |
Value |
| dbo:abstract
|
- En logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin : « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence. Celui-ci est une application de la vérité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. Les premiers à décrire explicitement le modus tollens étaient les stoïciens. La règle d'inférence modus tollens est l'inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P. La règle du modus tollens peut être formellement énoncée comme suit : où signifie « P implique Q ». veut dire « il n'est pas vrai que Q » (souvent abrégé « non Q »). Ainsi, chaque fois que « » et « » apparaissent sur la ligne de preuve, alors « » peut être placé sur une ligne subséquente. L'histoire de la règle d'inférence modus tollens remonte à l'antiquité. Le modus tollens est étroitement lié à la règle du modus ponens. Il existe deux formes similaires, mais invalides, d'argumentation : l'affirmation du conséquent et la négation de l'antécédent. (fr)
- En logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin : « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence. Celui-ci est une application de la vérité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. Les premiers à décrire explicitement le modus tollens étaient les stoïciens. La règle d'inférence modus tollens est l'inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P. La règle du modus tollens peut être formellement énoncée comme suit : où signifie « P implique Q ». veut dire « il n'est pas vrai que Q » (souvent abrégé « non Q »). Ainsi, chaque fois que « » et « » apparaissent sur la ligne de preuve, alors « » peut être placé sur une ligne subséquente. L'histoire de la règle d'inférence modus tollens remonte à l'antiquité. Le modus tollens est étroitement lié à la règle du modus ponens. Il existe deux formes similaires, mais invalides, d'argumentation : l'affirmation du conséquent et la négation de l'antécédent. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8278 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:wiktionary
|
- modus tollens (fr)
- modus tollens (fr)
|
| dct:subject
| |
| rdfs:comment
|
- En logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin : « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence. Celui-ci est une application de la vérité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. Les premiers à décrire explicitement le modus tollens étaient les stoïciens. La règle d'inférence modus tollens est l'inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P. (fr)
- En logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin : « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence. Celui-ci est une application de la vérité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. Les premiers à décrire explicitement le modus tollens étaient les stoïciens. La règle d'inférence modus tollens est l'inférence selon laquelle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P. (fr)
|
| rdfs:label
|
- Modus tollendo tollens (ca)
- Modus tollendo tollens (es)
- Modus tollens (fr)
- Modus tollens (nl)
- Modus tollens (pl)
- Modus tollens (pt)
- Modus tollens (sv)
- Modus tollens (uk)
- 否定後件 (zh)
- Modus tollendo tollens (ca)
- Modus tollendo tollens (es)
- Modus tollens (fr)
- Modus tollens (nl)
- Modus tollens (pl)
- Modus tollens (pt)
- Modus tollens (sv)
- Modus tollens (uk)
- 否定後件 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
