Initiation à la logique
Les symboles logiques sont comme un code secret qui rend les maths plus précises. Tu utiliseras ∀ pour dire "quel que soit" ou "pour tout", et ∃ pour "il existe". Le symbole ∃! signifie "il existe un unique", ce qui est encore plus spécifique.
La négation (symbole ¬) inverse complètement une proposition. Si P₁ : "∀x∈ℝ, x ≥ 0" était vraie (ce qui n'est pas le cas !), alors ¬P₁ serait fausse. C'est un principe de base : une proposition et sa négation ont toujours des valeurs opposées.
Les lois de Morgan te montrent comment nier des propositions complexes. Pour nier "P et Q", tu obtiens "(non P) ou (non Q)". Pour nier "P ou Q", tu obtiens "(non P) et (non Q)". Retiens cette astuce : la négation change "et" en "ou" et inversement !
Astuce pratique : Quand tu nies une implication P ⇒ Q, tu obtiens "P et (non Q)" - autrement dit, P est vraie MAIS Q est fausse.
L'implication P ⇒ Q se traduit par "si P est vraie, alors Q est vraie". P devient une condition suffisante pour Q, et Q une condition nécessaire pour P. La contraposée (¬Q ⇒ ¬P) change l'ordre ET les signes, tandis que la réciproque (Q ⇒ P) change seulement l'ordre.