L'essentiel Du Cours 1 2020-2021 D'alg - Bre 1
L'essentiel Du Cours 1 2020-2021 D'alg - Bre 1
L'essentiel Du Cours 1 2020-2021 D'alg - Bre 1
P P P Q P ^Q P _Q P )Q P ,Q
1 0 1 1 1 1 1 1
0 1 1 0 0 1 0 0
0 1 0 1 1 0
0 0 0 0 1 1
Exemples:
Soit P : " Je suis un être humain ".
Q : "1 1 6= 1 ".
P : " Je ne suis pas un être humain " (cette proposition est fausse).
P ^ Q : " Je suis un être humain et 1 1 6= 1" (cette proposition est fausse).
P ^ Q : " Je suis un être humain et 1 1 = 1" (cette proposition est vraie).
P _ Q : " Je suis un être humain ou 1 1 6= 1" (cette proposition est vraie).
P _ Q : " Je ne suis pas un être humain ou 1 1 6= 1" (cette proposition est fausse).
P ) Q : " Je suis un être humain implique 1 1 6= 1" (cette proposition est fausse).
Q ) P : " 1 1 6= 1 implique Je suis un être humain" (cette proposition est vraie).
P , Q : " Je suis un être humain est equivalent a 1 1 6= 1" (cette proposition est fausse).
Q , P : " 1 1 = 1 est equivalent a Je suis un être humain" (cette proposition est vraie).
1
Exemples:
2
Âxo 1) "8x 2 E; 8y 2 F; P (x; y)" veut dire: "Pour tout x de E et tout y de F : P (x; y) est vraie".
2) "9x 2 E; 9y 2 F; P (x; y)" veut dire: "Il existe au moins un x de E et un y de F , tel que P (x; y)
soit vraie".
3) "8x 2 E; 9y 2 F; P (x; y)" veut dire: "Pour tout x de E; il existe au moins un y de F tel que P (x; y)
soit vraie".
Autrement dit: Pour chaque x de E il existe un certain y de F dépendant de x qui véri…ent ensemble
P (x; y).
4) "9x 2 E; 8y 2 F; P (x; y)" qui veut dire qu’il existe au moins un y de F; pour tout x de E; tel que
P (x; y) soit vraie.
Autrement dit: Il existe un certain y de F indépendant de x qui véri…e P (x; y) avec tous les x de E:
Exemples
8x 2 N; 9y 2 R; x y (ce qui est vrai).
8x 2 R; 8y 2 R; (xy)2 > 0 (ce qui est faux).
9x 2 N; 8y 2 Z; x divise y (ce qui est vrai).