Vous êtes sur la page 1sur 26

Chapitre 1 Logique Yassine Hachachi

Logique Propositionnelle
Table des mati`eres
1 Introduction : Modelisation du langage 2
2 Syntaxe. 3
2.1 Les langages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Lensemble des formules propositionnelles. . . . . . . . . . . . . . . . . . . . . . 4
2.3 Induction structurelle sur Form . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.4 Formules et arbres. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3 Semantique. 8
3.1 Le corps Z/2Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.2 La verite des formules. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.3 Formes normales. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.4 Syst`eme complet de connecteurs. . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.5 Les ensembles de formules. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4 Un syst`eme de deduction 16
1
2 LogiqueChapitre 1
1 Introduction : Modelisation du langage
Un enonce (ou une assertion ou une proposition) est une phrase qui est susceptible de prendre
lune des deux valeurs logiques soit le Vrai soit le Faux.
Par exemple,
Tout entier positif est la somme de quatre carres parfaits
est une assertion vraie, et
Nous sommes en lan 4000
est une assertion fausse.
On peut combiner des enonces pour former de nouveaux enonces. Pour ce faire, on utilise des
operateurs appeles connecteurs logiques. Qui traduisent essentiellement des mots du langage
naturel (le francais dans notre cas).
Soient A et B deux enonces, alors on construit les enonces
A, A B, A B, A B, A B
quon lit :
non A, A ou B, A et B, A implique B, A si et seulement si B.
Ces connecteurs sont dits respectivements :
negation, disjonction, conjonction, implication et equivalence.
Les valeurs logiques de ces enonces composes sont deduit de celles des enonces A, B de la facon
suivante :
A B A A B A B A B A B
Vrai Vrai Faux Vrai Vrai Vrai Vrai
Vrai Faux Faux Vrai Faux Faux Faux
Faux Vrai Vrai Vrai Faux Vrai Faux
Faux Faux Vrai Faux Faux Vrai Vrai
Toutes les tables de verite ont la valeur logique intuitive quon attend. Sauf peut etre la conven-
tion que le Faux A prend toujours la valeur Vrai, independemment de la verite de A.
Pour vous en convaincre, prenons larmation :
n N Si n est multiple de 4 alors n est pair
`
A laide de notre bon sens, on remarque que cet enonce est vrai. Puisque cest vrai pour tout
les entiers, prenons les trois premiers cas :
0) 0 est multiple de 4 et 0 est pair. Cest le cas (VraiVrai).
1) 1 nest pas multiple de 4 et 1 est impair. Cest le cas (FauxFaux).
Y. Hachachi 3
2) 2 nest pas multiple de 4 et 2 est pair. Cest le cas (FauxVrai).
On a alors les trois possibilites de verier A B.
2 Syntaxe.
Comme tout langage, le langage de la logique propositionnelle a une syntaxe et une semantique.
Dans cette partie, on ne soccupera que du cote syntaxique de ce langage.
Cette phase correspond `a la phase de compilation pour les lagages de programmation. Puisque
les formules sont considerees comme des chanes de caract`eres, on commence par donner
quelques rappels de theorie des langages.
2.1 Les langages.
Un alphabet est un ensemble de symboles.
Exemple :

a
= a, b, c, . . . , z,
est un alphabet, et

r
= 1, 2, 3, 4, 5, 6, 7, 8, 9, 0, .
aussi.
Un mot est une suite nie de symboles de lalphabet.
Exemple :
aabnx
est un mot sur lalphabet
a
, et
1.22.12334
est un mot sur
r
.
Soit un alphabet, on note

lensemble des mots sur cet alphabet. Un langage est un sous-


ensemble de

.
Exemple : N est un langage sur
r
, et R nest pas un langage sur
r
.
La concatenation de deux mots est la mise bout a bout de ces deux suites u.v = uv.
Exemple :

aabnx

.cd

aabnxcd

.
La longueur dun mot w, notee [w[, est le nombre total de symboles qui le constituent. On
remarque que [w.a[ = [w[ + 1.
4 LogiqueChapitre 1
Il existe un mot de longueur nulle, ne contenant aucun symbole, note et dit le mot vide.
Proposition 2.1 Soient u, v deux mots sur un alphabet quelconque, alors [u.v[ = [u[ +[v[.
Un mot u est un segment initial ou facteur gauche dun mot w ssi il existe v tel que u.v = w.
Exemple : 11 est un facteur gauche de 1123.
2.2 Lensemble des formules propositionnelles.
Lensemble des formules propositionnelles est un langage sur lalphabet :

P
= T , , , , , ), (,
o` u :
T est lensemble des variables propositionnelles dites aussi propositions. Notees generalement
par des lettres majuscules eventuellement indexees.
La negation lue non.
La conjonction lue et.
La disjonction lue ou.
Limplication lue implique.
Lequivalence lue si et seulement si.
( La parenth`ese ouvrante.
) La parenth`ese fermante.
Exemple : ))((A
1
est un mot de

P
.
Denition 2.1 Lensemble des formules propositionnelles, Form est le plus petit ensemble
(pour linclusion) tel que :
1- T Form cest a dire que toute variable propositionnelle est une formule.
2- Si F et G sont des formules alors (F G), (F G), (F G) et (F G) sont des formules.
, , , , sont dits des connecteurs binaires.
3- Si F est une formule alors F est une formule. est dit un connecteur unaire.
Exemple : A
23
est une formule, (A B) et (A B) sont des formules.
On va maintenant donner une construction inductive (par recurrence) de lensemble des for-
mules.
Y. Hachachi 5
1- F
0
= T.
2- F
n+1
= F
n
F, (F G), (F G), (F G) et (F G)[ pour toutes formules F et G dans
F
n
.
Theor`eme 1
Form =

nN
F
n
Preuve. On le fait par double inclusion.
Lensemble

nN
F
n
satisfait les conditions de la denition 1.1. alors il contient Form.
Le second sens se montre par recurrence sur n.
F
0
Form et si F
n
Form alors F
n+1
Form.
2.3 Induction structurelle sur Form
On a souvent des proprietes `a verier sur lensemble des formules. Soit P une propriete `a verier
sur lensemble des formules ; alors il sut de verier
Base que les vaiables propositionnelles (les elements de T) satisfont la propriete P ;
- Si G est une formule qui poss`ede la propriete P alors G la poss`ede aussi ; et
- Si F et G sont des formules qui poss`edent la propriete P alors (F G), (F G), (F
G) et (F G) la poss`edent aussi.
On appelle se type de demonstration demonstration par induction structurelle sur Form
Denition 2.2 La hauteur dune formule F, note h(F), est le plus petit n N tel que F F
n
.
On peut le denir inductivement par :
1- Si A T alors h(A) = 0.
2- Si F et G sont des formules alors
h(F G) = h(F G) = h(F G)
= h(F G) = max(h(F), h(G)) + 1
3- Si F est une formule alors h(F) = h(F) + 1.
Exemple : Si A est une proposition, alors h(A) = 0, h(A) = 1 et h((A (A A)) = 2.
Lemme 2.1 Pour toute formule F Form, le nombre de parenth`eses ouvrantes, o[F] est egal
au nombre de parent`eses fermantes, f[F].
6 LogiqueChapitre 1
Preuve. Par induction structurelle sur la construction des formules.
Si F T alors o[F] = f[F] = 0.
Soit G Form veriant o[G] = f[G], alors o[G] = o[G] = f[G] = f[G].
Soient F etG Form veriant o[F] = f[F] et o[G] = f[G] alors pour tout connecteur binaire,
o[(FG)] = o[F] + o[G] + 1 = f[F] + f[G] + 1 = f[(FG)].
Alors pour toute formule F on a o[F] = f[F].
Lemme 2.2 Soit F une formule et I un segment initial de F.
I contient au moins autant de parenth`ese ouvrantes que de parenth`ese fermantes.
Si I est un segment initial propre de F, qui commence par une parenth`ese ouvrante, alors
o[I] > f[I].
I est une formule ssi I = F
Demonstration en exercice.
Denition 2.3 Une sous-formule G dune formule F est un sous-mot de F qui est une formule,
i.e. il existe u et v
P
tel que (F = u.G.v).
Soit sf(F) = lensemble des sous-formules de F.
1- Si F T alors sf(F) = F.
2- Si F = (HG) , avec , , , alors sf(F) = F sf(H) sf(G).
3- Si F = G alors sf(F) = F sf(G).
Theor`eme 2 (de lecture unique) Pour toute formule F Form, un et un seul de ces trois
cas se presente :
1- F T.
2- Il existe deux uniques formules G et H telles que F = (HG) , avec , , , .
3- Il existe une unique formule G telle que F = G.
Preuve. Les trois cas sexcluent les uns les autres.
Pour prouver lexistance un induction structurelle sur la construction des formules est susante.
Il reste donc a prouver lunicite.
1- Si F = A alors ce A est unique.
2- Si F = (GH) = (G

). On a alors GH) = G

) donc G est segment initial de G

ou G

est segment initial de G alors G = G

(par le lemme precedent).


H =

alors =

et donc H = H

.
3- Si F = G = G

alors G = G

. C.Q.F.D.
Y. Hachachi 7
Substitution dune variable par une formule. Soient F et G deux formules proposition-
nelles, et A une proposition.
On note F
G/A
la formule F si A ne gure pas dans F, ou la formule F dans la quelle on remplace
toute occurrence (Apparition) de A par G.
Exemple : F = (A B); G = (C D) alors F
G/A
= ((C D) B).
Theor`eme 3 Si F et G deux formules propositionnelles, et A une proposition alors F
G/A
est
une formule.
Preuve. On prouve par induction structurelle sur lensemble des formules :
1- Si F T alors F
G/A
= F si F ,= A, et F
G/A
= G si F = A.
2- Si F = (KH) alors F
G/A
= (K
G/A
H
G/A
), qui sont des formules par hypoth`ese dinduction.
3- Si F = K alors F
G/A
= K
G/A
qui est une formule par hypoth`ese dinduction.
2.4 Formules et arbres.
Denition 2.4 Le connecteur principal dune formule est :
1- Si F = A alors il ny a pas de connecteur.
2- Si F = (GH) alors est le connecteur principal.
3- Si F = G alors est le connecteur principal.
Une methode eective pour retrouver le connecteur principal dans une formule
Si le premier caract`ere de la formule est alors cest le connecteur principal.
Si le premier caract`ere est ( alors on pond`ere les parenth`eses ouvrantes par 1 et les fermantes
par -1. Le connecteur principal sera le connecteur binaire qui se trouve juste apr`es la premi`ere
parenth`ese o` u le total est 1. Cette methode mime un automate `a compteur (automate `a pile
avec un unique symbole de pile).
Exemple : Dans les deux formules qui suivent le connecteur principal est souligne :
(A B).
(
1
AB)
0
Larbre de decomposition dune formule. Soit Ar(F) larbre de decomposition de la formule F.
On denit alors Ar(F) inductivement comme suit :
1- Si F T alors F = A, alors Ar(F) = A.
8 LogiqueChapitre 1

Ar(G)

d
d
d
Ar(G) Ar(H)
2- Si F = G, alors
3- Si F = (GH), alors
Formellement :
1- Les feuilles de larbre sont des propositions.
2- Les noeuds internes sont les connecteurs.
3- La racine est le connecteur principal.
4- La hauteur de la formule est la longueur du chemin le plus long dune feuille a la racine.
Les methodes decriture dune formule a partir dun arbre.
1- La methode Prexee : dite aussi la methode polonaise, On ecrit la formule en parcourant
larbre de la racine vers les feuilles avec une priorite a gauche. On ecrit alors letiquette
de chaque noeud au premier passage.
2- La methode inxee : on parcourt larbre de la meme facon que la methode Prexee, on ecrit
alors les feuilles et le symbole au premier passage, et les connecteurs binaires au second
passage.
Cest la methode usuellement utilisee sans les parenth`eses.
3- La methode postxee : on parcourt larbre de la meme facon que la methode Prexee, on
ecrit alors les feuilles au premier passage, et les connecteurs au dernier passage.
4- La methode : On pond`ere chaque noeud binaire par deux parenth`eses, ouvrante et fermante.
On ecrit notre formule en inxee en inserrant ( au premier passage par un connecteur
binaire et ) au dernier passage par un connecteur binaire.
3 Semantique.
3.1 Le corps Z/2Z
Le corps Z/2Z
Y. Hachachi 9
Z/2Z est un corps, note aussi
F
2
= (0, 1, +, ).
Les tables de laddition et de la multiplication sont :
+ 0 1
0 0 1
1 1 0
0 1
0 0 0
1 0 1
F
2
est un corps commutatif.
3.2 La verite des formules.
La verite des formules.
Une distribution de valeurs de verite sur lensemble des propositions T est une application
: T 0, 1 appelee aussi une evaluation.
1 denotera le vrai et 0 denotera le faux.
Proposition 3.1 Pour toute distribution de valeurs de verite , il existe une unique extension
: Form 0, 1 qui concide avec sur T et telle que F, G Form :
1- (F) = 1 si et seulement si (F) = 0.
2- ((F G)) = 1 si et seulement si (F) = (G) = 1.
3- ((F G)) = 0 si et seulement si (F) = (G) = 0.
4- ((F G)) = 0 si et seulement si (F) = 1 et (G) = 0.
5- ((F G)) = 1 si et seulement si (F) = (G).
La preuve est simple par induction et en utilisant le theor`eme de lecture unique.
Apr`es cette methode formelle on va parler des tables de verite.
A B A A B A B A B A B
1 1 0 1 1 1 1
1 0 0 1 0 0 0
0 1 1 1 0 1 0
0 0 1 0 0 1 1
10 LogiqueChapitre 1
Comparaison de F
2
et (0, 1, , , , , ) :
Voici les connecteurs , , en fonction de +,
0 0 = 0 0 = 0.
1 0 = 1 0 = 0.
0 1 = 0 1 = 0.
1 1 = 1 1 = 1.
0 0 = 0 + 0 + (0 0) = 0.
0 1 = 0 + 1 + (0 1) = 1.
1 0 = 1 + 0 + (1 0) = 1.
1 1 = 1 + 1 + (1 1) = 1.
0 = 1 + 0 = 1.
1 = 1 + 1 = 0.
On en conclut que :
p q = p q.
p q = p + q + (p q).
p = 1 + p.
Denition 3.1 Soit une distribution de valeurs de verite. On dit que satisfait la formule
F si et seulement si (F) = 1. Une formule F est dite une tautologie si elle est satisfaite par
toute distribution de valeurs de verite.
Une tautologie est une formule qui prend la valeur 1 pour toute distribution de valeurs de
verite. On note

F.
Denition 3.2 Etant donnee deux formules, F et G, on dit que F est logiquement equivalente
`a G si et seulement si (F G) est une tautologie. On note F G.
F, G F G si et seulement si 0, 1, (F) = (G).
La relation est une relation dequivalence.
cl(F) est la classe dequivalence de F pour .
Toute formule logiquement equivalente `a une tautologie est une tautologie. La classe des
tautologie est notee 1.
La classe des formules dont la negation est une tautologie sont dites les antilogies et consti-
tuent la classe 0.
Etant donnees des formules P(A, B, C, ) et Q(A, B, C, ), composees `a partir des propo-
sitions A, B, C, . . ., dont les tables de verite concident, nous dirons que ces assertions sont
logiquement equivalentes et on notera P(A, B, C, ) Q(A, B, C, ). On peut dire que ces
assertions disent la meme chose de deux facons dierentes.
Y. Hachachi 11
Proprietes `a retenir :
Idempotence de et de .
A A (A A) (A A)
Commutativite de et de .
(A B) (B A) et (A B) (B A)
Associativite de et de .
(A B) C A (B C) et (A B) C A (B C)
A B (A B) et A B (A B) (B A)
A B (A B) (A B)
distributivite de et du par rapport au et du .
(A B) C (A C) (B C) et (A B) C (A C) (B C)
Lois de De Morgan.
(A B) (A B) et (A B) (A B)
Pour prouver la faussete dune implication.
(A B) A B
Preuve par contraposee.
(A B) B A
Un enonce qui est toujours vrai est appele une tautologie.
Voici quelques tautologies tr`es utilisees en mathematiques :
Le tiers exclu : (A A).
Transitivite de , qui est la base du raisonnement deductif.
[(A B) (B C)] (A C)
Soit H une hypoth`ese, et C une conclusion. Une preuve de H C est :
[(H E
1
) (E
1
E
2
) (E
n
C)] (H C)
Theor`eme 4 Soient n un entier naturel, F, F

, G
1
, . . . , G
n
des formules et A
1
, . . . , A
n
deux `a
deux distinctes.
Si F est une tautologie alors F
G
1
/A
1
...Gn/An
est une tautologie.
Si F F

alors F
G
1
/A
1
...Gn/An
F

G
1
/A
1
...Gn/An
.
Si G
1
G
2
alors F
G
1
/A
1
F
G
2
/A
1
12 LogiqueChapitre 1
3.3 Formes normales.
Un litteral est une proposition ou la negation dune proposition.
Par associativite de et on notera (A
1
. . . A
n
) et respectivement (A
1
. . . A
n
) ;
n

i=1
A
i
et respectivement
n

i=1
A
i
.
Pour chaque variable propositionnelle on notera A = A si = 1 ; A si = 0.
(F) = 0, 1
P
[ = 1.
Pour chaque formule F, on denit

F
: 0, 1
P
0, 1
telle que

F
(
1
, . . . ,
n
) =

1
,...,n
(F) avec

1
,...,n
(A
i
) =
i
.
Donc
F
nest rien dautre que la table de verite de F.
On remarque que F G si et seulement si
F
=
G
.
Lemme 3.1 Pour tout n-uplet (
1
, . . . ,
n
) 0, 1
n
, la formule
n

i=1

i
A
i
est satisfaite par

1
,...,n
et uniquement par celle l`a.
Preuve. Soit un distribution de valeurs de verite. (

n
i=1

i
A
i
) = 1 si et seulement si (
i
A
i
) =
1 pour chaque i si et seulement si pour tout A
i
on a

1
,...,n
(A
i
) = (
i
A
i
)
Lemme 3.2 Soit X 0, 1
n
et soit F
X
la formule

(
1
,...,n)X
(
n

i=1

i
A
i
)
F
X
est satisfaite pour les distributions de valeurs de verite

1
,...,n
tel que (
1
, . . . ,
n
) X et
uniquement par celles l`a.
Theor`eme 5 Pour toute application
: 0, 1
n
0, 1
il existe F tel que
F
= . Ceci veut dire que toute table de verite correspond `a une formule.
Y. Hachachi 13
Denition 3.3 Une formule est sous Forme normale disjonctive FND ssi
F =

(
1
,...n)X
(
n

i=1

i
A
i
).
O` u lensemble X est lensemble des lignes du tableau de verite qui valent 1.
Denition 3.4 Une formule est sous Forme normale conjonctive FNC ssi
F =

(
1
,...n)X
(
n

i=1

i
A
i
).
O` u lensemble X est lensemble des lignes du tableau de verite qui valent 0.
Theor`eme 6 Toute formule est logiquement equivalente `a une formule sous forme normale
conjonctive et une formule sous forme normale disjonctive.
On va vous convaincre de se resultat sur un exemple. On suppose quon a une formule F(A, B, C)
dont la table de verite est :
A B C F FNC FND
1 1 1 0 A B C
1 1 0 1 A B C
1 0 1 0 A B C
1 0 0 0 A B C
0 1 1 1 A B C
0 1 0 1 A B C
0 0 1 0 A B C
0 0 0 0 A B C
Methode syntaxique :
Pour passer dune formule quelconque `a une formule equivalente sous forme normale conjonc-
tive ou disjonctive, on commence par substituer et dans la formule par des formules
equivalentes qui nutilisent que , , par les r`egles :
(P Q) ((P Q) (Q P))
(P Q) (P Q)
Ensuite on fait rentrer les negations le plus `a linterieur possible par les lois de De Morgan :
(P Q) (P Q) et (P Q) (P Q)
14 LogiqueChapitre 1
Enn utiliser la distributivite du par rapport au et vice versa :
(P (Q R)) ((P Q) (P R))
(P (Q R)) ((P Q) (P R))
3.4 Syst`eme complet de connecteurs.
Denition 3.5 Un syst`eme complet de connecteurs est un ensemble de tables de verite `a patir
des quelles on peut retrouver toutes les tables de 0, 1
n
0, 1.
Lemme 3.3 Pour tout n > 0 toute application de 0, 1
n
dans 0, 1 peut sobtenir par com-
position des applictions , , .
Ceci est une consequence des formes normales et leurs constructions.
Un syst`eme est minimal lorsquaucun de ses sous-ensembles stricts nest un syst`eme complet
de connecteurs.
Exemple : Le syst`eme , est un syst`eme complet minimal de connecteurs. Ceci est d u aux
dualites de De Morgan et au lemme precedent.
Une applicvation des formes normales
Un cahier des charges dun circuit electronique est precisement une table de verite les proposi-
tions atomiques sont les entrees et la colonne dont on recherche la formule correspondante est
la sortie.
Les portes les plus communement utilisees sont les portes NON, OU, et ET.
Les formes normales sont exactement des propositions de circuits qui correspondent au cahier
des charges.
Une autre application, est lecriture de programmes ProLog correspondant `a une specication
ecrite par une formule.
3.5 Les ensembles de formules.
Satisabilite
Denition 3.6 Soient /, B deux ensembles de formules du calcul propositionnel sur lensemble
des variables T, G une formule, et une distribution de valeurs de verite.
/ est satisfait par si et seulement si elle satisfait toutes les formules de /.
/ est satisfaisable si et seulement si il existe au moins une distribution de valeurs de verite
qui le satisfait.
Y. Hachachi 15
/ est niment satisfaisable si et seulement si tout sous-ensemble ni de / est satisfaisable.
/ est contradictoire ssi il nest pas satisfaisable.
G est consequence semantique de /, note /

G, ssi toute distribution de valeurs de verite


qui satisfait /, satisfait G.
/, B sont equivalents ssi toute formule de / est consequence de B, et toute formule de B est
consequence de /.
Voici maintenant quelques resultats sur les ensembles de formules.
Pour tous /, B Form; m, p > 0 et
G, H, F
1
, . . . F
m
, G
1
, . . . , G
p
Form :
/

G ssi / G est contradictoire.


Si / est satisfaisable et si B / alors B est satisfaisable.
Si / est satisfaisable alors il est niment satisfaisable.
Si / est contradictoire et / B alors B est contradictoire.
Si /

G et que / B alors B

G.
/ G

H ssi /

(G H)
/

(G H) ssi /

G et /

H.
F
1
, . . . , F
m

((F
1
. . . F
m
) G).
G est une tautologie ssi elle est consequence de lensemble vide.
G est une tautologie ssi elle est consequence de nimporte quel ensemble de formules.
/ est contradictoire ssi /

(G G).
F
1
, . . . , F
m
est contradictoire ssi
F
1
. . . F
m
1
/, B sont equivalents ssi ils sont satisfaits par les memes distributions de valeurs de verite.
/ est equivalent `a lensemble vide ssi toutes les formules de / sont des tautologies.
Lensemble vide est satisfait par toutes les distributions de valeurs de verite.
Form est contradictoire.
Tout ensemble ni de formules est equivalent `a un ensemble constitue dune seule formule.
G et H sont equivalents ssi G H.
Theor`eme 7 (Theor`eme de compacite) Pour tout ensemble / de formules proposition-
nelles, / est satisfaisable ssi / est niment satisfaisable.
Proposition 3.2 Prouvez que si / est contradictoire alors il contient un sous-ensemble contra-
dictoire ni.
16 LogiqueChapitre 1
4 Un syst`eme de deduction
En logique, on cherche `a demontrer des theor`emes. On peut le faire, soit directement `a partir
de la semantique, ce qui est co uteux (exponentiel en fonction du nombre de variables), soit on
utilise un moyen mecanique qui ne travaille que sur la syntaxe des formules.
Un syst`eme de deduction est un procede syntaxique qui permet de determiner si une formule
est consequence logique dun ensemble de formules.
Le principe de deduction par refutation (ou par labsurde) est base sur le resultat :
/

G ssi / G est contradictoire.


Pour montrer que / G on montre que / G est insatisfaisable.
La methode des tableaux semantiques et un syst`eme de deduction par refutation.
On construit un arbre dont les noeuds sont des formules.
En premier lieu, on met sur une seule branche les formules de / et G.
Ensuite, on peut construire de nouvelle branches par les r`egles :
(F G)

G
(F G)

G
(F G)

G
(F G)

F G
(F G)

F G
(F G)

F G
(F G)

F F

G G
(F G)

F F

G G
Ces branches sont introduites sur toutes les feuilles descendantes de la formule `a eliminer.
On a alors / G si et seulement si toutes les branches de larbre aboutissent `a une contradic-
tion, cest-`a-dire on trouve une proposition P et sa negation.
Exemple : Montrez par la methode des tabeaux semantiques que
P, (P Q), (Q R) R
Y. Hachachi 17
D`es quon introduit un syst`eme deductif, on se pose deux questions :
1. Est-il correct, cest-`a-dire, est-ce que le mecanisme de deduction ne contredit pas la semantique
choisie ?
2. Est-il complet, cest-`a-dire, est-il susamment riche pour prendre en compte tout ce qui est
decrit par la semantique choisie ?
Theor`eme 8 (de completude)
/ F /

F
18 LogiqueChapitre 1
Chapitre 1 Enonce TD Yassine Hachachi
Logique Propositionnelle
Exercice 1. Donnez des synonymes en utilisant des connecteurs logiques des enonces sui-
vants :
1. Il ne pleut pas aujourdhui.
2. Sil pleut alors il y a des nuages dans le ciel.
3. Si une fonction est derivable sur [a, b] alors elle est integrable sur [a, b].
4. Soit les araignees ont huit pates soit elles en ont six.
5. Pour passer en deuxi`eme annee il faut et il sut de reussir sa premi`ere annee.
6. La fonction x [x[ est continue sur R. La fonction x [x[ est derivable sur R.
Exercice 2. 1. Prouvez le lemme du cours :
Lemme. Soit F une formule et I un segment initial de F.
I contient au moins autant de parenth`ese ouvrantes que de parenth`ese fermantes.
Si I est un segment initial propre de F, qui commence par une parenth`ese ouvrante, alors
o[I] > f[I].
I est une formule ssi I = F
2. Demontrer par induction que pour toute formule propositionnelle F le nombre Par(F) de
couples de parenth`eses dans F est inferieur ou egal au nombre Con(F) de symboles de connec-
teurs gurant dans F.
Exercice 3. Veriez que F est une formule et donnez son arbre de decomposition
F = ((A B) ((A C) B))
Donnez la formule G = F
(AB)/B,C/A
et son arbre de decomposition.

Ecrivez F et G en prexe et en postxe.


Exercice 4. Donnez larbre de decomposition de la formule :
(((A B) A) B)
Donnez sa table de verite.
Y. Hachachi 19
Exercice 5. Montrez que les formules suivantes sont des tautologies :
((A B) (A B)), ((A A) A), ((A B) (C A))
Montrez que les formules suivantes sont logiquement equivalentes :
(A B), ((A B) (A B))
((A B) C), ((A C) (B C))
(A (B C)), ((A B) (A C))
Exercice 6.

Ecrivez sous forme normale conjonctive et sous forme normale disjonctive la
formule suivante :
((p (q r))
Exercice 7. Montrez que , , , sont des syst`emes complets de connecteurs.
Exercice 8. Soit le connecteur binaire (nand=not and) AB sur Form qui ne prend la valeur
faux que si A et B sont vrais, cest `a dire :
1. 0 0 = 0 1 = 1 0 = 1
2. 1 1 = 0
Veriez que (p q) (p q). Montrez que est un syst`eme complet minimal.
Exercice 9. Montrez que :
1. p, (p q)

q.
2. (r p), (p q)

(r q).
3. (p (q r)), (p q)

(p r).
Exercice 10. Soit P = A
1
, , A
n
un ensemble de propositions. Soit
F = ((A
1
A
2
) (A
i
A
i+1
) (A
n1
A
n
))
1. Montrez que si (F) = 1 alors, soit 1 i n :
Si (A
i
) = 1 alors pour tout i j n, (A
j
) = 1.
Si (A
i
) = 0 alors pour tout i j 1, (A
j
) = 0.
2. Donnez alors les distributions de valeurs de verite qui satisfont F.
3. Soit G F (A
n
A
1
). Donnez les distributions de valeurs de verite qui satisfont G.
4. Donnez alors des formules sous forme normale disjonctive de F et de G.
20 LogiqueChapitre 1
Exercice 11. Trois plats sont proposes dans un restaurant : P
1
, P
2
, P
3
. La personne qui vous
succ`ede dans la le dattente vous donne les informations suivantes :
(A1) Au moins deux des plats ne sont pas frais.
(A2) P
1
et P
2
ne sont certainement pas frais tous les deux.
(A3) Si P
3
est frache, alors il en est de meme de P
1
.
En supposant que ces trois armations sont exactes, quel(s) plat(s) peut-on choisir sans aucun
risque, et quel(s) plat(s) doivent etre evites absolument ?
On formalisera le probl`eme pose en termes de calcul propositionnel et de consequence semantique,
et on le resoudra `a laide dune table de verite. On precisera linterpretation de chacune des
variables propositionnelles, et on justiera soigneusement les reponses.
Exercice 12. Montrez par la methode des tableaux semantiques que :
1. p, (p q) q.
2. (r p), (p q) (r q).
3. (p (q r)), (p q) (p r).
4. (r s), p, q (r s p)
5. p est une consequence logique de (p m) et m.
6. m nest pas une consequence logique de (p m) et p.
Y. Hachachi 21
Chapitre 1 Corrige TD Yassine Hachachi
Logique Propositionnelle
Exercice 1.
1. P.
2. (P Q).
3. (P Q).
4. (P Q) ou encore (P XOR Q).
5. (P Q).
6. (P Q).
Exercice 2. 1. On va prouver :
Lemme. Soit F une formule et I un segment initial de F.
I contient au moins autant de parenth`ese ouvrantes que de parenth`ese fermantes.
Si I est un segment initial propre (I ,= et I ,= F) de F, qui commence par une parenth`ese
ouvrante, alors o[I] > f[I].
I est une formule ssi I = F
Si F T, alors I = ou I = F, dans les deux cas, o[I] = f[I] = 0.
Si F = G avec G satisfait les hypoth`eses, alors :
I = ou I = , dans ces deux cas, o[I] = f[I] = 0 ;
Ou bien I = J avec J segment intial de G, par hypoth`ese dinduction, o[I] = o[J] f[J] =
f[I].
Si F = (GH) avec G et H satisfaisant les hypoth`eses, alors :
I = dans ce cas, o[I] = f[I] = 0 ;
(*) ou I = (J avec J segment intial de G, par hypoth`ese dinduction, o[I] = o[J] + 1 > f[J] =
f[I].
(**) ou I = (GJ avec J segment intial de H, par hypoth`ese dinduction, o[I] = o[G]+o[J]+1 >
f[G] + f[J] = f[I].
ou bien I = F par le lemme ?? o[F] = f[F].
Par (*) et (**).
Par les deux proprietes precedentes.
22 LogiqueChapitre 1
Exercice 3.
F = ((A B) ((A C) B))
G = ((C (C B)) ((C C) (C B)))
Ar(F) =



A B B
A
C
en prexe
F =AB ACB
et en postxe.
F = AB AC B
Exercice 4.
Ar(F) =

B
A
A B
A B A B F
1 1 1 1
1 0 0 1
0 1 1 1
0 0 1 1
Exercice 5. On va montrer pour les deux premi`eres formules par les tables de verites.
A B A B A B F
1 1 1 0 1
1 0 0 1 1
0 1 1 1 1
0 0 1 1 1
A A A F
1 0 1
0 1 1
Y. Hachachi 23
On remarque que pour chaque distribution de valeurs de verite (ligne de la table) F prend la
valeur Vrai (represente par 1).
Pour la troisi`eme, on va le faire par des reductions `a une totaulogie connue :
((A B) (C A)) ((A B) (C A)) (1 B C) 1
A B A B (A B) A B F
1 1 1 1 1 1
1 0 0 1 0 0
0 1 0 1 0 0
0 0 1 0 0 1
On remarque que les deux formules ont la meme valeur sur chaque ligne.
Pour la seconde on va passer par des equivalences :
((A B) C) ((A B) C) ((A C) (B C)) ((A C) (B C))
Exercice 6.
p q r F FNC FND
1 1 1 0 p q r
1 1 0 1 p q r
1 0 1 0 p q r
1 0 0 0 p q r
0 1 1 1 p q r
0 1 0 0 p q r
0 0 1 1 p q r
0 0 0 1 p q r
Exercice 7. On a (F G) (F G), par le theor`eme du cours (consequence des formes
normales) on a : , est un syst`eme complet de connecteurs.
On a (F G) (F G) par le syst`eme precedent, on a : , est complet.
Exercice 8. On a (F F) F et ((F G) (F G)) (F G).
Exercice 9.
24 LogiqueChapitre 1
p q p q
1 1 1
1 0 0
0 1 1
0 0 1
1. La ligne qui nous interesse dans cette table est la premi`ere car cest la seule qui satisfait
lensemble p, (p q). On voit que la consequence q est aussi satisfaite, do` u le resultat.
r p q r p p q r q
1 1 1 1 1 1
1 1 0 1 0 0
1 0 1 0 1 1
1 0 0 0 1 0
0 1 1 1 1 1
0 1 0 1 0 1
0 0 1 1 1 1
0 0 0 1 1 1
2. Les lignes qui nous interessent dans cette table sont la 1, 5, 7 et 8 car ce sont celles qui
satisfont lensemble (r p), (p q). On voit que la consequence r q est aussi satisfaite
sur toutes ces lignes, do` u le resultat.
Exercice 11. On notera P
i
pour i = 1, 2, 3 le fait que le plat P
i
est frais.
(A1) (P
1
P
2
) (P
1
P
3
) (P
3
P
2
).
(A2) (P
1
P
2
).
(A3) P
3
P
1
.
P
1
P
2
P
3
A1 A2 A3
1 1 1 0 0 1
1 1 0 0 0 1
1 0 1 0 1 1
1 0 0 1 1 1
0 1 1 0 1 0
0 1 0 1 1 1
0 0 1 1 1 0
0 0 0 1 1 1
Y. Hachachi 25
Les lignes qui nous interssent dans cette table sont : 4,6,8.
On remarque quon a P
3
= 0 sur les trois lignes, alors P
3
est un plat `a eviter absolument.
Par contre aucun plat nest s ur.
Exercice 12.
MODUS PONENS
(F G)

G

F G
Les deux branches sont contradictoires, do` u le resultat :
F, (F G) G.
MODUS TOLLENS
(F G)

F

F G
Les deux branches sont contradictoires, do` u le resultat :
F est une consequence logique de (F G) et G.
(F G)

G

F G
Il y a deux branches non cotradictoires, do` u on a :
F, (F G) , G.
26 LogiqueChapitre 1
On peut `a partir de ce tableau extraire la dvv qui satisfait F, (F G) et pas par G
cest : F = 0 et G = 1, il sut de parcourir une branche non contradictoire et de satisfaire ces
litteraux ; cest-`a-dire : Si on a P on evalue P = 1 et si on a P on evalue P = 0.