| Attributes | Values |
|---|
| 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)
|
| 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)
|
| rdfs:seeAlso
| |
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:wiktionary
| |
| foaf:isPrimaryTopicOf
| |
| has 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)
|
| is dbo:wikiPageWikiLink
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)