Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Proposition contraposée
Résumé
En logique, la contraposition est un type de raisonnement consistant à affirmer l'implication « si non B alors non A » à partir de l'implication « si A alors B ». L'implication « si non B alors non A » est appelée 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 ».
Considérons l'exemple suivant :S'il pleut, alors le sol est mouillé.On y a remplacé A par « il pleut » et B par « le sol est mouillé », et on a bien « si A alors B ».
Attention, la proposition « si A alors B » exprime le fait que B est une condition nécessaire de A : on ne peut pas avoir A sans avoir B. Dans notre exemple, il n'est pas possible qu'il pleuve et que le sol ne soit pas mouillé. Il faut distinguer la contraposée de la réciproque : la réciproque de « A implique B » étant « B implique A ». Le fait que l'une soit vraie ne dit rien sur l'autre à moins qu'on ait montré, par ailleurs, qu'il existe une équivalence entre A et B (« A si et seulement si B ») auquel cas, l'implication et la réciproque sont toutes deux vraies ensemble ou fausses ensemble. Ainsi, même si l'implication « s'il pleut, alors le sol est mouillé » est vraie, on ne peut rien en déduire sur sa réciproque (« si le sol est mouillé, alors il pleut »), qui en l'occurrence est fausse, puisque le sol peut être mouillé sans qu'il pleuve.
Il ne faut pas confondre non plus la contraposition avec la négation de l'antécédent « non-A implique non-B » (« s'il ne pleut pas, alors le sol n'est pas mouillé ») qui, elle, n'est pas équivalente à l'implication mais à sa réciproque (c'est en fait la contraposée de la réciproque). Utiliser la négation de l'antécédent conduit à un raisonnement faux ou sophisme. En effet, dans notre exemple le sol peut avoir été mouillé par autre chose que la pluie, de même que le sol peut être encore mouillé alors que la pluie s'est arrêtée, ce n'est donc pas parce qu'il ne pleut pas que le sol n'est pas mouillé.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Cours associés (3)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
MATH-305: Introduction to partial differential equations
This is an introductory course on Elliptic Partial Differential Equations. The course will cover the theory of both classical and generalized (weak) solutions of elliptic PDEs.
ME-324: Discrete-time control of dynamical systems
On introduit les bases de l'automatique linéaire discrète qui consiste à appliquer une commande sur des intervalles uniformément espacés. La cadence de l'échantillonnage qui est associée joue un rôle