Le vocabulaire de la logique- Terminale- Mathématiques
- Fiche de cours
- Quiz et exercices
- Vidéos et podcasts
- Utiliser les connecteurs logiques « et », « ou » et la négation « non ».
- Reconnaitre et utiliser les symboles logiques.
- Reconnaitre et utiliser les symboles des quantificateurs.
- Connecteurs logiques :
- Et : remplir les deux conditions.
- Ou : Remplir une des conditions.
- Non : Condition inverse.
- Implication : P⇒Q signifie que si P est vraie alors Q est vraie.
- Équivalence : P⇔Q signifie que si P est vraie alors Q est vraie et si Q est vraie alors P est vraie.
- Vocabulaire et symbole :
- ∀ signifie « quel que soit ».
- ∃ signifie « il existe ».
Une proposition « P ou Q » est vraie si P est vérifiée ou si Q vérifiée.
P : « Ses côtés opposés sont égaux »
Q : « Ses côtés opposés sont parallèles »
Un quadrilatère est un parallélogramme si « P ou Q » , c’est-à-dire si ses côtés opposés sont égaux ou si ses côtés opposés sont parallèles.
Une proposition « P ou Q » est fausse lorsque P et Q sont toutes les deux fausses.
Une proposition « P et Q » est vraie si à la fois P et Q sont vérifiées.
P : « Ses quatre côtés sont égaux »
Q : « Ses diagonales sont de même longueur »
Un quadrilatère est un carré si « P et Q » , c’est-à-dire si ses quatre côtés sont égaux et si ses diagonales sont de même longueur.
Une proposition « P et Q » est fausse lorsque P ou Q est fausse.
La proposition « non P » est vraie lorsque la proposition P est fausse.
Une proposition « non P » est fausse lorsque P est vraie.
P : « Le triangle est rectangle »
Non P : « Le triangle n’est pas rectangle »
P implique Q (noté « P ⇒
Q ») :
Si la proposition P est vraie alors la proposition Q
est vraie.
Si la proposition Q est vraie, cela n’implique pas toujours Q ⇒ P.
P : « L’individu choisi est un parisien »
Q : « L’individu choisi est un français »
P ⇒ Q : Si l’individu choisi est un parisien alors il est français.
Par contre, Q ⇏ P : Si l’individu choisi est français, il n’est pas forcément parisien.
P est équivalent à Q (noté
« P ⇔ Q ») :
Si la proposition P est vraie alors la
proposition Q est vraie.
(P ⇒ Q)
Si la proposition Q est vraie, alors la
proposition P est vraie également.
(Q ⇒ P)
Dans un théorème, l’équivalence se présente sous la forme « P est vraie si et seulement si Q est vraie ».
Dans un triangle ABC,
P : « AB2 = AC2 + BC2 »
Q : « Le triangle ABC est rectangle en C »
P ⇒ Q : Si AB2 = AC2 + BC2 alors le triangle ABC est rectangle en C
Q ⇒ P : Si le triangle ABC est rectangle alors AB2 = AC2 + BC2
P ⇒ Q et Q ⇒ P donc P ⇔ Q
P est vraie si Q est vraie c’est-à-dire
P ⇒ Q.
Q est une condition nécessaire à P.
Si la proposition Q est vraie, alors la proposition P
est vraie également c’est-à-dire
Q ⇒ P.
Q est une condition suffisante à P.
Q : « ABC est un triangle isocèle » est une condition nécessaire pour que P : « ABC est un triangle équilatéral » soit vraie.
Q est nécessaire à P.
P : « ABC est un triangle équilatéral » est une condition suffisante pour que Q : « ABC est un triangle isocèle » soit vraie.
P est suffisante à Q.
A : « Le fruit est un agrume » est une condition nécessaire pour que O : « Le fruit est une orange » soit vraie.
A est nécessaire à O.
O : « Le fruit est une orange » est une condition suffisante pour que A : « Le fruit est un agrume » soit vraie.
O est suffisante à A.
Les quantificateurs « Pour
tout » ou « Quel que
soit » sont notés par le symbole
∀.
∀x, P est vraie. Cela
signifie que quel que soit
l’élément (d'un ensemble) choisi,
la propriété est vraie.
Soit n un nombre entier,
∀n, 2n est un nombre pair.
Cela se lit : Quel que soit (ou Pour tout) n, 2n est un nombre pair.
Le quantificateur « Il
existe » est noté
∃.
∃x,
tel que P est vraie.
Cela signifie qu’il existe un
élément (d’un ensemble) qui rend la
propriété P vraie.
En écrivant ∃! cela signifie « Il existe un unique ».
Soit n un nombre entier et P : « n est divisible par 3 ».
∃n, tel que P est vrai.
Cela se lit : Il existe un nombre n, tel que n est divisible par 3.
Par exemple : 9, 12, 1002,…
Soit n un nombre entier et P : « n2 = 9 ».
∃!n, tel que n2 = 9.
Cela se lit : Il existe un unique nombre entier n tel que n2 = 9.
C’est n = 3.
Évalue ce cours !
Des quiz et exercices pour mieux assimiler sa leçon
La plateforme de soutien scolaire en ligne myMaxicours propose des quiz et exercices en accompagnement de chaque fiche de cours. Les exercices permettent de vérifier si la leçon est bien comprise ou s’il reste encore des notions à revoir.
Des exercices variés pour ne pas s’ennuyer
Les exercices se déclinent sous toutes leurs formes sur myMaxicours ! Selon la matière et la classe étudiées, retrouvez des dictées, des mots à relier ou encore des phrases à compléter, mais aussi des textes à trous et bien d’autres formats !
Dans les classes de primaire, l’accent est mis sur des exercices illustrés très ludiques pour motiver les plus jeunes.
Des quiz pour une évaluation en direct
Les quiz et exercices permettent d’avoir un retour immédiat sur la bonne compréhension du cours. Une fois toutes les réponses communiquées, le résultat s’affiche à l’écran et permet à l’élève de se situer immédiatement.
myMaxicours offre des solutions efficaces de révision grâce aux fiches de cours et aux exercices associés. L’élève se rassure pour le prochain examen en testant ses connaissances au préalable.
Des vidéos et des podcasts pour apprendre différemment
Certains élèves ont une mémoire visuelle quand d’autres ont plutôt une mémoire auditive. myMaxicours s’adapte à tous les enfants et adolescents pour leur proposer un apprentissage serein et efficace.
Découvrez de nombreuses vidéos et podcasts en complément des fiches de cours et des exercices pour une année scolaire au top !
Des podcasts pour les révisions
La plateforme de soutien scolaire en ligne myMaxicours propose des podcasts de révision pour toutes les classes à examen : troisième, première et terminale.
Les ados peuvent écouter les différents cours afin de mieux les mémoriser en préparation de leurs examens. Des fiches de cours de différentes matières sont disponibles en podcasts ainsi qu’une préparation au grand oral avec de nombreux conseils pratiques.
Des vidéos de cours pour comprendre en image
Des vidéos de cours illustrent les notions principales à retenir et complètent les fiches de cours. De quoi réviser sa prochaine évaluation ou son prochain examen en toute confiance !
Fiches de cours les plus recherchées
Mathématiques
Les différents raisonnements mathématiques- Terminale- Mathématiques
Mathématiques
Loi binomiale, espérance et écart type- Terminale- Mathématiques
Mathématiques
Loi, épreuve et schéma de Bernoulli
Mathématiques
Ensembles et sous-ensembles : réunion, produit cartésien, k-uplets
Mathématiques
Nombre de parties d'un ensemble fini et permutations
Mathématiques
Combinaisons dans un ensemble fini et coefficients binomiaux
Mathématiques
La composée de deux fonctions
Mathématiques
La dérivée seconde d'une fonction
Mathématiques
La convexité d'une fonction
Mathématiques
La somme de 2 variables aléatoires
Fermer
Accédez gratuitement à
