La logique combinatoire : cours de maths en terminale en PDF.

Mis à jour le 16 janvier 2026

Accueil >> Lycée >> Maths Terminale >> Cours de maths >> Cours en Terminale >> La logique combinatoire : cours de maths en terminale en PDF.

La logique combinatoire dans un cours de maths en terminale où nous étudierons l’implication directe, la réciproque et la contraposée.

1.Propriété directe :

Définition :

Une propriété mathématique est une affirmation qui est toujours vraie.

Elle ne comporte aucune exception.

Une propriété directe est obtenue à l’aide des hypothèses dont on dispose et le but est de démontrer la conclusion attendue.

Exemple :

• Propriété directe : Si ABC est un triangle rectangle en A alors BC² = AB² + AC² .

( ABC rectangle en A \Longrightarrow BC² = AB² + AC²)

• Hypothèses : ABC rectangle en A.

• Conclusion : BC² = AB² + AC²

2.Propriété réciproque :

Définition :

L’énoncé réciproque d’une propriété s’obtient en inversant conclusion et hypothèses .

Exemple :

• Propriété réciproque : Si BC² = AB² + AC² alors ABC est un triangle rectangle en A .

( ABC rectangle en A \Longleftarrow BC² = AB² + AC²)

• Hypothèses : BC² = AB² + AC².

• Conclusion : ABC rectangle en A .

3.Propriété contraposée:

Définition :

L’énoncé contraposée d’une propriété s’obtient par la négation de la partie réciproque .

Exemple :

• Propriété contraposée : Si BC² 1$\neq AB² + AC² alors ABC n’est pas un triangle rectangle .

Publicité

• Hypothèses (négation réciproque) : BC² 1$\neq AB² + AC².

• Conclusion (négation réciproque) : ABC n’est pas un triangle rectangle .

4.Equivalence :

Définition :

Lorsque la propriété directe et réciproque sont vraies, on peut regrouper ces deux propriétés en un seul énoncé utilisant l’expression « si et seulement si » ( in équa noté i.e). On dit alors que l’on a une équivalence.

Exemple :

• Equivalence: ABC est est un triangle rectangle en A si et seulement si BC² = AB² + AC² .

( ABC rectangle en A \Longleftrightarrow BC² = AB² + AC²) .

4.4/5 - (26038 votes)


Télécharger et imprimer ce document en PDF gratuitement :

Vous avez la possibilité de télécharger puis d'imprimer gratuitement ce document «la logique combinatoire : cours de maths en terminale en PDF.» au format PDF.


Escape game de maths avec exercices corrigés sur Mathovore pour réviser en ligne.



Nos applications

Téléchargez gratuitement la dernière version de nos applications.
Application Mathovore sur Google Play Store. Application Mathovore sur Apple Store.


Inscription gratuite à Mathovore.  Mathovore c'est 14 122 542 cours et exercices de maths téléchargés en PDF.