Continuité des Fonctions (2BAC & Terminale) : Cours et Quiz Corrigé

Notion de Logique (Partie 2) : Lois Logiques et Méthodes de Raisonnement - 1BAC

Ce cours poursuit l'étude de la logique mathématique pour les élèves de 1ère année du Baccalauréat. Après avoir vu les propositions et les quantificateurs, nous abordons ici les lois logiques fondamentales ainsi que les principales méthodes de démonstration.

1. Les Lois Logiques

Définition :
Une loi logique (ou tautologie) est une proposition composée qui est toujours vraie, quelles que soient les valeurs de vérité des propositions qui la composent.

Quelques lois logiques essentielles :

• Loi de l'implication : \( (P \implies Q) \iff (\overline{P} \lor Q) \)
• Loi de la contraposée : \( (P \implies Q) \iff (\overline{Q} \implies \overline{P}) \)
• Lois de De Morgan : \( \overline{P \land Q} \iff \overline{P} \lor \overline{Q} \) et \( \overline{P \lor Q} \iff \overline{P} \land \overline{Q} \)
• Loi de l'équivalence : \( (P \iff Q) \iff [ (P \implies Q) \land (Q \implies P) ] \)

2. Méthodes de Raisonnement Mathématique

A. Le Raisonnement par Équivalence

Principe :
Pour démontrer qu'une proposition \(P\) est équivalente à une proposition \(Q\) (\(P \iff Q\)), on construit une chaîne d'équivalences successives : $$ P \iff P_1 \iff P_2 \iff \dots \iff Q $$ Attention : Chaque étape doit être une véritable équivalence (réversible).

B. Le Raisonnement par Contraposée

Principe :
Puisque l'implication \(P \implies Q\) est équivalente à sa contraposée \(\overline{Q} \implies \overline{P}\), pour démontrer que \(P \implies Q\) est vraie, on peut supposer que \(\overline{Q}\) est vraie et démontrer que \(\overline{P}\) l'est aussi.
Exemple type : Montrer que si \(n^2\) est pair, alors \(n\) est pair (en montrant que si \(n\) est impair, alors \(n^2\) est impair).

C. Le Raisonnement par l'Absurde

Principe :
Pour démontrer qu'une proposition \(P\) est vraie, on suppose le contraire (c'est-à-dire que \(\overline{P}\) est vraie) et on montre que cela conduit à une contradiction (une absurdité mathématique du type \(1 = 0\) ou \(A \text{ et } \overline{A}\)). On en conclut que \(P\) est nécessairement vraie.

D. Le Raisonnement par Disjonction des Cas

Principe :
Si l'on souhaite démontrer une propriété \(P(x)\) pour tout \(x\) dans un ensemble \(E\), on peut diviser \(E\) en plusieurs sous-ensembles (cas) \(E_1, E_2, \dots, E_n\) tels que \(E = E_1 \cup E_2 \cup \dots \cup E_n\), et démontrer la propriété dans chaque cas séparément.

Quiz d'évaluation : Lois Logiques et Raisonnements (1BAC)

Testez vos connaissances sur les méthodes de démonstration et les lois logiques.

Nom et Prénom :

Établissement :

1. Quelle est la négation de la proposition \( P \land Q \) (Lois de De Morgan) ?

\( \overline{P} \land \overline{Q} \) \( \overline{P} \lor \overline{Q} \) \( P \lor \overline{Q} \)

2. L'implication \( P \implies Q \) est logiquement équivalente à :

\( \overline{P} \implies \overline{Q} \) \( \overline{Q} \implies \overline{P} \) \( Q \implies P \)

3. Pour démontrer une implication \( P \implies Q \) par contraposée, on montre que :

\( \overline{Q} \implies \overline{P} \) \( Q \implies P \) \( P \land \overline{Q} \)

4. Dans un raisonnement par l'absurde pour prouver \( P \), on suppose que :

\( P \) est vraie \( \overline{P} \) est vraie \( P \implies Q \) est fausse

5. Quelle loi logique exprime l'équivalence en fonction des implications ?

\( (P \iff Q) \iff [ (P \implies Q) \land (Q \implies P) ] \) \( (P \iff Q) \iff [ (P \lor Q) \land (\overline{P} \lor \overline{Q}) ] \) \( (P \iff Q) \iff (P \lor Q) \)

6. Le raisonnement par disjonction des cas consiste à :

Supposer le contraire de la conclusion Diviser le domaine d'étude en plusieurs sous-cas exhaustifs Inverser l'ordre des hypothèses

7. Quelle est la négation de la disjonction \( P \lor Q \) ?

\( \overline{P} \land \overline{Q} \) \( \overline{P} \lor \overline{Q} \) \( P \land \overline{Q} \)

8. Pour prouver que \( n(n+1) \) est toujours pair pour tout entier \(n\), quelle méthode est la plus directe ?

Disjonction des cas (selon la parité de \(n\)) Raisonnement par l'absurde Aucune méthode n'est possible

9. Une tautologie (ou loi logique) est une proposition qui est :

Toujours fausse Toujours vraie Vraie uniquement pour certains \(x\)

10. Quelle proposition est égale à \( P \implies Q \) sous forme de disjonction ?

\( \overline{P} \lor Q \) \( P \lor \overline{Q} \) \( \overline{P} \land Q \)

Bilan d'Évaluation - Lois Logiques & Raisonnements

Ressources complémentaires de soutien scolaire : www.bacenpoche.com

Conclusion & En savoir plus

La maîtrise des différentes méthodes de raisonnement (absurde, contraposée, disjonction des cas) est essentielle pour aborder avec succès les démonstrations mathématiques en 1BAC. Pour approfondir vos révisions et accéder à des exercices corrigés conformes au programme marocain, visitez le site de Bac en Poche.