Académique Documents
Professionnel Documents
Culture Documents
1
I. Etude de Math :
1. Logique :
Definition:
Une assertion : est une phrase mathématique qui admet pour vérifier
c’est “ Vrai “ et “ Faux “.
Example :
∀x ∈ Z x>0 : faux
1+1=10 : faux
Example :
X² = 1 ˜ x=1 : vrai
l’assertion notée Ᵽ
P Ᵽ
V F
F V
2
P Q P ou Q
V V V
F V V
V F V
F F F
P Q P et Q
V V V
V F F
F F F
F V F