Logique mathématique et raisonnement

1. Les propositions logiques

Une proposition logique est une phrase dont la sens est clair et qui est soit vraie, soit fausse, mais pas les deux à la fois.

Exemples :

• « Le ciel est bleu » (peut être vraie ou fausse selon la situation).
• « 2 + 2 = 4 » (toujours vraie).

2. Les connecteurs logiques

2.1. La conjonction : et

Symbolisée par ∧. La proposition P ∧ Q est vraie si et seulement si P et Q sont vraies.

Exemple : « Il pleut et il fait froid » est vraie si les deux sont vrais.

2.2. La disjonction : ou

Symbolisée par ∨. La proposition P ∨ Q est vraie si au moins l'une des deux est vraie.

Exemple : « Je vais au cinéma ou je reste à la maison » — vraie si l'un ou l'autre ou les deux sont vrais.

2.3. La négation : non

Symbolisée par ¬. La proposition ¬P est vraie si P est fausse.

Exemple : « Il ne pleut pas » est la négation de « Il pleut ».

3. Tautologies, contradictions et contingences

• Tautologie : une proposition toujours vraie.
• Contradiction : une proposition toujours fausse.
• Contingence : une proposition qui peut être vraie ou fausse selon la situation.

4. Quantificateurs

4.1. Le quantificateur universel : pour tout

Symbolisé par ∀. La déclaration « Pour tout x, P(x) » signifie que P est vraie pour tous les éléments de l'ensemble considéré.

Exemple : ∀x ∈ ℝ, x^2 ≥ 0 — vrai pour tous les réels.

4.2. Le quantificateur existentiel : il existe

Symbolisé par ∃. La déclaration « Il existe x tel que P(x) » signifie qu'au moins un élément vérifie P.

Exemple : ∃x ∈ ℝ, x^2 = 4 — vrai, par exemple pour x=2 ou x=-2.

5. Résumé

• Les propositions se combinent avec des connecteurs logiques (∧, ∨, ¬).
• Les quantificateurs précisent si une propriété est vraie pour tous ou pour certains éléments.
• Ces outils sont essentiels pour structurer le raisonnement mathématique.