Le vocabulaire de la logique
- Fiche de cours
- Quiz
- Profs en ligne
- Videos
- Application mobile
- Utiliser les connecteurs logiques « et », « ou » et la négation « non ».
- Reconnaitre et utiliser les symboles logiques.
- Reconnaitre et utiliser les 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.
- Quantificateurs :
- quel que soit ;
- il existe.
Géométrie plane
Une proposition « P ou Q » est vraie si P est vérifiée ou si Q est 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 parisien »
Q : « L’individu choisi est français »
P ⇒ Q : Si l’individu choisi est 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
Les expressions « quel que soit » et « il existe » permettent de désigner les éléments qui nous intéressent dans un énoncé.
« Quel que soit » signifie « pour tout », c'est un quantificateur universel.
Quel que soit
.
Cela signifie que le carré d'un nombre réel
est toujours positif.
« Il existe » signifie « il existe au moins un », c’est un quantificateur existentiel.
Il existe un nombre k tel que k2 = 1. En effet, 1² = (–1)² = 1.
Comment as-tu trouvé ce cours ?
Évalue ce cours !
Vous avez obtenu75%de bonnes réponses !
Recevez l'intégralité des bonnes réponses ainsi que les rappels de cours associés :
Fiches de cours les plus recherchées
Mathématiques
Les différents raisonnements mathématiques- Seconde- Mathématiques
Mathématiques
Réunion, intersection d'évènements et évènement contraire
Mathématiques
Le vocabulaire des probabilités
Mathématiques
Les vecteurs
Mathématiques
La somme de deux vecteurs
Mathématiques
Les coordonnées d'un vecteur
Mathématiques
Produit d'un vecteur par un réel, colinéarité de deux vecteurs
Mathématiques
Projeté orthogonal et trigonométrie- Seconde- Mathématiques
Mathématiques
Modéliser un problème par une inéquation du premier degré à une inconnue
Mathématiques
Fluctuation de l'échantillonnage et loi des grands nombres
Fermer
Accédez gratuitement à
