Conjonction, disjonction et leurs secrets
La conjonction (ET) est exigeante : elle n'est vraie que si les deux propositions P ET Q sont vraies simultanément. Dès qu'une des deux est fausse, c'est fini !
La disjonction (OU) est plus tolérante : elle est vraie dès qu'au moins une des deux propositions est vraie. C'est le "ou inclusif" - les deux peuvent être vraies en même temps.
Les lois de Morgan sont tes formules magiques pour les négations ! Pour nier "P ou Q", tu obtiens "P̄ et Q̄". Pour nier "P et Q", tu obtiens "P̄ ou Q̄".
L'implication P ⟹ Q ("Si P alors Q") est un peu particulière : elle n'est fausse que dans un seul cas, quand P est vraie mais Q est fausse.
💡 Point clé : Dans une implication vraie, Q est une condition nécessaire pour P, et P est une condition suffisante pour Q !