1. Énoncé du problème : Nous allons résoudre un problème typique de logique mathématique de niveau L1, qui consiste à déterminer la validité d'une proposition logique. 2. Formule et règles importantes : Une proposition logique peut être analysée à l'aide des connecteurs logiques tels que \text{et} (\wedge), \text{ou} (\vee), \text{non} (\neg), et l'implication (\Rightarrow). 3. Exemple : Soit la proposition $P \Rightarrow Q$ et $P$ vraie, que peut-on conclure ? 4. Travail intermédiaire : Par définition de l'implication, si $P$ est vraie et $P \Rightarrow Q$ est vraie, alors $Q$ doit être vraie. 5. Conclusion : Ainsi, la proposition $Q$ est vraie sous ces conditions. Cette démarche illustre un raisonnement logique fondamental en mathématiques.