Mathématiques (spécialité) · Première · Algorithmique, logique et automatismes

Raisonnement et logique

• Un raisonnement par induction mène à une conjecture ; seule une démonstration déductive l'établit, et un seul contre-exemple suffit à réfuter une propriété universelle.
• Pour « si P alors Q » : la réciproque est « si Q alors P » (pas équivalente) ; la contraposée est « si non Q alors non P » (équivalente).
• Négation : « pour tout » devient « il existe » et inversement ; la négation de « A et B » est « non A ou non B ».
• Quatre outils de preuve : démonstration directe, disjonction de cas, contraposée, raisonnement par l'absurde.