Logique
Prof : Ben Tamagoult Hichem Niveau 3eme science Informatique
Négation d’une proposition :
La négation d’une proposition p est une nouvelle proposition notée non p et définie par
P Non p
la table de vérité ci-contre
1 0
Remarque : non (non p) et p ont la même valeur de vérité
0 1
Complémentaire d’un ensemble :
La partie B ainsi obtenue est appelée le complémentaire de A par rapport à E
On note : B CE ou B A
A
Connecteur logique :
Un connecteur logique est une opération qui à deux propositions associe une troisième
Conjonction
Définition : p q pq
La conjonction est un connecteur logique qui à deux propositions p et q associe la 1 1 1
proposition ( p q ) qu’on appelle la conjonction de p et q et qu’on lit p et q définie 1 0 0
par la table de vérité ci-contre : 0 1 0
Théorème : 0 0 0
Si deux parties A et B d’un ensemble E sont définies respectivement par les propositions p et q alors
l’ensemble A B est définie par la conjonction ( p q )
Propriétés :
Les propositions ( p q ) et ( q p ) ont la même valeur de vérité : on dit que la conjonction des
propositions est commutative
Les propositions ( p q) r et p (q r ) ont la même valeur de vérité : on dit que la conjonction
des propositions est associative
Implication Définitions :
L’implication est un connecteur logique qui à deux propositions p et q associe la proposition notée
( p q ) et dont la valeur de vérité est celle de la proposition non( p) q
p q pq
La contraposée d’une implication ( p q ) est l’implication non(q) non( p)
1 1 1
Une implication et sa contraposée ont la même valeur de vérité 1 0 0
0 1 1
0 0 1
Logique
Prof : Ben Tamagoult Hichem Niveau 3eme science Informatique
Théorème :
Si A et B sont deux parties d’un ensemble E définies respectivement par :
A x E; p( x) et B x E; q( x) (ou p et q sont deux propositions)
alors l’inclusion ( A B ) a la même valeur de vérité que l’implication ( p q )
Disjonction Définition : p q pq
La disjonction est un connecteur logique qui à deux propositions p et q associe la 1 1 1
proposition ( p q ) qu’on appelle la disjonction de p et q et qu’on lit p ou q définie 1 0 1
par la table de vérité ci-contre : 0 1 1
Théorème : 0 0 0
Si deux parties A et B d’un ensemble E sont définies respectivement par les
propositions p et q alors l’ensemble A B est définie par la disjonction ( p q )
Propriétés :
Les propositions ( p q ) et ( q p ) ont la même valeur de vérité : on dit que la disjonction des
propositions est commutative
Les propositions ( p q) r et p (q r ) ont la même valeur de vérité : on
La négation de la disjonction ( p q ) est la conjonction (non( p) non(q)
La négation de la conjonction ( p q ) est la disjonction (non( p) non(q)
Les propositions p (q r ) et ( p q ) ( p r ) ont la même valeur de vérité
Les propositions p (q r ) et ( p q ) ( p r ) ont la même valeur de vérité
Théorème (Lois de MORGAN)
Si A et B sont deux parties d’un ensemble non vide E alors on a :
a- A B A B
b- A B A B p q pq
Equivalence 1 1 1
Définition : 1 0 0
L’équivalence logique est un connecteur logique qui à deux propositions p et q 0 1 0
associe la proposition notée ( p q ) et dont la valeur de vérité est celle de la 0 0 1
proposition ( p q) (q p)
Théorème :
Si A et B sont deux parties d’un ensemble E définies respectivement par :
A x E; p( x) et B x E; q( x) (ou p et q sont deux propositions)
L’égalité ( A B ) a la même valeur de vérité que l’équivalence ( p q )
