Logique Mathématique

1. Résumé du cours : Logique Mathématique

A. Concepts de base

1. Propositions :

   • Une proposition est une phrase mathématique qui peut être soit vraie (v) soit fausse (f).
   • Exemples :
     • $2 + 2 = 4$ (vrai).
     • $5 < 3$ (faux).

2. Négation ($\neg P$) :

   • La négation d’une proposition $P$ s’écrit $\neg P$.
   • Si $P$ est vraie, alors $\neg P$ est fausse, et inversement.

3. Propositions composées :

   • Conjonction ($P \land Q$) : $P \land Q$ est vraie si $P$ et $Q$ sont vraies.
   • Disjonction ($P \lor Q$) : $P \lor Q$ est vraie si $P$, $Q$ ou les deux sont vraies.
   • Implication ($P \Rightarrow Q$) : $P \Rightarrow Q$ est fausse seulement si $P$ est vraie et $Q$ est fausse.
   • Équivalence ($P \Leftrightarrow Q$) : $P \Leftrightarrow Q$ est vraie si $P$ et $Q$ ont la même valeur de vérité.

4. Table de vérité :

   • Permet de représenter toutes les combinaisons possibles de vérité entre des propositions.

B. Règles et propriétés

• Double négation : $\neg(\neg P) = P$.
• Distribution : $(P \land Q) \lor R$.
• Négation de l’implication : $\neg(P \Rightarrow Q) = P \land \neg Q$.

---

2. Exercices d'application

Exercice 1 :

Construisez la table de vérité pour l’expression :
$(P \lor Q) \land (\neg P)$

Exercice 2 :

Donnez la négation de l’expression suivante :
$(P \Rightarrow Q) \land (\neg Q)$

Exercice 3 :

Déterminez si l’énoncé suivant est vrai ou faux :

• $P : 2 + 2 = 4$, $Q : 5 > 3$.
  • Évaluer $P \Rightarrow Q$.

Exercice 4 :

Démontrez la validité de l’équivalence :
$(P \Leftrightarrow Q) \Leftrightarrow (\neg P \Leftrightarrow \neg Q)$.

---

3. Conseils et ressources supplémentaires

• Travailler sur des exemples concrets pour comprendre les notions de conjonction, disjonction et implication.
• Consultez des plateformes éducatives marocaines comme Taalim.ma ou des sites d'exercices pour approfondir le sujet.

Logique mathématique

Cours	Resume	Exercices	Controles	Videos
Telecharger	Telecharger	Telecharger
Telecharger		Telecharger
Telecharger		Telecharger