Fiche de révision : Logique et raisonnements

📋 Plan du Cours

1. Propositions et opérateurs logiques
2. Implication et équivalence
3. Conditions nécessaire et suffisante
4. Quantificateurs et négations
5. Principes de récurrence
6. Méthodes de démonstration
7. Raisonnements par cas et analyse
8. Histoire de la logique mathématique

📅 Repères chronologiques

1. IVe siècle avant J.-C.Aristote a inventé les syllogismes, qui sont des raisonnements déductifs rigoureux.
2. 1854George Boole publie Les Lois de la pensée et traduit les raisonnements logiques sous forme d’équations mathématiques avec les opérateurs ET, OU et NON.
3. 1879Gottlob Frege publie l’idéographie (Begriffsschrift), ouvrage qui pose les bases de la logique mathématique moderne et introduit les quantificateurs ∀ et ∃.

📖 1. Propositions et opérateurs logiques

🔑 Notions clés & Définitions

• Proposition : Énoncé mathématique dont on peut dire qu’il est vrai ou faux.
• Négation : Proposition qui est fausse si P est vraie et qui est vraie si P est fausse.
• Conjonction : Proposition vraie lorsque P et Q sont vraies simultanément.
• Disjonction inclusive : Proposition vraie lorsqu’au moins l’une des propositions P ou Q est vraie.

📖 2. Implication et équivalence

🔑 Notions clés & Définitions

• Implication : Proposition « non(P) ou Q » qui est vraie lorsque P est fausse ou Q est vraie.
• Équivalence : Proposition vraie lorsque P et Q sont vraies en même temps et fausses en même temps.

★ À maîtriser

• Pour démontrer que l’implication P ⇒ Q est vraie, on suppose P vraie puis on montre que Q est vraie.

• L’équivalence P ⇔ Q est équivalente à la conjonction des implications P ⇒ Q et Q ⇒ P.

• Les lois de Morgan donnent non(P et Q) ⇔ non(P) ou non(Q), ainsi que non(P ou Q) ⇔ non(P) et non(Q).

• La contraposition affirme que P ⇒ Q est équivalente à non(Q) ⇒ non(P).

Compléments

📌 La négation de l’implication P ⇒ Q est la proposition P et non(Q).

📌 La loi de double négation affirme que P est équivalente à non(non(P)).

💡 Astuce mémo

Implication : un seul sens ; équivalence : les deux sens.

📖 3. Conditions nécessaire et suffisante

🔑 Notions clés & Définitions

• Condition nécessaire : Condition pour laquelle l’implication P ⇒ Q est vraie.
• Condition suffisante : Condition pour laquelle l’implication Q ⇒ P est vraie.
• Condition nécessaire et suffisante : Condition pour laquelle l’équivalence P ⇔ Q est vraie.

💡 Astuce mémo

Nécessaire : il faut ; suffisante : il suffit.

📖 4. Quantificateurs et négations

🔑 Notions clés & Définitions

• Quantificateur universel : L’écriture ∀x ∈ E, P(x) signifie que la propriété P(x) est vraie pour tout élément x de E.
• Quantificateur existentiel : L’écriture ∃x ∈ E, P(x) signifie que la propriété P(x) est vraie pour au moins un élément x de E.
• Existence unique : L’écriture ∃!x ∈ E, P(x) signifie que P(x) est vraie pour un unique élément x de E.

📝 Points essentiels

📌 La négation de ∀x ∈ E, P(x) est ∃x ∈ E, non(P(x)), et la négation de ∃x ∈ E, P(x) est ∀x ∈ E, non(P(x)).

📌 Dans ∀x ∈ E, ∃y ∈ F, P(x,y), y peut dépendre de x, tandis que dans ∃y ∈ F, ∀x ∈ E, P(x,y), le même y convient pour tous les x.

💡 Astuce mémo

∀ signifie tous ; ∃ signifie au moins un.

📖 5. Principes de récurrence

📝 Points essentiels

• La récurrence simple se déroule par initialisation de P(n₀), hérédité de P(n) vers P(n+1), puis conclusion que P(n) est vraie pour tout n ≥ n₀.

• La récurrence double vérifie P(n₀) et P(n₀+1), puis utilise P(n) et P(n+1) pour montrer P(n+2).

• La récurrence forte vérifie P(n₀), suppose vraies toutes les propriétés de P(n₀) à P(n), puis montre P(n+1).

💡 Astuce mémo

Initialisation → hérédité → conclusion.

📖 6. Méthodes de démonstration

📝 Points essentiels

• Le raisonnement par équivalence transforme successivement une proposition en propositions équivalentes, notamment pour résoudre une équation, une inéquation ou déterminer le domaine de définition d’une fonction.

• Le raisonnement par contraposition démontre P ⇒ Q en prouvant l’implication équivalente non(Q) ⇒ non(P).

• Le raisonnement par l’absurde suppose non(P) vraie et conduit à une contradiction afin de démontrer P.

📖 7. Raisonnements par cas et analyse

📝 Points essentiels

• Le raisonnement par disjonction de cas consiste à partitionner E en parties disjointes dont la réunion est E, puis à démontrer P(x) dans chaque partie.

• Le raisonnement par analyse-synthèse suppose d’abord qu’une solution existe pour déterminer des valeurs possibles, puis conserve seulement celles qui appartiennent à E et vérifient la propriété.

💡 Astuce mémo

Analyse : trouver ; synthèse : vérifier et garder.

📖 8. Histoire de la logique mathématique

📝 Points essentiels

• L’algèbre de Boole est utilisée aujourd’hui dans les ordinateurs et les circuits électroniques.

💡 Astuce mémo

Aristote → Boole → Frege : syllogismes, calcul, langage.

📊 Tableaux de synthèse

Opérateurs logiques fondamentaux