Académique Documents
Professionnel Documents
Culture Documents
1
0.1 Correction de …che TD 1
P P P P ,P
V F V V
F V F V
Table de vérité de (P ^ Q) , (P _ Q)
P Q P Q (P^Q) (P ^ Q) (P _ Q) (P ^ Q) ,(P _ Q)
V F F V F V V V
F V V F F V V V
F F V V F V V V
V V F F V F F V
P Q P Q (P_Q) (P _ Q) (P ^ Q (P _ Q) ,(P ^ Q)
V F F V V F F V
F V V F V F F V
F F V V F V V V
V V F F V F F V
Nous remarquons
L’assertion de P est l’assertion P
L’assertion de (P ^ Q) est l’assertion (P _ Q)
L’assertion de (P _ Q) est l’assertion (P ^ Q)
Exercice 2:
1 « Pour tout nombre réel, son carré est positif » .
2
« Pour tout entier n, il existe un unique réel x tel que exp(x) égale n »
0 0 0
m m mn + nm
a+b= + 0 =
n n nn0
0 0 0
mais mn + nm 2 Z et nn 2 Z donc
a+b2Q
10 2 =) ( 10)2 4
3
car (p =) q) () (q =) p)
n est pair alors il existe k 2 N tel que n = 2k
alors
n2 = 4k 2
donc
n2 = 2(2k 2 )