contraposition
étymologie
Mot  composé de contra- et de position.

nom

SingulierPluriel
contrapositioncontrapositions

contraposition \kɔ̃.tʁa.po.zi.sjɔ̃\ féminin

  1. (logique) Raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l'antécédent (« donc non A »).
    • C’est ce qu’on appelle, en logique mathématique, une contraposition. À titre d’illustration, disons que si vous avez beaucoup d’affaires (P), vous avez besoin d’une grande valise (S). Il n’en découle pas que si un un voyageur a une grande valise, il transporte en réalité beaucoup de choses. En revanche, cela signifie que si la valise n’est pas grande, il ne peut pas avoir emporté beaucoup de choses. En d’autres termes, « non S » prouve « non P ». (George G. Szpiro, La conjecture de Poincaré, Points, 2007, page 186)
synonymes
  • modus tollens
antonymes
  • modus ponens

traductions


Ce texte est extrait du Wiktionnaire et il est disponible sous licence CC BY-SA 3.0 | Terms and conditions | Privacy policy 0.003
Dictionnaire Français