Version Bêta · Lancement officiel le 28 août 2026 Signaler un bug
📄 Mémento Tronc Commun

🧠 Logique mathématique

Tout le chapitre sur une page : formules, méthode, pièges. À lire 5 min avant un contrôle.

📐Formules clés
Implication
P ⇒ Q : si P est vraie, alors Q est vraie
Contraposée (équivalente)
Non Q ⇒ Non P
Réciproque (pas forcément vraie)
Q ⇒ P
Négation de ∀
¬(∀x, P(x)) = ∃x, ¬P(x)
Négation de ∃
¬(∃x, P(x)) = ∀x, ¬P(x)
Récurrence
1) Initialisation (n=0 ou n=1) · 2) Hérédité (P(n)→P(n+1))
⚠️Pièges à éviter
  • P ⇒ Q est vraie quand P est fausse (peu importe Q) !
  • La réciproque n'est pas forcément vraie
🎯
Maintenant, entraîne-toi
Des exercices corrigés sur ce chapitre t'attendent