Académique Documents
Professionnel Documents
Culture Documents
P V F
nonP F V
P Q P∧Q
1 1 1
1 0 0
0 1 0
0 0 0
1= vraie=V ; 0=fausse=F
P Q «PꓦQ»
1 1 1
1 0 1
0 1 1
0 0 0
Exemple
√2 ∈ ℚ ou (il existe 𝑥 ∈ 𝐼𝑅 ; 𝑥 + 1 = 0) est une proposition fausse
Exercice :
Déterminer la valeur de vérité de chacune des propositions suivantes.
« √9=-3 et
(−3) = 9»
« √3 + √7 > 3 𝑜𝑢 𝜋 𝑢𝑛 𝑛𝑜𝑚𝑏𝑟𝑒 𝑟𝑎𝑡𝑖𝑜𝑛𝑛𝑒𝑙"
"√12 ≠ 3 𝑒𝑡 √4 = 2"
d- Implication logique.
Définition
L’implication de deux propositions P et Q est la proposition fausse seulement si P
est vraie et Q fausse, elle se note (P⇒ 𝑄).
Tableau de vérité de la proposition (P⇒Q)
P Q P⇒Q
1 1 1
1 0 0
0 1 1
0 0 1
Exemples ;
. " x=1 ⇒ x2 =1 " est une proposition vraie.
. " x∈IN ⇒ x≥0 " est une proposition vraie .
. " x≥0 ⇒ xϵ IN" est une proposition fausse .
e- Equivalence logique
Définition
On dit que deux propositions P et Q sont équivalentes lorsqu’elles sont
simultanément vraies ou simultanément fausses. On note (P⇔Q) et on lit « P est
équivalente à Q » ; « P équivaut à Q » ou « P si et seulement si Q ».
Tableau de vérité de (𝑃 ⇔ 𝑄)
P Q P⇔Q
1 1 1
1 0 0
0 1 0
0 0 1
Propriété
Les deux propositions [P⇔Q] et [P⇒Q et Q⇒P] sont équivalentes.
Remarque
Dans quelques cas pour montrer que (P⇔Q) est vraie il suffit de montrer que
(P⇒Q) et (Q⇒P) sont vraies.
Exemples
Pour tout 𝑥 = 0 ⇔ 𝑥 = 0 𝑒𝑠𝑡 𝑣𝑟𝑎𝑖𝑒.
Application
Soient x et y deux réels positifs
M q : √2𝑥 + 2 − √𝑥 = 1 ⇔ 𝑥 = 1 .
f- Lois de Morgan
Théorème
Soient P ; Q et R des propositions, les propositions suivantes sont des lois
logiques : 𝑄 𝑒𝑡 𝑃 ⇔ 𝑃 𝑜𝑢 𝑄 ; 𝑄 𝑜𝑢 𝑃 ⇔ 𝑃 𝑒𝑡 𝑄
P et (Q ou R) ⇔ (𝑃 𝑒𝑡 𝑄)𝑜𝑢 (𝑃 𝑒𝑡 𝑅).
P ou (Q et R) ⇔ (P ou Q) et (P ou R).
Exemples :
3𝑥 − 𝑦 = 4
⇔ ….
𝑥 +𝑦 =0
g- Les quantificateurs.
Définition
*Le quantificateur existentiel noté ꓱ, exprime l’existence « il existe au moins ».
*le quantificateur existentiel d’unicité noté ꓱ!, exprime l’existence unique.
*Le quantificateur universel noté ꓯ, exprime « pour tout » ou « quel que soit ».
Théorème
Réponse