1. Le problème : Énoncer les règles fondamentales de la logique mathématique au niveau Licence 1. 2. La logique mathématique étudie les principes du raisonnement rigoureux. 3. Les règles principales incluent : - La négation : $\neg p$ est vrai si $p$ est faux. - La conjonction : $p \wedge q$ est vrai si $p$ et $q$ sont vrais. - La disjonction : $p \vee q$ est vrai si au moins un de $p$ ou $q$ est vrai. - L'implication : $p \Rightarrow q$ est faux seulement si $p$ est vrai et $q$ est faux. - L'équivalence : $p \Leftrightarrow q$ est vrai si $p$ et $q$ ont la même valeur de vérité. 4. Les règles d'inférence permettent de déduire de nouvelles propositions : - Modus ponens : de $p$ et $p \Rightarrow q$, on déduit $q$. - Modus tollens : de $\neg q$ et $p \Rightarrow q$, on déduit $\neg p$. - Silogisme hypothétique : de $p \Rightarrow q$ et $q \Rightarrow r$, on déduit $p \Rightarrow r$. 5. Les quantificateurs sont essentiels : - Quantificateur universel : $\forall x, P(x)$ signifie que $P(x)$ est vrai pour tout $x$. - Quantificateur existentiel : $\exists x, P(x)$ signifie qu'il existe au moins un $x$ pour lequel $P(x)$ est vrai. 6. Ces règles sont la base pour construire des démonstrations rigoureuses en mathématiques.