Forum TI-Planet.org

Bonjour,

a et b deux raisonnements.
Si a=>b et que b est faux, je sais que b n'implique pas (forcément ?) a.
Ma question est : peux-t-on dire pour autant que a est faux ? (Le cas de b pouvant être une exception)

Merci

Si alors . C'est la contraposée.
Donc si tu sais que et que est faux, tu peux effectivement en déduire que est faux également.

Un exemple (trivial, certes), si x est un réel : donc si je sais que alors je peux en déduire que .

Mais si le raisonnement qui sort de a (b) est faux pour une raison indépendante de a, ça marche aussi ?

Bien sûr !

(Le pape est une femme) => (2+2 = 5) est une implication qui est vraie.

Comme tu sais que 2+2 n'est pas égal à 5, tu peux en déduire que le pape n'est pas une femme.

Merci beaucoup , j'ai directement compris avec ton exemple !