Calcul propositionnel, Propositions quantifiées

Calcul propositionnel

Définition : une proposition est une information pouvant être jugée par vraie ou faux.
Exemples :
1. « Maintenant il fait nuit là où je suis » est une proposition car on peut savoir s’il fait nuit ou pas à
l’endroit ou je suis.
2. « 1 + 1 = 2 » est une proposition car l’information est vraie
3. « 2 + 3 = 4 » est une proposition car l’information est fausse
4. « il est quel heure ? » n’est pas une proposition car ce n’est pas une information.
5. « prends soin de toi » n’est pas une proposition car ce n’est pas une information.
6. « + 3 = 0 » n’est pas une proposition car on ne connait pas la valeur de .
7. « Pour tout x réel, + 3 = 0 » est une proposition car on peut dire que l’information est fausse,
il existe des réels pour lesquels + 3 ≠ 0
8. « Pour tout entier : + 1 > 0 » est une proposition car on peut dire qu’elle est vraie, en effet
pour tout entier on a : ( ∈ )alors ≥ 0 donc + 1 ≥ 0 + 1 donc
+ 1 ≥ 1 donc + 1 > 0.

Remarque : généralement les propositions sont notées , , …etc

Opération sur les propositions :

Négation d’une proposition :
Soit une proposition ; la négation de la proposition p, est une autre proposition notée ̅ et est
définit par la phrase « il n’est pas vrai que p », elle est vraie si est fausse , et fausse si est vraie.
Exemple :
Si p : « 1 + 1 = 2 » alors ̅ est la proposition « ’ 1 + 1 = 2 » , autrement dit
̅: 1 + 1 ≠ 2 .
Si r est la proposition « Pour tout entier , + 1 > 0 », alors sa négation ̅ est la proposition « il
n’est pas vrai que pour tout entier , + 1 > 0 », autrement dit ̅ est la proposition « il existe un
entier n : + 1 ≤ 0 »

Tableau de vérité de la négation d’une proposition :

Si une proposition est vraie on dit qu’elle vaut 1, et si elle est fausse, on dit qu’elle vaut 0.
Une proposition quelconque peut avoir deux valeurs, 1 ou 0.
On a donc le tableau suivant :

p ̅
1 0
0 1

Conjonction de deux propositions :

Soient et deux propositions. La conjonction de et , notée ∧ , est la proposition « ». La
conjonction ∧ n’est vraie que si p et q sont vraies. Donc si l’une des deux propositions est fausse
alors la conjonction ∧ est fausse.
Tableau de vérité de la conjonction :
 ∧
1 1 1
1 0 0
0 1 0
0 0 1

Exercice :
Déterminer si les propositions suivantes sont vraies ou fausses :
1. (1 + 1 = 2) ∧ (1 + 2 = 3)
2. (1 +1= 2) ∧ (1 + 2 = 4)
3. (2 = 0) ∧ (les moutons ont des ailes)
4. ( le srascov2 tue certains les hommes qu il infecte) ∧ (le srascov2 mute)
5. (Tout entier naturel s’ecrit sous forme d’une somme de deux carrés)∧( il existe des entier qui ne
s’écrivent pas sous forme d’une somme de deux carrés)
Solution :
1. Les deux propositions sont vraies donc leur conjonction est vraie
2. La deuxième proposition est fausse donc la conjonction est fausse
3. « les moutons ont des ailes est une proposition fausse donc la conjonction est fausse
4. Les deux propositions sont vraies donc leur conjonction est vraie
5. 3 ne peut pas s’écrie sous forme d’une somme de deux carrés ( 3=1+2) donc la première
proposition est fausse donc la conjonction est fausse
Exercice :
Montrer que ∧ ̅ est toujours fausse :
Solution :
L’une des deux propositions parmi et ̅ est fausse donc leur conjonction ∧ ̅ est fausse.
Exercice :
Dans une même table de vérité, déterminer les valeurs de la proposition ∧ ( ∧ ) et de la
proposition ( ∧ ) ∧ . Quelle remarque peut-on faire.
Solution :
Chaque proposition composant la proposition ∧ ( ∧ ) doit etre sur le haut d’une colonne, donc il
faut une colonne pour , une pour , une pour , une pour ( ∧ ) et une pour ∧ ( ∧ ).
Pour le nombre de ligne dans la table de vérité, il faut voir qu’il y a trois proposition élémentaires
composant la proposition ∧ ( ∧ ), et que chacune d’elle peut prendre deux valeurs de vérité, et
pour chaque chois de l’une d’elle correspond deux choix pour l’autre, donc il y a huit possibilités et
on a :

∧ ∧ ∧( ∧ ) ( ∧ )∧
1 1 1 1 1 1 1
1 1 0 0 1 0 0
1 0 1 0 0 0 0
0 1 1 1 0 0 0
1 0 0 0 0 0 0
0 1 0 0 0 0 0
0 0 1 0 0 0 0
0 0 0 0 0 0 0
On remarque que chaque cas ( chaque ligne est un cas ) les deux propositions ∧ ( ∧ ) et
( ∧ ) ∧) prennent les mêmes valeurs de vérité. On dit qu’elles sont logiquement équivalentes. On
dit aussi que la conjonction est associative.

Disjonction de deux propositions :

Soient et deux propositions. La disjonction de et , notée ∨ , est la proposition « ». La
disjonction est tout le temps vraie sauf si toutes les propositions sont fausse

∨
1 1 1
1 0 1
0 1 1
0 0 0

Exercice :
Montrer que la proposition ∨ ̅ est toujours vraie
Solution
L’une des deux propositions parmi p et ̅ est vraie donc leur disjonction ∨ ̅ est toujours vraie
Exercice :
Dans une même table de vérité, déterminer les valeurs de la proposition ∨ ( ∨ ) et de la
proposition ( ∨ ) ∨ . Quelle remarque peut-on faire.
Solution :
Pour chaque proposition composant la proposition ∨ ( ∨ ), il faut une colonne, donc il faut une
colonne pour , une pour , une pour , une pour ∨ et une pour ∨ ( ∨ ) ; de même pour la
proposition ( ∨ ) ∨ . Et il faut huit lignes car il y a huit possibilités.
∨ ∨ ∨( ∨ ) ( ∨ )∨
1 1 1 1 1 1 1
1 1 0 1 1 1 1
1 0 1 1 1 1 1
0 1 1 1 1 1 1
1 0 0 1 0 1 1
0 1 0 1 1 1 1
0 0 1 0 1 1 1
0 0 0 0 0 0 0

On remarque que pour chaque possibilité ( chaque ligne) les propositions ( ∨ ) ∨ et ∨ ( ∨ )

prennent les mêmes valeurs. On dit qu’elles sont équivalentes ; on dit aussi que la disjonction est
associative.

L’implication logique :
L’implication logique implique , notée ⟹ , est la proposition ̅ ∨
̅∨
1 1 1
1 0 0
0 1 1
0 0 1
Remarquons que l’implication ⟹ est toujours vraie sauf dans un seul cas, lorsque p est vraie et q
est fausse, on dit que le vrai n’implique pas le faux, autrement dit :
 ( ⟹ )est une proposition vraie
(faux ⟹ vrai) est une proposition vraie
(faux ⟹ faux )est une proposition vraie
( ⟹ )
Dans l’implication ⟹ , s’appelle l’hypothèse, et s’appelle la conclusion
Quand l’hypothèse est fausse l’implication est toujours vraie, alors que l’implication est fausse si
l’hypothèse est vraie et la conclusion fausse.
On dit aussi que est une condition nécessaire pour , et que est condition suffisante pour .
On dit aussi que : si alors .
Exercice :
Montrer que l’implication ⟹ est toujours vraie
Solution :
Si p est vraie alors l’implication est vraie car le vrai implique le vrai, et si p est fausse alors le faux
implique le faux donc l’implication esr vraie, donc dans les deux cas possible elle est vraie.
a. Contraposée de l’implication ⟹ :
La contraposée de l’implication ⟹ est l’implication ⟹ ̅

̅ ⟹ ̅
1 1 0 0 1
1 0 0 1 0
0 1 1 0 1
0 0 1 1 1

b. Equivalence de deux propositions :

On dit que les deux propositions p et q sont équivalentes, et on note ⟺ , losque on a la
conjonction ( ⟹ ) ∧ ( ⟹ ).

P q ⟹ ⟹ ⟺
1 1 1 1 1
1 0 0 1 0
0 1 1 0 0
0 0 1 1 1

Remarquons que deux propositions sont équivalentes lorsque qu’elles ont même valeur de vérité,
c’est-à-dire qu’elles sont toutes les deux vrais ou toutes les deux fausses.
Exercice :
Déterminer si les implications suivantes sont vraies :
1. (1 + 1 = 2) ⟹ (3 = 4)
2. (1 + 1 = 3) ⟹ (3 = 4)
3. (1 + 1 = 0) ⟹ (2 + 3 = 5)
4. (1 + 1 = 2) ⟹ (2 + 3 = 5)
Solution :
1. Le première proposition est vraie et la seconde fausse, le vraie n’implique pas le faux donc
l’implication est fausse
2. Le première proposition est fausse, donc sans voir l’autre proposition on peut dire que
l’implication est vraie car le faux implique le vraie et le faux implique le faux
3. Meme chose
4. Les deux propositions sont vraie, le vraie implique le vraie, donc l’implication est vraie.
Théorème :
Pour toute proposition on a : ̿ ⟺
Preuve :
on dresse la table de vérité de la proposition :

̅ ̿ ̿⟺
1 0 1 1
0 1 0 1
Exercice :
Etablir la table de vérité de la proposition suivante : ( ∨ ) ⟹ ( ⟹ )
Solution :

∨ ⟹ ( ∨ )⟹( ⟹ )
1 1 0 1 1 1
1 0 1 1 0 0
0 1 0 0 1 1
0 0 1 1 1 1
Exercice :
Déterminer si les équivalences suivantes sont vraies :
1. (2 + 2 = 4) ⟺ (1 + 1 = 2)
2. (1 + 1 = 2) ⟺ (1 + 3 = 2)
3. (1 + 2 = 5) ⟺ ( les vachent ont des ailes)
4. (2 < 3) ⟺ (2 > 5)
Solution :
1. Les deux propositions sont vraies donc l’équivalence logique est vraie
2. Le première est vraie et la secnode fausse donc il n’y a pas d’équivalence logique.
3. Les deux propositions sont fausses donc elles sont logiquement équivalentes
4. La première proposition est vraie, la seconde fausse, donc l’équivalence logique est fausse
Exercice :
Montrer l’équivalence des propositions suivantes sans utiliser de table de vérité :
1. ∨ ⟺
2. ∧ ⟺
3. ⟺( ̅⟹ )
4. ( ∨ ) ⟺ ( ̅ ⟹ )
Solution :
1. Si est vraie alors ∨ est vraie , et si est fausse alors ∨ est fausse, donc elles sont
équivalentes
2. Si p est vraie alors ∧ est vraie, et si p est fausse ∧ l’est aussi, donc elles sont
équivalentes
3. Si p est vraie alors ̅ est fausse, et comme le faux implique le vraie alors ̅ ⟹ est vraie, ceci
d’une part, d’autre part si p est fausse alors ̅ est vraie et comme le vraie n’implique pas
le faux alors l’implication ̅ ⟹ est fausse, donc p et ̅ ⟹ ont meme valeur de vérité, donc elles
sont équivalentes.

4. ( ∨ ) ⟺ ( ̿ ∨ ) ⟺ ( ̅ ⟹ )

Théorème 1 : Lois de Morgan

Pour toutes propositions et on a :
a. ∧ ⟺ ̅∨
b. ∨ ⟺ ̅∧
Démonstration :
a.
̅ ∧ ∧ ̅∨ ∧ ⟺ ̅∨

1 1 0 0 1 0 0 1
1 0 0 1 0 1 1 1
0 1 1 0 0 1 1 1
0 0 1 1 0 1 1 1

On remarque que quelles que soient les valeurs de et , ∧ ⟺ ̅∨ est toujours vraie.
b. On fait la même chose.

Théorème de la contraposée :
Pour toutes propositions p et q on a : ( ⟹ ) ⟺ ( ⟹ ̅ )
Preuve : on utilise la table de vérité.

̅ ⟹ ⟹ ̅
1 1 0 0 1 1
1 0 0 1 0 0
0 1 1 0 1 1
0 0 1 1 1 1

On voit que quelles que soient les valeurs des propositions et , ⟹ et ⟹ ̅ ont les mêmes
valeurs de vérités, donc elles sont équivalentes.
Exercice :
Montrer que pour tout entier naturel on a : est impair ⟹ est impair
Solution :
On utilise le théorème de la contraposée, c’est-à-dire on va montrer que
n’et pas impair⟹ n’est pas impair
Autrement dit on montre que ( est pair ⟹ est pair). On a :
( est pair) ⟹ (∃ ∈ : = 2 ) ⟹ { = 4 = 2[2 ]} ⟹ ( est pair).
Exercices de travaux dirigés
Exercice1 :
Construire une table de vérité pour chacune des propositions suivantes :
1. ⟹ 2. ̅ ⟺ 3. ( ⟹ ) ∨ ( ̅ ⟹ ) 4. ( ⟺ ) ∨ ( ̅ ⟺ )
5. ⟹ ( ∨ ) 6. ̅ ⟹ ( ⟹
Exercice 2 :
Montrer l’équivalence des propositions suivantes :
1. ( ∨ ) ⟺ ( ∨ ) 2. ( ∧ ) ⟺ ( ∧ ) 3. ( ∧ ) ∨ ⟺ ( ∨ ) ∧ ( ∨ )
4. ( ∨ )∧ ⟺ ( ∧ )∨( ∧ ) 5. ∧ ( ∨ ) ⟺ ( ∧ ) ∨ ( ∧ )
6. ∨( ∧ ) ⟺ ( ∨ )∧( ∨ )
Exercice 3 :
Sans utiliser de table de vérité, et on utilisant l’exercice 2, et la définition logique de l’implication,
montrer que :
[ ⟹ ( ∧ )] ⟺ [( ⟹ ) ∧ ( ⟹ )]
Exercice 4 :
On utilisant les lois de Morgan, les définitions et sans utiliser de table de vérité montrer que :

1. [ ∧ ∨ ] ⟺ [( ⟹ ) ∨ ( ⟹ )]
2. ⟹ ⟺( ∧ )
3. ( ̅ ∧ ) ⟺ ̅ ⟹

Exercice 5 :
Expliquer sans utiliser de table de vérité pourquoi la proposition suivante est vraie lorsque
, , ont même valeur de vérité, et fausse sinon
( ∨ ) ∧ ( ∨ ̅ ) ∧ ( ∧ ̅)

Exercice 6 :
1. Expliquer sans utiliser de table de vérité pourquoi la proposition suivante est vraie lorsqu’au
moins l’une des propositions , , est vraie et au moins l’une d’elles est fausse, et qu’elle
est fausse si les trois propositions , , ont même valeur de vérité :
( ∨ ∨ ) ∧ ( ̅ ∨ ∨ ̅)
2. Vérifier les résultats en utilisant une table de vérité.

Propositions Quantifiées
On voudrait étudier les informations contenant des variables, par exemple l’information notée
( , ) dont le sens est « est plus petit que » et qu’on note [ ( , ) : < ]
Dans cette information il y a deux variables, et ; si on attribue a chacune de ces variables une
valeur , par exemple (1,2) , alors on obtient une proposition , vue que (1,2) est l’information
1 < 2 , et que cette information est vraie. (3,2) est une proposition car (3,2): 3 < 2, et cette
information est fausse.
Mais l’information ( , ) : < , prise sans fixer de valeur aux variables n’est pas une proposition,
car ne connaissant pas les valeurs de x et y, on ne sait pas si < , > , = .
Une autre façon de rendre proposition l’information ( , ) : < , c’est de la quantifier. Une
façon de le faire c’est de dire que : il existe au moins un entier naturel et il existe au moins un
entier naturel tels que < , symboliquement on écrit :
∃ ∈ ,∃ ∈ : ( , )
De cette façon, on obtient une proposition, car il est vraie qu’il existe deux entiers naturels et tels
que < , on peut donnner à la valeur 1, et à la valeur 2.
On peut aussi dire que pour tout réel x et pour tout réel y on a < , sympoliquement on écrit :
∀ ∈ ,∀ ∈ : ( , )
De cette façon on obtient une proposition, car l’information est fausse.
On peut aussi se dire que pour tout réel , il existe un réel tel que < , ce qui se traduit
symboliquement par :
∀ ∈ ,∃ ∈ : ( , )
De cette façon aussi on obtient une proposition car pour tout dans , si = + 1 alors < .
Exemple :
Considérons l’information ( ): < 1. Cette information n’est pas une proposition car il y a une
variable dont on ne connait pas de valeur. On peut la quantifier de deux façon , soit en introduisant
le quantificateur existentiel « il existe au moins », noté ∃, ou bien le quantificateur universel « pour
tout » ou « quel que soit », noté ∀, pour obtenir soit la proposition vraie ∃ ∈ : < 1, ou bien pour
obtenir la proposition fausse ∀ ∈ : < 1
D’une façon générale pour rendre proposition une information contenant des variables, il suffit
d’attribuer à chaque variable l’un des deux quantificateurs ∃ ou ∀ et de définir l’ensemble auquel
appartient chaque variable.

Négation d’une proposition quantifiée :

Exemple :
Considérons la proposition quantifiée : ∀ : ( ) ou ( ) est l’information > 1
Il est clair que cette proposition est fausse car il existe un réel x tel que ≤ 1, symboliquement
∃ ∈ : ≤ 1 , et cette proposition est vraie, il suffit de choisir = 0
La propostion ∃ ∈ : ≤ 1 est la négation de la proposition ∀ : > 1, car dire qu’il n’est pas
vraie que ∀ : > 1 , c’est dire que ∃ ∈ : ≤ 1.
Remarquons aussi que la négation de > 1 est l’information ≤ 1, qui se traduit symboliquement
par ( ): ≤ 1
Symboliquement on a :
∀ : ( )⟺∃ ∈ : ( )
Exemple :
Considérons la proposition quantifiée définit par : ∀ ∈ , ∃ ∈ : ( , ) ou ( , ) signifie >
Dire qu’il n’est pas vraie que ∀ ∈ , ∃ ∈ : ( , ), veut dire qu’il existe un réel x plus grand ou
égale à tout entier relatif n, autrement dit la négation de la proposition ∀ ∈ , ∃ ∈ : > est la
proposition ∃ ∈ , ∀ ∈ : ≤
Symboliquement on a :
∀ ∈ ,∃ ∈ : ( , ) ⟺ ∃ ∈ ,∀ ∈ : ( , )
D’une façon générale on a :
Pour trouver la négation d’une information quantifiée contenant des variables, on transforme le
quantifiquateur existentiel ∃ en le quantificateur universel ∀, et inversement, sans toucher au
ensembles d’appartenance des variables, puis on prend la négation de l’information contenant les
variables , par exemple :
∀ ∈ ,∃ ∈ ,∀ ∈ : ( , , ) ⟺ ∃ ∈ ,∀ ∈ ,∃ ∈ : ( , , )
Exercice :
Ecrire la négation de la proposition suivante :
∀ ∈ ,∃ ∈ : ( , ) ⟹ ( , )
Exercice :
Soit : →
On dit que est continue en lorsque :
 ∀ > 0, ∃ > 0, ∀ ∈ ∶ | − | < ⟹ |( ) − ( )| < Que veut dire que n’est pas
continue en .
Exercice :
Soit : →
On dit que admet une limite lorsque x tend vers lorsque :
∃ ∈ , ∀ > 0, ∃ > 0, ∀ ∈ ∶ | − | < ⟹ |( ) − | <
Que veut dire que n’admet pas de limite au voisinage de a