Search results
En mathématiques et en logique, la contraposition transforme une implication « si A alors B » en une implication équivalente « si non B alors non A ». La nouvelle proposition obtenue « si non B alors non A » s'appelle la contraposée de « si A alors B ».
In logic and mathematics, contraposition, or transposition, refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as § Proof by contrapositive.
contraposition\kɔ̃.tʁa.po.zi.sjɔ̃\féminin. (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 »).
La nouvelle proposition obtenue « si non B alors non A » s'appelle la contraposée de « si A alors B ». Par exemple, la proposition contraposée de la proposition « s'il pleut, alors le sol est mouillé » est « si le sol n'est pas mouillé, alors il ne pleut pas ».
On appelle contraposition (ou modus tollens) la loi selon laquelle une proposition et sa contraposée sont équivalentes : (A => B) => (non B => non A) Il en découle que si l'on démontre que l'une est vraie, alors l'autre est vraie et inversement.
14 lut 2024 · Définitions de « contraposition ». (Logique) Procédé déductif où de la négation du conséquent d'une implication (« si A, alors B »), on infère la négation de son antécédent (« donc non A »).
Traductions en contexte de "contraposición" en espagnol-français avec Reverso Context : en contraposición
