Une relation logique où la vérité de A entraîne nécessairement la vérité de B. Notation : A → B
Si A → B, alors ¬B → ¬A (équivalence logique)
Si A → B, la réciproque est B → A (pas forcément vraie)
"Si P, alors Q" ou "P implique Q"
"Si il pleut, alors les rues sont mouillées"
"Tous les oiseaux ont des plumes"
"Si A est vrai, que peut-on déduire ?"
"Si B est faux, que peut-on dire de A ?"
"Si A → B et B → C, alors ?"
Dessinez : A → B, puis ¬B → ¬A pour visualiser
Testez toujours avec des exemples concrets
A → B ne signifie PAS B → A
Si A → B est faux, on ne peut rien déduire de ¬A
L'implication logique ≠ causalité temporelle
"Les chats sont des mammifères" = "Tous les chats..."
Transformez 5 phrases du quotidien en implications logiques
Pour chaque implication, écrivez sa contraposée
Cherchez des contre-exemples aux réciprocues
Créez un tableau de vérité pour les cas complexes
Reliez plusieurs implications : A→B, B→C, donc A→C
Supposez le contraire et montrez la contradiction