Lycée   >   Terminale   >   Mathématiques   >   Le vocabulaire de la logique- Terminale- Mathématiques

Le vocabulaire de la logique

  • Fiche de cours
  • Quiz
  • Profs en ligne
Objectifs
  • Utiliser les connecteurs logiques « et », « ou » et la négation « non ».
  • Reconnaitre et utiliser les symboles logiques.
  • Reconnaitre et utiliser les symboles des quantificateurs.
Points clés
  • 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 ».
1. Connecteurs logiques et négation
a. Connecteurs logiques
OU

Une proposition « P ou Q » est vraie si P est vérifiée ou si Q vérifiée.

Exemple
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.
Remarque
Une proposition « P ou Q » est fausse lorsque P et Q sont toutes les deux fausses.
ET

Une proposition « P et Q » est vraie si à la fois P et Q sont vérifiées.

Exemple
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.
Remarque
Une proposition « P et Q » est fausse lorsque P ou Q est fausse.
b. Négation
Non

La proposition « non P » est vraie lorsque la proposition P est fausse.

Remarque
Une proposition « non P » est fausse lorsque P est vraie.
Exemple
P : « Le triangle est rectangle »
Non P : « Le triangle n’est pas rectangle »
2. Implication et équivalence
a. Implication

P implique Q (noté « P ⇒ Q ») :
Si la proposition P est vraie alors la proposition Q est vraie.

Remarque
Si la proposition Q est vraie, cela n’implique pas toujours Q ⇒ P.
Exemple
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.
b. Équivalence

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)

Remarque
Dans un théorème, l’équivalence se présente sous la forme « P est vraie si et seulement si Q est vraie ».
Exemple
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
c. Condition nécessaire et suffisante
Condition nécessaire

P est vraie si Q est vraie c’est-à-dire P ⇒ Q.
Q est une condition nécessaire à P.

Condition suffisante

Si la proposition Q est vraie, alors la proposition P est vraie également c’est-à-dire Q ⇒ P.
Q est une condition suffisante à P.

Exemple
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.
Exemple non mathématique
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.
3. Quantificateurs
a. « Pour tout », « Quel que soit »

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.

Exemple
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.

 

b. « Il existe »

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.

Remarque
En écrivant ∃! cela signifie « Il existe un unique ».
Exemple
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,…
Exemple
Soit n un nombre entier et P : « n= 9 ».
!n, tel que n= 9.
Cela se lit : Il existe un unique nombre entier n tel que n= 9.
C’est = 3.

Comment as-tu trouvé ce cours ?

Évalue ce cours !

 

Question 1/5

La médiane de 6 notes est 13. Cela signifie que :

Question 2/5

On a obtenu la série statistique suivante :

Combien vaut la médiane ?

Question 3/5

On a obtenu la série ci-dessous :

Quelle est la médiane de cette série ?

Question 4/5

On a relevé les tailles en cm des élèves d’une classe :

 

Parmi les propositions suivantes, laquelle est vraie ?

Question 5/5

Les notes en français de deux classes littéraires sont données dans le tableau suivant :

Quelle est la note médiane ?

Vous avez obtenu75%de bonnes réponses !

Recevez l'intégralité des bonnes réponses ainsi que les rappels de cours associés :

Votre adresse e-mail sera exclusivement utilisée pour vous envoyer notre newsletter. Vous pourrez vous désinscrire à tout moment, à travers le lien de désinscription présent dans chaque newsletter. Pour en savoir plus sur la gestion de vos données personnelles et pour exercer vos droits, vous pouvez consulter notre charte.

Une erreur s'est produite, veuillez ré-essayer

Consultez votre boite email, vous y trouverez vos résultats de quiz!

Découvrez le soutien scolaire en ligne avec myMaxicours

Le service propose une plateforme de contenus interactifs, ludiques et variés pour les élèves du CP à la Terminale. Nous proposons des univers adaptés aux tranches d'âge afin de favoriser la concentration, encourager et motiver quel que soit le niveau. Nous souhaitons que chacun se sente bien pour apprendre et progresser en toute sérénité ! 

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