Logique mathématique et raisonnement

Propositions logiques

Une proposition logique est une déclaration qui peut être soit vraie, soit fausse. Exemple :
- Il pleut. (peut être vraie ou fausse)

Les opérateurs logiques

• Et (∧) :
  La proposition « A ∧ B » est vraie si et seulement si A et B sont vraies.
• Ou (∨) :
  La proposition « A ∨ B » est vraie si au moins une de A ou B est vraie.
• Non (¬) :
  La proposition « ¬A » est vraie si A est fausse.

Tables de vérité

Les tables de vérité permettent de déterminer la valeur de vérité d'une proposition composée en fonction de celles de ses composantes.

Exemples :

A	B	A ∧ B	A ∨ B	¬A
V	V	V	V	F
V	F	F	V	F
F	V	F	V	V
F	F	F	F	V

Quantificateurs

Les quantificateurs précisent l'étendue de la propriété considérée dans un ensemble.

Les principaux quantificateurs :

• Quantificateur universel (∀) :
  « Pour tout », exemple :
  ∀x ∈ ℝ, x² ≥ 0.
• Quantificateur existentiel (∃) :
  « Il existe », exemple :
  ∃x ∈ ℝ, x² = 4.

Exemples d’utilisation

Pour exprimer une propriété avec un quantificateur :
- « Tous les étudiants ont réussi » :
∀x, étudiant(x) → réussi(x)

- « Il existe un étudiant qui a réussi » :
∃x, étudiant(x) ∧ réussi(x)

Conclusion

Les propositions logiques et les quantificateurs sont fondamentaux pour le raisonnement en mathématiques, permettant d’énoncer, analyser et prouver des propriétés et théorèmes.