Professional Documents
Culture Documents
LOGIQUE MATHMATIQUE
Par
partie 1.
Chapitre 1.
LOGIQUE
Rappels mathmatiques
1.
2.
3.
Chapitre 2.
Calcul propositionnel
11
1.
Prliminaires
11
2.
14
3.
14
4.
Thorme de remplacement
15
5.
17
6.
19
7.
Exercices.
Chapitre 3.
21
23
1.
23
2.
28
3.
31
4.
33
5.
Exercices.
35
Chapitre 4.
37
1.
37
2.
38
3.
Interprtation
39
4.
39
5.
Exercices.
41
6.
42
7.
49
8.
Exercices
50
3
9.
10.
Solmisation, Rsolution
Exercices
51
59
Premire partie
LOGIQUE
CHAPITRE 1
Rappels mathmatiques
(. . .)
{1, 2, 3 . . . , }
pour exprimer que l'ensemble des entiers est un ensemble qui possde
une innit d'lments. Cette dnition est intuitive et facilement accepte. Mais elle
ne sut pas pour utiliser le concept de nombres entiers dans plusieurs domaines des
mathmatiques. Ceci revient au fait d'crire trois points
(n N )S : n n + 1.
(zero) et l'application
dite fonction
comme suit :
(1)
(2)
(3)
L'ensemble des entiers naturels est dni par les clauses (1) et (2).
Cette dnition est un exemple de dnition par induction. La clause (1) est
appele rgle de base, la clause (2) qui permet de construire un nouveau lment est
appele rgle de gnration. La dernire clause est appele rgle de fermeture, elle
signie que la dnition des entiers est dtermine par les clauses (1) et (2).
1. RAPPELS MATHMATIQUES
proprit
P (n)
pour tout
n N.
P (n + 1)
P (n)
n = 0.
P (n)
est vrie.
1) et 2).
Accepter le principe de l'induction mathmatique, trs utilis en mathmatique,
devient immdiat si on prend en considration la dnition inductive des entiers naturels. Soulignons que le principe d'induction n'est pas seulement utilis pour dmontrer des proprits des entiers naturels mais concerne aussi les prorits sur des
ensembles dnombrables. Le principe d'induction est aussi trs utilis dans les preuves
des proprits et thormes en logique o souvent les dnitions sont donnes sous la
forme de dnition inductive. Gnralement la preuve par induction d'une propit
P (n)
P (n0 )
est vrie.
P (n)
P (n0 )
E,
soit
n0
vrie la proprit
P.
Ceci
< n).
P (m)
n2 .
est gale
Tout d'abord on peut recrire cette question sous une forme qui correspond la
dnition du principe d'induction. Soit P (n) = 1 + 2 + . . . + 2n 1 = n2 . Le domaine
de dnition de P est E = {1, 3, 5, . . . , 2n 1, . . .}. Appliquer le principe d'induction
pour montrer cette proprit nous amne :
(1)
(2)
S'assurer que la base d'induction est vrie, cest dire que P (1) est vraie.
Ceci donne P (1) = 1 = 12 .
Supposer que P (n) est vraie. Ceci sgnie que P (n) = 1+3+5+. . .+2n1 =
n2 .
(3)
n2 ,
sition est vraie. Nous verrons dans le reste de ce cours la justication de ce principe.
Nous allons maintenant, l'aide d'un exemple, montrer son utilisation dans la dduction mathmatique.
Supposons que que l'on pose cette question : l'ensemble des entiers naturels premiers est-il ni ? Les entiers premiers sont les entiers dont l'ensemble des diviseurs se
rduit
2, 3, 7, 11, 13, . . .
Pour rpondre cette question nous allons appliquer le raisonnement par contraposition. Partant de notre intuition que l'ensemble des entiers premiers est un
ensemble inni, on supposera que cet ensemble est ni et on dmontrera que cette
hypothse est fausse.
Si notre hypothse tait vraie alors l'ensemble des entiers premiers s'crirait :
Ceci Nouscontredit l'hypothse qui dit que l'ensemble des entiers premiers est ni.
0, 1, . . . , 9
10
1. RAPPELS MATHMATIQUES
100.
Aprs d'autres tentatives infructieuses, le lecteur se convaint facilement qu'il n'existe aucun ensemble de nombres vriant les conditions de ce problme. Alors, on se
trouve devant la situation de croire qu'un tel ensemble n'existe pas. Cette ide sur
la solution du problme est dicte par l'exprience et l'intuition dveloppes aprs
plusieurs essais.
Pour justier cette nouvelle ide qu'aucune solution ne vrie les conditions du
problme, on supposera qu'une telle solution existe et on dduira une contradition.
Supposons que la somme de certains nombres, vriant les conditions du problme, est
gale
sont utliss une seule fois pour crire ces nombres. Nous avons :
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 = 45
Chacune de ces formes reprsente, dans notre ensemble de nombres, solution du
problme, soit une dizaine ou soit une unit. Considrons que
45 T .
10T + (45 T ) = 100.
existe une suite de nombres vriant les conditions poses plus haut, c'est dire, dont
la somme est gale
100.
CHAPITRE 2
Calcul propositionnel
1. Prliminaires
Dans la logique propositionnelle, on trouve des
noncs
variables propositionnelles. On trouve aussi des noncs composs complexes construits partir des atomes ou des variables propositionnelles en utilisant des connecteurs.
Par exemple pour construire l'nonc mathmatique :
(1)
(x > 2)
>
2" et x2
noncs plus
1/2 1.". De
simples P , Q et du
et
mme l'nonc
P Q
connecteur .
Forme symbolique
non A
A
A B
A B
A B
A B
A et B
A ou B
A implique B
A quivalent B
A et B dnotent des noncs quelconques .
Avant de donner la dnition et pour mieux expliciter le sens de certains connecteurs, considrons les exemples suivants :
(1) Si la terre est plate alors Alger est une ville propre.
(2) Alger est une ville propre.
(3) La terre n'est pas plate.
11
12
2. CALCUL PROPOSITIONNEL
, , et .
. L'nonc La
terre
(): Ngation.
La ngation d'un nonc A est note
tableau :
A
(): Conjonction.
La conjonction de deux noncs A, B est note symboliquement par A
B. Le connecteur de conjonction et" not par le symbole
table suivante :
AB
(): Disjonction.
La disjonction de deux noncs A, B est note A
B ; ceci se traduit
dans le langage naturel par la phrase l'nonc A est vrai ou bien l'nonc B
est vrai.
Habituellement dans le langage parl le connecteur ou bien " est entendu
dans le sens exclusif, c'est dire nous ne pouvons pas avoir les deux noncs
A, B vrais simultanment. Un tel connecteur ou" est dit exclusif. Ce que
1. PRLIMINAIRES
13
nous considrerons dans toute la suite sera le connecteur ou" dit inclusif qui
signie que l'nonc A ou B" exprime que nous avons soit l'nonc A vrai,
soit l'nonc B vrai, soit l'nonc A et l'nonc B sont vrais. La dnition
du connecteur est donne par la table suivante :
(): Implication.
Le connecteur
qui pose quelques dicults pour son utilisation. L'attribution d'une valeur
de vrit certains noncs de la forme : A
en dfaut notre bon sens". L'exemple suivant nous donne une ide sur ce
problme : Soit l'nonc A la terre est plate" et l'nonc B les enseignants
sont milliardaires" . L'nonc A
AB
A est vrai et l'nonc B est faux. Ce qui traduit qu'un nonc vrai ne peut
pas impliquer un nonc faux.
(): Equivalence.
Le connecteur
par : A est vrai si B est vrai et B est vrai si A est vrai. La table suivante
donne la dnition du connecteur
14
2. CALCUL PROPOSITIONNEL
AB
Dfinition 2.1.
(2)
(3)
(4)
(1)
(1)
v(X) = v(X)
(2)
4. THORME DE REMPLACEMENT
15
Dfinition 3.2.
(2)
(1)
Une formule propositionnelle est une contradiction si elle prend une valeur 0
(Fausse) pour toutes les valeurs prises par les variables contenues dans cette
formule propositionnelle.
Il est ais de voir qu'une formule propositionnelle est une tautologie ou une contradiction ; il sut de construire la table de vrit correspondante.
A B (A B) (B A).
4. Thorme de remplacement
tologie. Il revient dire que si nous remplaons toutes les occurrences d'une variable
propositionnelle dans une tautologie par une formule propositionnelle quelconque ; la
formule propositionnelle obtenue est aussi une tautologie. Ce rsultat est donn par
le thorme suivant :
16
2. CALCUL PROPOSITIONNEL
(1 i n)
respectivement
in
une tautologie.
A1 (x y) et
A2 (y x).
B [A1 /b] [A2 /c]A (a (((x y) (y x)) a)
B est aussi une tautologie.
Soit A une formule propositionnelle contenant seulement les
connecteurs , , et . Soit A* la formule propositionnelle obtenue en interchangeant
les connecteurs et et en remplaant chaque variable p par sa ngation (p) dans
A. Alors A* est logiquement quivalent A.
Proposition 4.1.
Base d'induction(n = 0)
A ne contient aucun connecteur. Dans ce cas A est une variable propositionnelle
p, A* est donc (p). Il est vident que A* est logiquement quivalent (p).
Hypothse d'induction :
Supposons que A contient k connecteurs (k n) et supposons que chaque nonc
avec moins de k connecteurs vrie la proprit. Alors, il existe 3 cas considrer :
(1) A est de la forme (B)
(2) A est de la forme (B
C)
C).
k 1 connecteurs. Par hypothse d'induction B* est logiquement quivalent (B), mais A est (B). Donc A* est logiquement quivalent (B*)
et comme B* est logiquement quivalent B ; alors A* est logiquement
quivalent B ; c'est dire A.
Cas 1 : B a
17
C)
et donc
C*)
A.
c'est dire
(C)
et donc
(B
C)
A.
p2 . . . pn ) Utiliser la proposition
prcdente pour montrer que ((p1 ) (p2 ) . . . (pn1 ) (pn )) est logiquement
quivalent (p1 p2 . . . pn ).
(1)
(2)
et
donner une mthode directe qui permet de vrier si une formule est une tautologie
ou une contradiction sans passer par sa table de vrit.
18
2. CALCUL PROPOSITIONNEL
Il existe un algorithme qui transforme une formule propositionnelle ordinaire en forme clausale.
Thorme 5.1.
-formule (conjonction)
1
X Y
X
(X Y )
X
(X Y )
X
2
Y
Y
Y
-formule
et
-formule.
-formule (disjonction)
1
(X Y )
X
X Y
X
XY
X
2
Y
Y
Y
Description de l'algorithme
Etape 1. On commence avec
Di
remplacer N par
-formule
Z.
1 ,
2 .
-formule remplacer
[1 /]Di et [2 /]Di .
la disjonction
Di
(2)
(3)
(4)
(5)
< [a, a, a c], [a, b, a, c], [b, a, a, c], [b, b, a, c], [c, a, a, c], [b, c, a, c] >
(6)
< [a, a, a, c], [a, b, a, c], [b, a, a, c], [b, b, a, c], [c, a, a, c], [b, c, a, c] >
19
(aac)(abac)(baac)(bbac)(caac)(bcac)
{, , }
est un ensemble
{, }.
AB
s'exprime en fonction de
Dfinition 6.2.
et
En utilisera
(A B).
Proposition 6.2.
q pq p|q
0
1
1
1
0
1
0
0
1
1
0
0
Dmonstration. Exprimons
et
ou
et
dans
{|}
et
{}.
nous avons :
p
q
p
q
p
(p p) (q q)
p | p
(p | p) | (q | q)
p
20
2. CALCUL PROPOSITIONNEL
?.
A?B
A?B
connecteur
sera identique
(1) la valeur de la 2
(2) la valeur de la 2
(ngation) ne peut former seul un ensemble complet. Les seuls fonctions un argument
que l'on peut exprimer en fonction de
A
A
A
...
7.
EXERCICES.
21
7.
(1) Dmontrer par induction que n
Exercices.
2
2n+3 pour n
3.
1.
1 + 3 + 5 . . . + (2n 1) =n2 .
3
B = A
1.
ou exclusif.
(6) Donner les tables de vrit des noncs pp, pp, p0 et p1.
(7) Donner la forme propositionnelle des phrases suivantes :
(a) Il est habile et intelligent.
(b) Il est habile mais pas intelligent.
(c) Il doit travailler dur, sinon il choue.
(d) Il n'a pas crit la lettre ou il l'a perdue.
(e) La somme de deux nombres est pair si les deux nombres sont pair ou les deux
nombres sont impairs.
(8) Une association est rgie par le rglement intrieur suivant :
art1. Les membres de la direction nancire doivent tre choisis parmi ceux de la
direction gnrale.
art2. Nul ne peut tre la fois membre de la direction gnrale et de la direction de
la bibliothque s'il n'est pas membre de la direction nancre.
art.3 Aucun membre de la direction de la bibliothque ne peut tre membre de la
direction nancire.
On dsigne par f,g,b les propositions atomiques tre membre de la direction nancire [resp. gnrale], [resp.de la bibliothque].
(a) Ecrire sous forme de clauses l'ensemble des 3 articles du rglement.
(b) Montrer que l'ensemble prcdent est logiquement quivalent l'ensemble
des deux propositions suivantes { f
g, g
}. Rdiger un rglement
AB
(b)
AB
seulement.
seulement.
(10) Combien de fonctions boolennes une variable, deux variables, n variales peut-on
dnir
22
2. CALCUL PROPOSITIONNEL
h(a, b, c) = (a b) c
fonctions de vrit.
(12) Donner la forme normale conjonctive des formules :
(a)
(a b) ((b c) (a c))
(b)
(c)
(a (a b)) c
x > 3
et
x < 3.
Quels
p p
(b)
(p q) (p q)
(c)
p (q r) (p q) (p r)
(16) Un nonc A est satisable s'il existe une validation v telle que v(A) = 1.
(a) Montrer que
(b) Soit
D = L1 L2 . . . Ln (n 4)
et soient
D.
c1 , c2 , . . . , cn2 des
E tel que :
variables
On construit
et
CHAPITRE 3
(1)
(2)
a, b, . . . z : variables propositionnelles
(b)
, : symboles primitifs.
(c)
(, ) : parenthses.
L'ensemble des formules bien formes est dni par induction comme suit :
(a)
(b)
24
(c)
(3)
(4)
L'ensemble des formules bien formes est engendr par les clauses a) et
b) ci-dessus.
(5)
Rgle de substitution.
B
(Sub)
[A/p]B
La rgle de substitution signie que partir d'une formule B contenant une variable p, on peut dduire la formule [A/p]B obtenu en remplaant toutes les occurences
de p dans B par une formule A.
Remarquons aussi que les deux symboles
et
dnition. Ici ils n'ont aucun sens prcis. Ce sont de simples marques (des symboles
primitifs) intervenant dans la construction des formules. La rgle Modus Ponens est la
seule rgle du systme qui nous permet d'obtenir, partir des axiomes, d'autres formules appeles conclusion de dduction. Cette rgle peut tre accepte sans dicults
car elle correspond quelques dtails prs au mode de raisonnement (de dduction)
de tous les jours. Les axiomes, au contraire, ne semblent pas intuitifs. Ce sont la partie
la moins vidente du systme formel. Le choix de l'ensemble des axiomes dnit le
systme formel et dtermine souvent les proprits de ce dernier. Il existe plusieurs
systmes formels du calcul proposionnel. Le systme que nous utiliserons ici est parmi
les plus tudis et les plus simples.
Donnons maintenant quelques dnitions de nature prciser ce qu'est un systme
de dduction formel.
25
Soit la suite :
1) (a (b a))
(axiome 1)
2) (a (b a)) ((a b) (a a)) (axiome 2) + (Sub)
3) (a b) (a a)
1) + 2) + MP
Exemple 1.1.
Cette suite est une dmonstration dans CPF et la formule (a b)) (a a))
est un thorme.
Dfinition 1.3. Considrons F un ensemble de fbfs. La suite A1 , A2 , ..., An de
formules bien formes est une F-dduction si pour tout i (1 i n) nous avons l'un
des cas suivants :
(1)
(2)
Ai est un lment de F
(3)
Une F-dduction est comme une dmonstration dans laquelle les lments de F sont
considrs temporairement comme axiomes. Le dernier lment An de la suite est
dductible de F. Nous le noterons : F ` An
Remarque 1.2. L'criture ` A signie que A est un thorme. L'criture F ` A.
signie que A est dductible de l'ensemble F.
26
(Thorme de dduction).
Si A ` B alors ` A B . est un ensemble de formules qui peut tre vide. A
est une formule quelconque.
Proposition 1.1.
`B
(2)
` (B (A B))
(3)
` (A B)
D'o
AB
partir de
A.
comme suit.
axiome.
Axiome1.
1,2 + MP.
` (A B).
cas 2: B
1
2
3
une dduction de
lment de
(A
B).
Axiome 1.
1, 2 + MP.
cas 3: B
dans
lments (n>1) et que la proposition est vrie pour toute formule dduite de
A dont la dmonstration est une suite de formules ayant moins de n lments : C'est
l'hypothse d'induction.
cas 2: B
, `
(A
27
B et
(A
(C
La dduction de (A
B) partir de
(A
C) et
B)).
(1)
.
.
.
(k) (A
C)
.
.
.
(C
B))
(l+1) (A
(C
(l) (A
(l+2) (A
(l+3) (A
C)
((A C) (A
B) 1, l+1 + MP.
B))
(A
B)) Axiome 2.
B) k, l+2 + MP.
B) partir de
Notre objectif
A.
(1)
.
.
.
(k) (A
B)
(k+1) A lment de
A.
(1)
(2)
(3)
(4)
(5)
`
`
`
`
`
(A
(B
B)
C)
hypothse
hypothse
hypothse
1, 3 + MP.
2,4 + MP.
B), (B
C), A
28
(A
B), (B
C)
(A
C)
Exemple 1.4.
(1)
(B (B A))
(2)
((A A) A)
(2)
(3)
(4)
(A (A (A A))) ( A A ) (A (A A))))
Axiome 2
(5)
(6)
(7)
(8)
Nous allons tablir un lien entre la mthode des tables de vrit et la mthode
axiomatique, applique au calcul propositionnel. Nous tirerons prot des liens entre
ces deux approches pour montrer la consistance du calcul proposionnel formel.
(1)
v(A) 6 = v(A)
(2)
(
v(A B) =
Dfinition 2.2.
v, v(A) = T .
F
T
29
dmonstration du thorme. Il s'agit de vrier que tous les axiomes sont des tautologies et montrer ensuite que dans une dmonstration chaque formule intermdiaire est
une tautologie.
thorme.
Avant de dmontrer ce thorme nous avons besoin de dmontrer les rsultats
suivants.
Soit A une formule du CPF et p1 , p2 , p3 , ..., pk des formules atomiques dans A et soient
(
pi
si pi = 1
p0i =
pi si pi = 0
Lemme 2.1.
et
(
A0i =
Ai
si Ai = 1
Ai si Ai = 0
p1 et
p1 ` p1 .
et
30
cas 1: Si A est
cas 2: A est (B
p'1 ,...p'k
` B.
En utilisant le thorme
A'.
b) C prend la valeur 1 alors A prend la valeur 1, C est C' est A' est A.
p'1 ,...p'k
p'1 ,...p'k
`
`
C ou p'1 ,...p'k
(B
(C
(B
C)),
C).
C' est
Dmonstration du thorme. Soit A une tautologie et soient p1 ,...pk les formules atomiques de A. D'aprs le lemme prcdant et le fait que A'
p'1 ,...p'k
` A. Si pk
` A et si pk
A nous avons
prend la valeur
A.
Dmonstration. Nous avons montr que tout thorme de CPF est une tau-
ne peuvent
31
|=
A qui
A une proposition. Nous pouvons aisement voir d'aprs les rsultats des chapitres
prcdents que ceci revient prouver que l'ensemble des propositions
est contradictoire (c..d un sous ensemble ni de propositions de
F=H
{A }
F est contradictoire).
Les tables de vrit orent, en principe, une mthode pour dcider de la valdit
ou de la contradiction d'un ensemble de propositions. Mais, nous savons que l'utilisation d'une telle mthode est trs lourde si le nombre de variables propositionnelles
intevenant dans la formule
avec pi
P.
Une proposition
C =
pi
n,
p2
...
pi
pi+1
...
pn
(= faux). On admettera que dans une clause il n'y a pas de rptition d'un
Notons que les propositions sont ici crites seulement l'aide des
deux connecteurs et . Ces deux connecteurs forment un ensemble {, } complet
de connecteurs.
Remarque 3.1.
S = G1 G2 . . . G n
de clauses
Gi
0
nouvelle conjonction S telle que
S 0 est insatisfaite
0
00
ou transforme en une nouvelle paire de conjonction S et S telle que S est insatisfaite
0
00
si et seulement si S et S sont insatisfaites.
S
32
(1)
Gi =
S en supprimant toute les clauses dans
S contenant l (Gi incluse) et en supprimant les occurences des litraux
0
opposs l des clauses restantes. Si S est vide, S est satisfaite.
(2)
occure
0
les clauses Gi contenant l. La clause S ainsi obtenue est insatisfaite si et
0
seulement si S est insatisfaite. Si S est vide alors S est satisfaite.
(3)
Rgle de consensus. Supposant que les deux rgles (1) et(2) ne s'appliquent
pas. Il existe donc un litral
et son oppos
S.
Alors
(A1 l) . . . (An l)
(B1 l) . . . (Bm l)
R1 . . . Rp
Ai , Bi et Ri ne contiennent ni l et ni l. Alors nous avons les
0
00
conjonctions S = (A1 . . . An ) R1 . . . Rp et S = (B1 . . . Bm )
R1 . . .Rp . alors, S est insatisfaite si et seulement si (S 0 S 00 ) est insatisfaite.
Les clauses
Exemple 3.1.
Soit la formule :
p3 (a)
est satisfaite.
Exemple 3.2.
Soit la formule :
(a b) (a c) (a c) (a b) (c b) (c b)
c b (c b) (c b)
b b (par 1b sur c)
contradiction (par 1a)
33
A1 , . . . , An ` B1 , . . . , Bk
.
Soit
une formule,
et
, X `
`
au lieu de
au lieu de
{X} ` .
` .
(A1 . . . An ) ` (B1 . . . Bk ).
` , X
( gauche)
, X `
, X `
( droit)
` , X
, X, Y `
( gauche)
, X Y `
` , X ` , Y
( droit)
, ` , X Y
, X ` , Y `
( gauche)
, X Y `
` , X
, Y `
( gauche)
, X Y `
Dans un rgle, par exemple
prmisse de la rgle et le squent
` , X, Y
( droit)
` , X Y
, X ` , Y
( droit)
` , X Y
appell
34
1. P ` P
3. P, Q ` P
2. Q ` Q.
4. P, Q ` Q
5. P, Q ` P Q
6. Q ` P Q, P
7. ` P Q, P, Q
8. (P Q) ` P, Q
9. (P Q) ` P Q
10. (P Q) ` (P Q).
Lemme 4.2.
Ceci se traduit par l'quivalence des squents infrieurs et des squents suprieurs
des rgles ci-dessus. Nous admetterons ici les deux lemmes sans les dmontrer.
Une preuve en calcul des squents se prsente comme un arbre dont les feuilles
sont tiquetes par des axiomes, la racine est tiquete par le squent prouver, et
les noeuds internes sont tiquts par le squent infrieur obtenu par applicalication
d'une rgle d'introduction. Pour dmontrer une proposition
squent
` F.
Un squent
F,
il sut de montrer le
tautologie.
Thorme 4.2.
squents.
5. EXERCICES.
35
5. Exercices.
I. Montrer que les formules suivantes sont des thormes :
(1) (A
B)
(2) (A
(3)
II. Soit
CP F +
((A
B)
B (A
(B
B).
B)).
A)
Montrer que
CP F +
B )
(A
B)).
est inconsistant.
III. Montrer que si B est une contradiction alors B n'est thorme d'aucune extension consistante de CPF.
IV. Montrer en utilisant la procdure de Davis-Putnam que les formules suivantes
sont des tautologies.
(1)
(2)
(3)
(P Q) (Q R)
X (Y X)
(2)
(3)
(X Y ) ((X Y ) X)
(4)
((X Y ) X) X
(5)
(B A) (A B)
, X
, X
VIII.
(1) Appliquer la mthode de Davis-Putnam pour montrer que la formule suivante
est valide :
(2) Appliquer le calcul des squents pour montrer que la formule suivante est
valide :
(p (q (r s)) (q r)) (p s)
CHAPITRE 4
xP (x)
et .
xP (x)
se lit : Il existe x
dnition du prdicat
D,
P (x)
D tel que
P (x)
P.
Avant de dnir le langage du calcul des prdicats i.e l'ensemble des formules bien
formes (correctement crites) nous allons d'abord prciser :
(1)
x1 , x2 , . . .
a1 ,a2 , . . .
P1 , P2 , . . .
f1 ,f2 , . . .
,
,
(2)
les variables
les constantes
les prdicats
les fonctions
les connecteurs
les quanticateurs
Les termes. Les termes du calcul des prdicats (CP.) sont dnis comme
suit :
(a) Les variables et les constantes sont des termes.
(b) Si fi est une fonction
termes alors fi (t1 , t2 ,
. . .,
arguments du
CP.
tn ) est un terme du
et t1 , t2 ,
. . .,
tn sont des
CP.
(c) L'ensemble des termes est engendr par les clauses (a) et (b).
Exemple 1.1.
Dfinition 1.1.
(formule atomique).
37
38
(3)
Exemple 1.2.
(1)
(2)
Dans la formule
x est dite variable
Une occurence d'une variable x dans une formule est dite lie
si elle possde une occurrence dans le champ d'un quanticateur (ou ) dans cette
formule. Si une occurrence d'une variable n'est pas lie, elle est libre.
Dfinition 2.1.
F xA(x) y((P (f (x), 0) (P (g(y), b))
La premire occurence de la variable x est lie par le quanticateur x, mais la
deuxime occurence de la variable x est libre.
Exemple 2.1.
Exemple 2.2.
Le terme g(w,z) est libre pour y dans la formule xP (x, y) zQ(z, x).
39
3. Interprtation
On attribue un "sens" (une valeur de vrit !) chacune des formules en interprtant les dirents symboles (fonctions, prdicats), les constantes et les variables.
Ainsi, pour une formule particulire, nous pouvons obtenir plusieurs interprtations
dpendant du sens que l'on donnera aux symboles de cette formule. Considrons par
exemple la formule
(c.a.d x, y
N)
de voir si cette formule est une proposition vraie ou une proposition fausse.
(1)
(2)
(3)
(4)
(1)
(2)
(3)
de l'exemple
(x)(y)(z)(x + y = z).
Nous remarquons qu'il nous est plus facile de dire si cette dernire formule prend
toujours la valeur vraie ou la valeur fausse ou bien ni l'une ni l'autre. Pour pouvoir,
40
dans le cas gnral, dcider de la valeur de vrit d'une formule nous introduisons les
notions de valeur d'une formule dans une interprtation I.
Soit A une formule du calcul des prdicats et soit I une interprtation. Une valeur v(A) dans I est dnie d'abord en remplaant chaque constante
ai de A par un lment di de I et par induction sur la structure de A : comme suit :
Dfinition 4.1.
(1)
(2)
(3)
(4)
(1)
(2)
Notation.
I |=
I.
B est vraie.
I. v(A) = T et v(A B) = T. Par
6= T car v(A) = T. Donc v(B) = T.
d-
5.
EXERCICES.
41
I |=
A et v(A) =T dans
I.
Soit x
DI et par dnition
I |= A est immdiate.
tout d
Lemme 4.1.
v( x A) = T. D'o
est valide. Il y'a deux cas distinguer quelque soit l'interprtation I considre :
(1)
x = y.
P(x,y) P(y,x) devient P(x,x) P(x,x) et donne toujours la valeur
vraie la formule.
(2)
x 6= y.
Dans ce cas x 6= y donne toujours la valeur vraie la formule considre.
5.
Exercices.
(b)
(c)
xA(x) xA(x).
(d) (xA(x)
42
(b)
(c)
P (x, x) yP (y, y)
(d)
yP (x, y) P (y, y)
P(a,b)
P(b,a)
P(b,b)
D = {a, b}
et
yP (x, x)
(b)
xP (x, x)
(c)
xyP (x, y)
(d)
Les symboles du calcul des prdicats peuvent tre interprts de direntes manires.
Mais dans ce qui suit , nous nous intresserons seulement aux aspects formels du langage contrairement ce qui a t fait prcdement concernant les proprits dpendant
d'interprtations particulires. Dans le systme formel que nous allons dnir, nous
montrerons des proprits importantes telles que la consistance et le thorme de
compltude.
Remarquons que les axiomes du calcul des prdicats ci-dessus sont des axiomes
schemas. Chacun d'eux remplace une innit de formules appeles instances.
(a ((b
43
Remarquons aussi que l'ensemble des axiomes du calcul des prdicats inclut l'ensemble des axiomes du calcul propositionnel. Les nouveaux axiomes introduits concernent
les proprits immdiates du quanticateur
CP
propositionnel.
(1)
(2)
Ai est un axiome ou
Ai se dduit partir des lments prcdents de la suite par l'application de
le rgle Modus Ponens o de la rgle de gnralisation .
Une formule du calcul des prdicats est dite thorme si elle est la dernire formule
d'une certaine suite de formules qui forme une dmonstration.
Notation. ` A" exprime que A est un thorme. ` A" exprime que A se dduit
(Ici
de ).
partir de
formules
Dfinition 6.3. Une formule A du calcul des prdicats est une tautologie s'il
existe une formule A0 du calcul propositionnel telle que A est obtenue partir de A0
par substitution de certaines variables propositionnelles par des formules du CP et A0
est une tautologie.
Proposition 6.1.
prdicats.
Dmonstration. A est une tautologie du calcul des prdicats alors, il existe une
formule A0 tautologie du calcul propositionnel telle que A est obtenue par substitution
des variables propositionnelles de A0 par des formules. La dmonstration de A0 dans
44
(Modus Ponens).
Dmonstration. .
du
CP.
satisfait A. C'est dire toute validation v' telle que v(y) = v'(y) pour tout y dirent
de x satisfait A. Pour toute valeur de x, v satisfait A. Donc, chaque validation v
satisfait (xA
un terme t
xA(x)
Proposition 6.3.
dans la dmonstration de A.
Base d'induction. Si n = 1 alors A est un axiome du
CP.
A) et que chacune de ces deux formules est logiquement valide par hypothse
A et
A. Alors A et
sont
ne peuvent
45
tre valides ensemble par la dnition mme de la ngation. Notre hypothse est
contradictoire et nous n'aurons jamais
`A
`A.
et
CP
ne peut tre montr sans certaines restrictions. Par exemple nous avons :
A
xA
du thorme de dduction.)
comme un nouveau thorme.
xA
(Thorme de dduction).
{A}.
(A
A ou B
n > 1.
{A}
sans utiliser la rgle de gnrarlisation sur une variable libre dans A dans la dduction
contenant moins de n formules alors
B.
Cas 1. B se dduit partir des formules prcdantes par la rgle MP. La dmonstration est la mme que celle donne dans le cas du calcul propositionnel.
A ou B
{A}`
(A
{A}
B) partir est
46
1
.
.
.
. dduction de (A
(k)
(k+1)
(k+2)
(k+3)
C) partir de
(A C)
x(A C) (k) + rgle de gnralisation.
x(A C) (A xC (ax6).
A xC.
(k+1),(k+2) + MP.
(A
B).
Corollaire 6.2.
tionnel.
(1)
(2)
(A x B)
xB B
(A B)
x (A B)
(A xB) x(A B)
hypothse
(axiome 4)
1+2 +SH
3+gnralisation
1,3+Thorme de dduction.
a) ` x (A B)
b) ` x B
c) ` x (A B) (A B)
d) ` (A B)
e) ` (A B) (B A)
f ) ` (B A )
g) ` (x B) (B)
h) ` B
i) ` A
j) ` xA
hypothse
hypothse
(axiome 4)
a+c+MP
tautologie.
d+e+MP
(axiome 4)
b,g + MP
f,h + MP
a + i +gnralisation
47
B est identique
((A B) (B
. Il sera dni
A)).
Soient A et B deux formules bien formes du calcul des prdicats, ` A B est quivalent ` (A B) et ` (B A).
Proposition 6.4.
Dmonstration.
1)
2)
3)
4)
5)
` ((A B) (B
` ((A B) (B
` ((A B) (B
` (A B)
` (B A)
A))
A))
A))
Par hypothse
(A
(B
B)
A)
Tautologie
Tautologie
1+2 + MP
1+3 + MP
(A
B)
((B
A)
((A
B)
(B
A)))
Cette dernire proposition sera trs utile dans le cas o nous aurons besoin de montrer
que deux formules sont quivalentes. Nous aurons tudier aussi quelles parties d'une
formule peuvent tre substitues et de quelles manires interchanger les noms de
variables.
Si xi est libre dans A(xi ) et xj est une variable qui n'a aucune
occurence libre ou lie dans A(xi ) alors ` xi A(xi ) xj A(xj )
Proposition 6.6.
48
Dmonstration. xi est libre pour xj dans A(xj ) et xj est libre pour xi dans
A(xi ).
1)
2)
3)
4)
5)
`
`
`
`
`
xi
xi
A(xi )
A(xi )
Hypothse
A(xj )
Axiome 5
A(xj )
1 + 2 + MP
xj
xi
3 + rgle de gnralisation
A(xj )
A(xi )
xj
A(xj )
xi
A(xi )
` xj
et donc :
xi A(xi )
A(xi ) xi A(xi )
A(xj )
` xi
Cette proposition montre que l'on peut changer le nom des variables lies dans
une formule et obtenir une autre formule quivalente la premire formule. L'utilit
de cette proposition, nous la verrons dans la suite.
` y1 . . . yn1 yn A
et montrons que
A. La
dmonstration est immdiate par induction sur le nombre n des variables yi (1in)
et par application de l'axiome 5.
49
formule F' sous forme normale prnexe conjonctive en remplaant successivement des
parties de F par des formules quivalentes. La construction de F' se fait en plusieurs
tapes.
(1) Eliminer dans F tous les quanticateurs redondants ; c.a.d liminer les quanticateurs
ou
champ.
(2) Changer le nom des variables lies. Prendre la partie la plus gauche de la
formule F sous la forme
vB(v)
ou
vB(v)
v1 B(v)
ou
v1 B(v).
B par (A
ou
vB(v)
vB(v)
B)
, et .
A).
Remplacer A
B par
50
vA(v) B
B vA(v)
B vA(v)
vA(v) B
B vA(v)
vA(v) B(v)
vA(v) vB(v)
v
v
v
v
v
v
v
par
par
par
par
par
par
par
B) C
(B C)
(A
par
(A
par
(A
[A(v) B]
[B A(v)]
[B A(v)]
[A(v) B]
[B A(v)]
[A(v) B(v)]
[A(v) B(v)]
par rapport
C)
B)
(B
(B
remplacer
C)
C)
Soit la formule F :
x [(yp(x) zq(z, y)) yr(x, y)]. Sa forme normale prnexe conjonctive est
obtenue en appliquant la procdure prcdante :
Exemple 7.2.
(1)
(2)
Renommer la variable y :
x [(p(x) (z)q(z, y)) y1 r(x, y1 )]
(3)
Eliminer le quanticateur :
x [(p(x) zq(z, y)) y1 r(x, y1 )]
(4)
(5)
9. SOLMISATION, RSOLUTION
(b)
(c)
(d)
51
(b)
(c)
x1 . . . xn (C1
O Ci (0
xj si
< i < k + 1)
i 6= j .
C2
...
Ck )
est une clause et les xi (in) sont des variables telles que xi
q(y)
P(f(x),a)
6=
q(y) p(a,y).
D, la formule Ds
Ds
satisfaisable.
satisfaisable
52
Dmonstration. La transformation de
D1 , D2 , . . . Dn
, telle que
D = D1 , Dn = Ds
D
et
Di
satisfaisable
Di+1
satisfaisable.
par le quanticateur
).
et
(xA)
par
x(A)
(b)
(xA)
par
x(A)
(c)
(A B)
par
A B
(d)
(A B)
par
A B
(e)
(A)
par A.
mule atomique.
(6) Pousser les quanticateurs droite en remplant :
(a)
(
x(A B)par
A xB
xA B
A xB
xA B
A xB
xA B
A xB
xA B
(b)
(
x(A B)par
(c)
(
x(A B)par
(d)
(
x(A B)par
9. SOLMISATION, RSOLUTION
53
yB(y)
yB(y)
quanties universelle-
yB(y).
(b) f est fonction n arguments qui n'occure pas dans la formule. Rpter
ce processus jusqu' l'limination complte des tous les quanticateurs
existensionnels. Dans le cas perticulier
n = 0,
remplacer
yB(y)
par
B(a) o a est une nouvelle constante qui n'occure pas dans la formule.
(8) Dplacer les quanticateurs
(9) Distribuer
et
gauche.
Nous proposons au lecteur de vrier que toutes ces transformations conservent
la satisfaction de la formule D.
Exemple 9.1.
(2)
(3)
(4)
Dplacer
tx(p(x) (y(q(x,y) p(f(t))) z(q(x,z) p(x))))
(5)
(6)
(7)
(8)
54
9.2. Procdure de Herbrand. La procdure de Herbrand joue un rle important dans la dmonstration automatique de thormes. Elle permet, en eet, de
ramener le problme de l'existence d'un modle pour un ensemble ni de clauses un
problme de la satisfaisabilit d'un ensemble de propositions.
Par dnition un ensemble de clauses S est insatisfaisable si et seulemnet si il
est contradictoire pour toutes les interprtations. Comme il est dicile de considrer
toutes les interprtations (innies), il serait plus pratique de se xer sur une seule
interprtation IH telle que S est insatisfaisable dans IH quivaut que S est contradictoire.
Exemple 9.2.
{a, f (a)} et H
est satisfaisable.
L'ensemble ni de clauses S est contradictoire si et seulement
si l'ensemble H(S) est contradictoire.
Corollaire 9.1.
Le thorme de Herbrand et son corollaire suggrent une procdure pour dmontrer l'insatifaisabilit des formules sous formes clausales. Pour une formule F sous
forme clausale, nous engendrons successivement les instances de clauses Gi des clauses
de F et tester si leur conjonction est contradictoire. Cette procdure permet de dtecter si F est insatisfaisable aprs un nombre ni d'tapes. Dans le cas contraire si F
est satisfaisable la procdure peut ne pas se terminer. C'est une procdure de dision
partielle.
Donnons un exemple. Soit la formule :
yz(p(x,y) x(p(z,x)
La forme prnnexe conjonctive de cette formule est :
p(x,z))).
9. SOLMISATION, RSOLUTION
yzux
{(p(z,y)
p(z,x) p(x,z))
(p(z,y)
p(z,u))
55
(p(z,y)
p(u,z)) }
et x par a.
A,
B, A
C,
B C
l,
l,
clauses C' et D' ainsi obtenues. Eliminer les occurences des litraux dupliqus dans
G, et ajouter G la liste des clauses. Le cas particulier est l'existence de deux clauses
l et
l,
Le rsultat principal de cette mthode est qu'une conjonction d'un ensemble ni
S de clauses est insatisfaisable si et seulemnet si la clause vide
...
Fn
F2
...
c2 p(z,a) p(z,f(z))
c3 p(z,a)
p(f(z),z)
On obtient :
c4
p(a,a)
z = a dans C1
c5 p(a,f(a)) rsolution de c2 et c4 .
56
c6 p(f(a),a) rsolution de c3 et c4 .
c7
c8
c9
et c1 .
L'inconvnient de cette mthode, sur le plan pratique, est que l'ensemble des
clauses engendres, pour la pluspart des formules, est trs grand. Ce qui demenadera
pour leur traitement un espace mmoire l'ordinateur et un temps de calcul inacceptable. Pour surmonter ces dicults Robinson introduit une nouvelle mthode de
rsolution gnrale en gnralisant la rgle de rsolution dcrite prcdement.
Pour pouvoir dcrire cette mthode gnrale de rsolution il est ncessaire d'introduire quelques dnitions.
Dfinition 9.3.
de la forme :
= { (v1 , t1 ),(v2 , t2 ),. . . (vn , tn )}
les variables vi sont distinctes deux deux et sont toutes dirents des termes ti . Pour
tout littal L, L' = L est un littral obtenu partir de L en remplaant simultanement
les variables vii 1 i n par les termes ti dans L. L' est appel instance de L.
Dfinition 9.4.
iques :
p(t11 ,. . .,t1n ) p(t21 ,. . .,t2n ) . . . p(tk1 ,. . .,tkn )
est l'ensemble des sous-termes { 1 , 2 ,. . ., k } obtenu comme suit : On considre chacune des formules atomiques comme une suite de symboles et on rpre la position
du premier symbole qui n'occupe pas la mme position dans toutes les formules atomiques. Alors, pour chaque i (1 i k ) on considre i le sous-terme de p(ti1 ,. . .,tin )
qui commence par cette position du symbole.
Exemple 9.3.
...
Une substitution
iques A1
A2
...
unicateur pour une disjonction de formules on dit que cette disjonction est uniable.
Un unicateur
d'une disjonction A1
A2
...
9. SOLMISATION, RSOLUTION
, appele facteur de A1
57
A2
...
An , est
unique.
Exemple 9.4.
A2
...
uniable.
Dfinition 9.5.
(1)
(2)
Algorithme d'unication
(3)
p(y1 ,. . .,yn ).
(a) Si xi = yi (1
i n)
suit :
C3 = ( C1 -l1 )
( C2 - l2 )
58
de l1 et l2 existe alors
(( C2 ) -( l2 ) )
Exemple 9.5.
Soit la disjonction :
p(a,x,f(g(y))) p(z,h(z,w),f(w))
10. EXERCICES
59
p(x1 , y1 )
(2)
(3)
p(y3 ,f(x3 ,y3 )) p(f(x3 ,y3 ),f(x3 ,y3 )) q(x3 y,f(x3 ,y3 )) q(f(x3 ,y3 ),f(x3 ,y3 ))
A partir des clauses 1 et 4 avec la substitution {(x1 , f(x2 ,y2 )), (y1 ,f(x2 ,y2 ))}
nous obtenons :
(5)
q(x2 ,y2 )
A partir des clauses 3 et 5 avec la substitution {(x2 , f(x3 ,y3 )), (y2 ,f(x3 ,y3 ))}
nous obtenons :
(6)
p(y3 ,f(x3 ,y3 )) p(f(x3 ,y3 ),f(x3 ,y3 )) q(x3 y,f(x3 ,y3 ))
A partir des clauses 5 et 6 avec la substitution {(x2 , x3 ), (y2 ,f(x3 ,y3 ))} nous
obtenons :
(7)
A partir des clauses 1 et 7 avec la substitution {(x1 , f(x3 ,y3 )), (y1 ,f(x3 ,y3 ))}
nous obtenons :
(8)
A partir des clauses 1 et 8 avec la substitution {(x1 ,y3 ), (y1 ,f(x3 ,y3 ))} nous
obtenons nalement :
(9)
(p(x)
(q(x)
p(y)))
xy(q(y)
p(x))
60
x h(x) yh(y)
G : x (h(x) r(x))
C : xr(x) y p(y)
F :
quivalent {F, G,
C}.
est contradictoire.
(3) On veut montrer, en utilisant le langage du calcul des prdicats, que dans un
groupe (structure algbrique), tout lment idempotent est ncessairement
l'lment neutre.
(a) Poser compltement le problme (en forme de clauses)
(b) Appliquer la mthode rsolution.
(4) Montrer par la mthode de rsolution que pour tout prdicat p, ayant les
proprits de symtrie,de transitivit et tel que
xy
p(x,y) alors, p a la
proprit de reexivit.
(5) Tahar, Malika et Mohamed font partie d'un Club-musique. Chaque membre de ce club est soit un chanteur ou guitariste ou les deux la fois. Aucun
guitariste n'aime le style rai et tous les chanteurs aiment le style chaabi.
Malika n'aime pas tout ce que Tahar aime et elle aime tout ce que Mohamed
n'aime pas. Tahar aime le style rai et le style chaabi. Existe-t-il un adhrent de ce club qui soit guitariste et pas chanteur ? Utiliser les prdicats
suivants : M(x) : x appartient au club ; G(x) : x est guitariste ; C(x) : x est
chanteur ; A(x,y) : x aime y.