Beruflich Dokumente
Kultur Dokumente
LOGIQUE MATHMATIQUE
Par
partie 1. LOGIQUE 5
1. Prliminaires 11
4. Thorme de remplacement 15
7. Exercices. 21
5. Exercices. 35
3. Interprtation 39
5. Exercices. 41
8. Exercices 50
3
4 TABLE DES MATIRES
9. Solmisation, Rsolution 51
10. Exercices 59
Premire partie
LOGIQUE
CHAPITRE 1
Rappels mathmatiques
Souvent on crit l'ensemble des entiers naturels {1, 2, 3 . . . , } en utilisant les trois
points (. . .) 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 (. . .), pour exprimer la notion
d'inni, qui n'est pas, en soit, un concept mathmatique.
Il est donc ncessaire de donner une dnition des entiers naturels adapte de
Dans la nouvelle dnition des entiers on prend chaque entier comme un objet
comme suit :
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).
ensemble dont les lments sont des objets mathamtiques et qui est isomorphe
un sous ensemble de l'ensemble des entiers naturels. Il serait trs utile de rappeler
de faon simple le principe d'induction. Supposons que l'on souhaite dmontrer une
7
8 1. RAPPELS MATHMATIQUES
proprit P (n) pour tout n N. Pour utiliser le principe d'induction dans notre
(3) On dclare que (n N )P (n) est dmontre si nous avons montr les tapes
1) et 2).
turels. Soulignons que le principe d'induction n'est pas seulement utilis pour d-
montrer 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
(1) Montrer que le plus petit lment de E, soit n0 vrie la proprit P. Ceci
(3) A partir de l'hypothse d'induction on montre que P (n+1) est vrie. Dans
le cas o cela est montr on peut dire que : (n E)P (n) est vrie.
principe d'induction sous une autre forme lgrement dirente de celle dcrite ci-
dessus. L'hypthse d'induction est donne sous la forme P (m) est vrie pout tout
(m < n). Il est facile de voir que c'est une gnralisation du principe d'induction
Dmontrer que la ngation d'une proposition est fausse prouve que cette propo-
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 dduc-
tion mathmatique.
Supposons que que l'on pose cette question : l'ensemble des entiers naturels pre-
miers est-il ni ? Les entiers premiers sont les entiers dont l'ensemble des diviseurs se
rduit 1 et l'entier lui mme. Les entiers 2, 3, 7, 11, 13, . . . sont des premiers.
Pour rpondre cette question nous allons appliquer le raisonnement par con-
traposition. 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
Si notre hypothse tait vraie alors l'ensemble des entiers premiers s'crirait :
Q n'est pas premier puisque p est le plus grand entier premier. Mais observons que
le reste de la division de Q par tout entier premier est gal 1. Alors Q est premier.
Ceci Nouscontredit l'hypothse qui dit que l'ensemble des entiers premiers est ni.
alors nous concluons que cette hypothse est fausse. Plus loin, nous prsenterons la
montrer son utilisation dans les preuves mathmatiques. Problme : Trouver l'ensem-
ble des nombres entiers crits l'aide des chires 0, 1, . . . , 9 en utilisant une seule fois
10 1. RAPPELS MATHMATIQUES
chacun de ces chires et dont la somme est gale 100. Une premire tentative nous
permet de donner l'ensemble {4, 5, 6, 730, 28, 19}. Cet ensemble possde la seconde
condition mais pas la premire puisque 4 + 5 + 6 + 7 + 30 + 28 + 19 = 99. Une deuxime
tentative nous amne constater que l'ensemble des nombres {4, 5, 6, 7, 31, 28, 19}
trouve devant la situation de croire qu'un tel ensemble n'existe pas. Cette ide sur
plusieurs essais.
Pour justier cette nouvelle ide qu'aucune solution ne vrie les conditions du
Supposons que la somme de certains nombres, vriant les conditions du problme, est
gale 100. Ces nombres constituent dix (10) formes direntes puisque 0, 1, 2, 3, . . . , 9
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 T est la somme des
avec le fait que T est la somme de nombres entiers. Ceci contredit l'hypothse qu'il
existe une suite de nombres vriant les conditions poses plus haut, c'est dire, dont
Calcul propositionnel
1. Prliminaires
its partir des atomes ou des variables propositionnelles en utilisant des connecteurs.
non.
non A A
A et B A B
A ou B A B
A implique B A B
A quivalent B A B
(1) Si la terre est plate alors Alger est une ville propre.
11
12 2. CALCUL PROPOSITIONNEL
la terre est plate alors Alger est une ville propre . L'nonc La terre
n'est pas plate" se notera A.
1.1. Les connecteurs , , et . Explicitons maintenant les dnitions de
(): Ngation.
La ngation d'un nonc A est note A et elle est dnie par : Si l'nonc
A est vrai alors la ngation de l'nonc A est fausse et si l'nonc A est
faux alors l'nonc A est vrai. Ceci est rendu plus comprhensible grce au
tableau :
A A
V F
F V
Exemple 1.1. L'nonc la terre est plate" est la ngation de l'nonc
"la terre est sphrique". l'nonc x = 2 est la ngation de l'nonc x = 0.
(): Conjonction.
La conjonction de deux noncs A, B est note symboliquement par A
B. Le connecteur de conjonction et" not par le symbole est dni par la
table suivante :
A B AB
F F F
F V F
V F F
V V V
Ceci signie que, l'nonc A B est vrai, que dans le cas o les deux
noncs A et B sont vrais. L'nonc A B est faux dans tous les autres cas.
(): 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
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,
A B A B
F F F
F V V
V F V
V V V
(): Implication.
Le connecteur appel le connecteur d'implication est souvent le seul
qui pose quelques dicults pour son utilisation. L'attribution d'une valeur
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 B exprimera : Si la terre est plate alors les
enseignants sont milliardaires. Le bon sens acceptera dicilement qu'un tel
nonc est vrai. La dicult vient certainement du fait que dans le langage
naturel nous ne rencontrons pas de tels type d'noncs, mais il est frquent de
A B AB
F F V
F V V
V F F
V V V
Remarquons que le seul cas o l'nonc A B est faux est lorsque l'nonc
A est vrai et l'nonc B est faux. Ce qui traduit qu'un nonc vrai ne peut
(): Equivalence.
Le connecteur d'quivalence liant deux noncs A et B peut tre dni
par : A est vrai si B est vrai et B est vrai si A est vrai. La table suivante
A B AB
F F V
F V F
V F F
V V V
Nous nous intrressons maintenant aux formules propositionnelles qui ont toujours
la valeur de vrit vrai cause de leur structure syntaxique sans aucune rfrence au
Dfinition 3.1. Une valuation Boolenne est une application v de l'ensemble des
formules propositionnelles vers l'ensemble {V,F} vriant les conditions :
(1) v(X) = v(X)
(2) v(XY ) = v(X)v(Y ) ; v(XY ) = v(X)v(Y ) ; v(X Y ) = v(X) v(Y ).
Il est ais de voir qu'une formule propositionnelle est une tautologie ou une con-
4. Thorme de remplacement
Nous pouvons voir l'aide des tables de vrit que l'nonc (p p) est une tau-
tologie. Si nous substituons la formule propositionnelle ((r s) t) la variable
propositionnelle p, nous obtenons ((r s) t) ((r s) t) qui est aussi une tau-
tologie. Il revient dire que si nous remplaons toutes les occurrences d'une variable
formule propositionnelle obtenue est aussi une tautologie. Ce rsultat est donn par
le thorme suivant :
..., An , B prend la mme valeur de vrit que A quand ces mmes valeurs de vrits
une tautologie.
vrier facilement que A est une tautologie. Soit B la formule propositionnelle obtenue
en remplaant dans A les variables b et c par les deux formules propositionnelles
A1 (x y) et
A2 (y x).
B [A1 /b] [A2 /c]A (a (((x y) (y x)) a)
B est aussi une tautologie.
Base d'induction(n = 0)
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
c'est dire A.
p2 . . . pn ) Utiliser la proposition
laquelle A est la formule propositionnelle (p1
prcdente pour montrer que ((p1 ) (p2 ) . . . (pn1 ) (pn )) est logiquement
quivalent (p1 p2 . . . pn ).
les connecteurs , et . L'objectif, comme nous le verrons plus loin, est de pouvoir
donner une mthode directe qui permet de vrier si une formule est une tautologie
Description de l'algorithme
Etape 1. On commence avec < [X] >. Aprs avoir excut l'tape n en produisant
Etape n+1. Choisir un lment Di qui contient certains non litraux, soit N par exemple.
(aac)(abac)(baac)(bbac)(caac)(bcac)
Dfinition 6.1. Un ensemble complet de connecteurs est un ensemble qui est tel
que toute formule F correspond une formule proposionnelle G logiquement quiva-
lente F contenant que les connecteurs de cet ensemble.
p p p
p q (p p) (q q)
p p | p
p q (p | p) | (q | q)
Proposition 6.3. Les seuls connecteurs qui forment eux seuls un ensemble de
connecteurs complet sont | et .
20 2. CALCUL PROPOSITIONNEL
A B A?B
0 0 ?
0 1 ?
1 0 ?
1 1 ?
ngation d'un nonc A. La valeur de cette dernire ligne du tableau doit tre 0. De
la mme faon la valeur de la premire ligne doit tre 1. Alors nous avons :
A B A?B
0 0 1
0 1 ?
1 0 ?
1 1 0
(1) la valeur de la 2
eme ligne est 1 et la valeur de la 3eme ligne est 0
(2) la valeur de la 2
eme ligne est 0 et la valeur de la 3eme ligne est 1.
Dans le premier cas nous avons A ? B = A Dans le second cas nous avons A ? B
= B Dans chacun des cas ? pourrait tre dni en termes de . Mais le connecteur
(ngation) ne peut former seul un ensemble complet. Les seuls fonctions un argument
que l'on peut exprimer en fonction de sont la ngation et l'identit. A partir d'une
A
A
A
...
7. EXERCICES. 21
7. Exercices.
2
(1) Dmontrer par induction que n 2n+3 pour n 3.
(2) Dmontrer par induction sur n que pour tout n 1.
1 + 3 + 5 . . . + (2n 1) =n2 .
3
(3) Dmontrer par induction sur n que n + 2n est divisible par 3 pour tout n 1.
(e) La somme de deux nombres est pair si les deux nombres sont pair ou les deux
art1. Les membres de la direction nancire doivent tre choisis parmi ceux de la
direction gnrale.
direction nancire.
On dsigne par f,g,b les propositions atomiques tre membre de la direction nan-
(10) Combien de fonctions boolennes une variable, deux variables, n variales peut-on
dnir
22 2. CALCUL PROPOSITIONNEL
(11) Montrer que la fonction dnie par h(a, b, c) = (a b) c engendre toutes les
fonctions de vrit.
(13) Former la conjonction des ngations des propositions : x > 3 et x < 3. Quels
(15) Vrier par la mthode des tables de vrit que les propositions suivantes sont des
tautologies :
(a) 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 A est satisable si et seulement si A n'est pas une contradiction.
(b) Soit D = L1 L2 . . . Ln (n 4) et soient c1 , c2 , . . . , cn2 des variables
Montrer que toute validation qui satisfait D peut tre tendue pour satisfaire E et
rciproquement.
CHAPITRE 3
est une tautologie, une contradiction ou ni l'une ni l'autre. Mais, une bonne partie
de la logique que nous verrons par la suite, une telle mthode, ne peut pas lui tre
tion de la thorie est propose. Cette mthode d'axiomatisation souvent aussi appelle
de formalisation prend une place importante dans l'tude de la logique, plus parti-
Pour spcier notre systme du calcul propositionnel formel nous avons besoin
d'avoir :
(2) Un ensemble de suites nies de ces symboles qui sont appeles formules bien
Dfinition 1.1. Le systme formel du calcul proposionnel (CPF) est dni par :
(1) L'alphabet est compos de :
(a) a, b, . . . z : variables propositionnelles
(b) , : symboles primitifs.
(c) (, ) : parenthses.
(2) L'ensemble des formules bien formes est dni par induction comme suit :
(a) Chaque variable proposionnelle est une formule bien forme.
(b) Si A et B sont des formules bien formes alors, A B et B sont des
formules bien formes.
23
24 3. CALCUL PROPOSITIONNEL FORMEL
(c) L'ensemble des formules bien formes est engendr par les clauses a) et
b) ci-dessus.
(3) Axiomes. Pour toutes formules bien formes (fbfs) A, B et C les formules
suivantes sont des axiomes du systme formel CPF.
(ax1 ) (A (B A))
(ax2 ) (A (B C)) ((A B) (A C))
(ax3 ) (B A) (A B)
(4) Rgles d'infrence appele modus ponens (MP)
A, A B
(M P )
B
En d'autres termes cette rgle signie : B est une consquence directe de A
et (A B) o A et B sont des formules bien formes (fbfs).
(5) Rgle de substitution.
B (Sub)
[A/p]B
La rgle de substitution signie que partir d'une formule B contenant une vari-
able p, on peut dduire la formule [A/p]B obtenu en remplaant toutes les occurences
Remarquons aussi que les deux symboles et ont t introduits sans aucune
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 for-
mules 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
systmes formels du calcul proposionnel. Le systme que nous utiliserons ici est parmi
de dduction formel.
Dfinition 1.2. Une dmonstration dans le calcul proposionnel est une suite de
formules bien formes A1 , A2 , ..., An telle que Ai est soit un axiome ou soit Ai se
dduit partir de deux lments prcdants Aj et Ak avec (ji) de la suite comme
consquence directe en utilisant la rgle de dduction MP ou soit Ai se dduit par
application de la rgle de substitution partir d'un lment p pr'ecdent de la suite.
1. SYSTME DDUCTIF POUR LE CALCUL PROPOSITIONNEL 25
Cette suite est une dmonstration dans CPF et la formule (a b)) (a a))
est un thorme.
formules bien formes est une F-dduction si pour tout i (1 i n) nous avons l'un
des cas suivants :
(1) Ai est un axiome de CPF
(2) Ai est un lment de F
(3) Ai est dduit partir des lments prcdants de la suite comme consquence
directe de l'application de la rgle MP ou de substitution.
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
(1) `B axiome.
D'o ` (A B).
cas 2: B ; ce qui suit est une dduction de ` (A B).
1 `B lment de
2 ` (B (A B)) Axiome 1.
3 ` (A B) 1, 2 + MP.
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.
` (A C) et ` (A (C B)).
(1)
.
.
.
(k) (A C)
.
.
.
(l) (A (C B))
Proposition 1.2. (rciproque du thorme de dduction.)
Si ` (A B) alors A ` B.
Dmonstration. Soit une dduction de (A B) partir de . Notre objectif
(k) (A B)
(k+1) A lment de A.
(1) ` (A B) hypothse
(2) ` (B C) hypothse
(3) ` A hypothse
(4) ` B 1, 3 + MP.
(A B), (B C) ` (A C)
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
Dfinition 2.1. Une valuation de CPF est une fonction v dont le domaine de
dnition est l'ensemble des fbfs. et l'ensemble des valeurs est {T, F }. Elle est dnie
par :
(1) v(A) 6 = v(A)
(2)
(
F ssi v(A) = T et v(B) = F
v(A B) =
T sinon
Dfinition 2.2. Une fbf A du CPF est une tautologie si pour chaque valuation
v, v(A) = T .
2. ADQUATION ET COMPLTUDE DU CPF. 29
les thormes du CPF sont des tautologies. Cela signie que les formules dmontres
partir des axiomes en utilisant la rgle de Modus ponens sont des formules toujours
vraies dans le sens, o elles sont considres comme des noncs du calcul proposionnel,
dmonstration du thorme. Il s'agit de vrier que tous les axiomes sont des tautolo-
gies et montrer ensuite que dans une dmonstration chaque formule intermdiaire est
une tautologie.
suivants.
Lemme 2.1. Soit A une formule du CPF et p1 , p2 , p3 , ..., pk des formules atom-
iques dans A et soient
(
pi si pi = 1
p0i =
pi si pi = 0
et (
Ai si Ai = 1
A0i =
Ai si Ai = 0
Alors nous avons : p'1 , p'2 , ..., p'k ` A'.
a bien p1 ` p1 et p1 ` p1 .
30 3. CALCUL PROPOSITIONNEL FORMEL
A prend la valeur 0. Donc B' est B et A' est A. Par hypothse d'induction
nous avons : p'1 ,...p'k ` B ou encore p'1 ,...p'k ` B. Mais B est A' et
donc p'1 ,...p'k ` A'. Si B prend la valeur 0 alors B' est B et A' est A. Nous
p'1 ,...p'k ` B' et p'1 ,...p'k ` C' dcoulent par hypothse d'induction.
a) B prend la valeur 0, A prend la valeur 1. B' est B et A' est A. p'1 ,...p'k
b) C prend la valeur 1 alors A prend la valeur 1, C est C' est A' est A.
nous avons p'1 ,...p'k ` (B C). Mais (B C) est A, A' est donc (B
p'1 ,...p'k ` A. Si pk prend la valeur 1 alors p'1 ,..., p'k1 pk ` A et si pk prend la valeur
p'1 ,...p'k1 ` (pk A) et p'1 ,...p'k1 ` (pk A). Nous obtenons en appliquant la
Dmonstration. Nous avons montr que tout thorme de CPF est une tau-
prcdents que ceci revient prouver que l'ensemble des propositions F=H {A }
est contradictoire (c..d un sous ensemble ni de propositions de F est contradictoire).
Les tables de vrit orent, en principe, une mthode pour dcider de la valdit
sation d'une telle mthode est trs lourde si le nombre de variables propositionnelles
La mthode dnie par Davis Putnam, que nous introduirons ici, est destine
prouver des thormes l'aide de procdure que l'on peut programmer. Sa gnralisa-
avec pour tout i n, pi est un littral. Si n=0 , C est la clause vide qui sera note
C = (= faux). On admettera que dans une clause il n'y a pas de rptition d'un
mme littral. Les littraux p et p sont dits opposs. Une paire {p,p'} de littraux
Remarque 3.1. Notons que les propositions sont ici crites seulement l'aide des
deux connecteurs et . Ces deux connecteurs forment un ensemble {, } complet
de connecteurs.
S = G1 G2 . . . G n
de clauses Gi est un insatisfaite consiste appliquer autant de fois qu'il est possible
les rgles cites ci-dessous. Dans chaque tape la conjonction S est tranforme en une
0
nouvelle conjonction S telle que S S 0 est insatisfaite
est insatisfaite si et seulement si
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.
32 3. CALCUL PROPOSITIONNEL FORMEL
dans S alors que son oppos (l) n'occure pas dans S , alors supprimer toute
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 l et son oppos l qui occurent dans S. Alors S
peut se mettre sous la forme :
(A1 l) . . . (An l)
(B1 l) . . . (Bm l)
R1 . . . Rp
Les clauses 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 )
Dfinition 4.1. Un squent est une paire < , > d'ensembles nis de formules.
, X ` au lieu de {X} ` .
` au lieu de ` .
La smantique d'un squent est donne par la dnition suivante :
Dfinition 4.2. Soit v une validation dnie de l'ensemble des squents vers
l'ensemble {0, 1} des valeurs de vrit. Alors nous avons :
v( ` ) = 1 si v(X) = 0 pour un certain X ou v(Y ) = 1 pour un certain
Y .
(A1 . . . An ) ` (B1 . . . Bk ).
Dfinition 4.3. Les axiomes et les rgles d'infrence du calcul des squents sont :
(Axiome) X ` X .
` , X , X `
( gauche) ( droit)
, X ` ` , X
, X, Y ` ` , X ` , Y
( gauche) ( droit)
, X Y ` , ` , X Y
, X ` , Y ` ` , X, Y
( gauche) ( droit)
, X Y ` ` , X Y
` , X , Y ` , X ` , Y
( gauche) ( droit)
, X Y ` ` , X Y
1. P ` P 2. Q ` Q.
3. P, Q ` P 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).
Les rgles du calcul des squents sont appeles introductions quand elles sont
utilises de haut en bas, et liminations quand elles sont utilises de bas en haut.
On dira qu'une rgle est correcte si elle ne change pas la validit des formules .
Plus prcisement, si les squents de dpart sont valides, alors les squents d'arrive
sont valides. Nous allons maintenant noncer les deux lemmes suivants :
Lemme 4.1. Les rgles d'introduction du calcul des squents sont correctes.
Lemme 4.2. Les rgles d'liminations du calcul des squents sont correctes.
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
Thorme 4.1. Si X est un thorme du calcul des squents alors X est une
tautologie.
Thorme 4.2. Si X est une tautologie alors X est un thorme du calcul des
squents.
5. EXERCICES. 35
5. Exercices.
(2) (A ( B (A B)).
(3) B (B A)
((A B ) (A B)).
Montrer que CP F + est inconsistant.
III. Montrer que si B est une contradiction alors B n'est thorme d'aucune ex-
VI. Donner les preuves dans le calcul des s ?quents des formules :
(1) X (Y X)
(2) (P (Q R)) ((P Q) (P R))
(3) (X Y ) ((X Y ) X)
(4) ((X Y ) X) X
(5) (B A) (A B)
VII. Montrer que si , X est un th ?or ?me dans le calcul des s ?quents alors
VIII.
valide :
(p (q (r s)) (q r)) (p s)
CHAPITRE 4
Le calcul des prdicats est considr comme une extension du calcul propositionnel
qui ore la possibilit d'introduire en mme temps que les variables propositionnelles
ou d'objets quelconques). Cette extension est obtenue grce l'introduction des deux
quanticateurs et .
La formule xP (x) se lit : Il existe x D tel que P (x) est vraie et, la formule
xP (x) se lit : Pour tout x D, P (x) est vraie. L'ensemble D est ici le domaine de
dnition du prdicat P.
Avant de dnir le langage du calcul des prdicats i.e l'ensemble des formules bien
x1 , x2 , . . . les variables
P1 , P2 , . . . les prdicats
, les connecteurs
, les quanticateurs
(2) Les termes. Les termes du calcul des prdicats (CP.) sont dnis comme
suit :
37
38 4. CALCUL DES PRDICALTS DU PREMIER ORDRE.
Dfinition 1.2. (formules bien formes). Les formules bien formes (ou for-
mule tout simplement) sont dnies par :
Exemple 1.2. Les formules suivantes sont des formules bien formes :
(1) F xA(x) (y((P (f (x), 0) (P (g(y), b)))
(2) G (P (f (a), b)) x ((P (x, 0)) P (f (x), g(x, f (x))))
Dfinition 2.1. 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.
Exemple 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.
Dfinition 2.2. Soit A une formule du calcul des prdicats. Un terme t est libre
pour la variable x dans A si aucune occurence libre de x dans A n'appartient un
champ d'un quanticateur (y) o y est une variable dans t.
Exemple 2.2. le terme f(x,v) n'est pas libre pour y dans la formule :
xP(x,y) zQ(z,x).
Le terme g(w,z) est libre pour y dans la formule xP (x, y) zQ(z, x).
4. SATISFACTION, VALEURS DE VRIT 39
3. Interprtation
prtant 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 xyP (x, y). Plaons nous dans l'ensemble des entiers naturels
interprtation la formule devient xy(x y). Remarquons qu'il est ais, dans ce cas,
de voir si cette formule est une proposition vraie ou une proposition fausse.
toujours la valeur vraie ou la valeur fausse ou bien ni l'une ni l'autre. Pour pouvoir,
40 4. CALCUL DES PRDICALTS DU PREMIER ORDRE.
dans le cas gnral, dcider de la valeur de vrit d'une formule nous introduisons les
Dfinition 4.1. Soit A une formule du calcul des prdicats et soit I une inter-
prtation. 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 :
(1) Si A = P(t1 , . . ., tn ) alors v(A) = T ssi Rv (v(t1 , . . ., v(tn )) est vraie dans
DI .
(2) Si A = ( B) alors v(A) = v(B).
(3) Si A = B C) alors v(A) = v(B) ou bien v(A)= v(C).
(4) A = (x)B alors v(A) = T ssi pour tout c DI = T.
Dfinition 4.2. Une formule A est vraie dans une interprtation I si v(A) = T
dans I. Une formule A est dite satisfaite s'il existe une interprtation I telle que A est
vraie dans I. Une formule du calcul des prdicats est dite valide si elle est vraie pour
toute interprtation. Elle est dite non valide s'il existe au moins une interprtation
pour laquelle la formule n'est pas vraie (fausse) ou possde un contr-modle. Une
formule du calcul des prdicats est dite insatisfaisable si elle est fausse pour toute
interprtation.
satisfait aussi A car toute validation satisfait A dans I. Donc v ([d/x]A) = T pour
tout d DI et par dnition v( x A) = T. D'o I |= xA. La rciproque I |= xA
I |= A est immdiate.
au lecteur.
5. Exercices.
(b) Tout tudiant qui comprend et qui est intelligent russit ses examens.
Utiliser le langage des prdicats du premier ordre pour symboliser chacune des
phrases prcdantes.
T F F T
(a) yP (x, x)
(b) xP (x, x)
(c) xyP (x, y)
(d) yy(P (x, y) P (y, x))
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 lan-
d'interprtations particulires. Dans le systme formel que nous allons dnir, nous
compltude.
Dfinition 6.1. Soient A,B,et C des formules d'un langage du premier ordre.
Les axiomes du calcul des prdicats formel sont :
(ax1) A (B A)
(ax2) (A (B C)) ((A B) (A C))
(ax3) ( B A) (A B)
(ax4) xA A si x n'est pas libre dans A.
(ax5) xA(x) A(t) si le terme t est libre pour x dans A(x).
(ax6) x(A B) (A xB) si x n'est pas libre dans A.
Les rgles de dductions sont :
(Modus Ponens) A, A B ` B
(Gnralisation) A ` xA o x est une variable quelconque.
Remarquons que les axiomes du calcul des prdicats ci-dessus sont des axiomes
Remarquons aussi que l'ensemble des axiomes du calcul des prdicats inclut l'ensem-
ble des axiomes du calcul propositionnel. Les nouveaux axiomes introduits concernent
les proprits immdiates du quanticateur que l'on utilise pour driver (dmontrer)
certaines formules partir d'autres. La dnition de la notion de dmonstration dans
le calcul des prdicats CP tend celle donne dans le chapitre qui concerne le calcul
propositionnel.
Dfinition 6.2. Une dmonstration dans le calcul des prdicats formel est une
suite de formules A1 , A2 , . . ., An telle que :
(1) Ai est un axiome ou
(2) Ai se dduit partir des lments prcdents de la suite par l'application de
le rgle Modus Ponens o de la rgle de gnralisation .
Si est un ensemble de formules, une dduction partir de est une suite de
formules P1 , P2 , . . . Pn telle que :
(1) Pi est un axiome ou un lment de ou
(2) Pi se dduit partir des lments prcdents de la suite par l'application de
la rgle Modus Ponens ou 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
partir de (Ici A n'est pas un thorme, la formule A se dduit de l'ensemble des
formules de ).
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.
Exemple 6.2. Soit la formule xA(x) (yB(y) xA(x)). On voit bien que
cette peut tre obtenue en substituant dans la tautologie a (b a) a par xA(x) et
b par yB(y). La formule est donc une tautologie.
Proposition 6.1. Si A est une tautologie alors, A est un thorme du calcul des
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
le calcul des prdicats formel. On observera que les axiomes schemas (ax1), (ax2) et
(ax3) sont communs aux deux systmes qui posdent la mme rgle de dduction MP
(Modus Ponens).
Proposition 6.2. Toutes les instances des axiomes schemas (ax4), (ax5) et (ax6)
sont logiquement valides.
Dmonstration. .
satisfait (xA A) qui est donc logiquement valide. Pour l'axiome (ax5) considrons
un terme t tel que x 6 t et une validation v. Il sut de dmontrer que si v satisfait
dans la dmonstration de A.
et que tous les thormes ayant une dmonstration de n-1 tapes sont logiquement
(B A) et que chacune de ces deux formules est logiquement valide par hypothse
dduit par application de la rgle de gnralisation partir d'une formule C qui est
tre valides ensemble par la dnition mme de la ngation. Notre hypothse est
thorme de dduction que nous avons rencontr dans le chapitre consacr au calcul
Cas 1. B se dduit partir des formules prcdantes par la rgle MP. La dmonstra-
tion est la mme que celle donne dans le cas du calcul propositionnel.
donne dans le cas du calcul propositionnel. Cas 3. B se dduit partir d'une for-
mule prcdante par gnralisation. Donc B est xC o C apparat dans la dduction
{A}` (A C). Par hypoyhse d'induction ` A C puisque il n'y a aucune
comme suit :
46 4. CALCUL DES PRDICALTS DU PREMIER ORDRE.
1
.
. . dduction de (A C) partir de
.
(A C)
(k)
(k+1) x(A C) (k) + rgle de gnralisation.
(k+2) x(A C) (A xC (ax6).
(k+3) A xC. (k+1),(k+2) + MP.
tionnel.
Proposition 6.4. Soient A et B deux formules bien formes du calcul des prdi-
cats, ` A B est quivalent ` (A B) et ` (B A).
Dmonstration.
1) ` ((A B) (B A)) Par hypothse
4) ` (A B) 1+2 + MP
5) ` (B A) 1+3 + MP
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
variables.
Proposition 6.6. 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 )
48 4. CALCUL DES PRDICALTS DU PREMIER ORDRE.
Dmonstration. xi est libre pour xj dans A(xj ) et xj est libre pour xi dans
A(xi ).
1) ` xi A(xi ) Hypothse
3) ` A(xj ) 1 + 2 + MP
` xj A(xj ) xi A(xi )
et donc : ` xi A(xi ) xi A(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
Hypothse d'induction : n > 1. Supposons la proposition est vraie pour toute for-
dmonstration est immdiate par induction sur le nombre n des variables yi (1in)
Dfinition 6.5. Si A est une formule contenant les seules variables libres y1 , . . .,
yn alors, la formule y1 . . . yn1 yn A est appele la fermeture universelle de A.
7. FORME NORMALE PRNEXE D'UNE FORMULE 49
Nous allons dcrire maintenant comment transformer les formules sous des formes
spciales appeles forme normale prnexe conjonctive et forme normale prnexe dis-
jonctive. L'utilit de ces formes normales rside dans le fait qu'elles permettent de
mettre en vidence certaines relations logiques qui ne sont pas videntes voir sous
Dfinition 7.1. Une formule est dite sous forme normale prnexe conjonctive si
elle est de la forme :
(Qv1 )(Qv2 ) . . . (Qvn ){[A11 A12 . . . A1n ] . . . [Am1 Am2 . . . Amq ]}
Exemple 7.1. La formule : xy {[p(x) p(x)] [g(y) p(a)]} est sous forme
Thorme 7.1. Toute formule du calcul des prdicats peut tre transforme en
une formule quivalente sous forme normale prnexe conjonctive.
formule F' sous forme normale prnexe conjonctive en remplaant successivement des
tapes.
(1) Eliminer dans F tous les quanticateurs redondants ; c.a.d liminer les quan-
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) telle que v a une occurence dans
(A B) C par (A C) (B C)
A (B C) par (A B) (B C)
8. Exercices
9. Solmisation, Rsolution
cielle.
de 1930, ont ouvert la voie. J.A. Robinson a dni en 1965 une mthode appele
ique. Une clause est une disjonction de plusieurs littraux. Une formule du calcul des
prdicats est dite sous forme clausale si elle est sous la forme :
x1 . . . xn (C1 C2 ... Ck )
O Ci (0 < i < k + 1) est une clause et les xi (in) sont des variables telles que xi 6=
xj si i 6= j .
Par exemple, P(f(x), a) et q(y) sont deux littraux. La formule :
quivaut Ds satisfaisable.
52 4. CALCUL DES PRDICALTS DU PREMIER ORDRE.
de D par le quanticateur ).
(2) Eliminer dans D tous les quanticateurs redondants.
mule atomique.
(a)
(
A xB si x n'est pas libre dans A
x(A B)par
xA B si x n'est pas libre dans B
(b)
(
A xB si x n'est pas libre dans A
x(A B)par
xA B si x n'est pas libre dans B
(c)
(
A xB si x n'est pas libre dans A
x(A B)par
xA B si x n'est pas libre dans B
(d)
(
A xB si x n'est pas libre dans A
x(A B)par
xA B si x n'est pas libre dans B
9. SOLMISATION, RSOLUTION 53
B(a) o a est une nouvelle constante qui n'occure pas dans la formule.
(9) Distribuer et .
(10) Simplier en utilisant les rgles prservant la satisfaction.
Nous proposons au lecteur de vrier que toutes ces transformations conservent
la satisfaction de la formule D.
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 contradic-
toire.
trer l'insatifaisabilit des formules sous formes clausales. Pour une formule F sous
forme clausale, nous engendrons successivement les instances de clauses Gi des clauses
tecter 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.
c3 p(z,a) p(f(z),z)
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
processus se termine vu que nous partons d'un ensemble ni de clauses et que nous
pouvons construire qu'un ensemble ni de clauses partir de S. L'ide de cette mth-
c3 est contradictoire :
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 4. CALCUL DES PRDICALTS DU PREMIER ORDRE.
c6 p(f(a),a) rsolution de c3 et c4 .
c9 rsolution cd c5 et c8 .
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
ceptable. Pour surmonter ces dicults Robinson introduit une nouvelle mthode de
Pour pouvoir dcrire cette mthode gnrale de rsolution il est ncessaire d'in-
Dfinition 9.3. Une substitution est un ensemble ni (peut tre vide) de couple
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.
unicateur pour une disjonction de formules on dit que cette disjonction est uniable.
gnral si pour chaque unicateur pour cette disjonction Ai est une instance de
unique.
d'unication qui trouve l'unicateur le plus gnral pour une certaine disjonction
uniable.
et l2 = p(y1 ,. . .,yn ).
(a) Si xi = yi (1 i n) alors le rsolvant de C1 et C2 est calcul comme
suit :
C3 = ( C1 -l1 ) ( C2 - l2 )
58 4. CALCUL DES PRDICALTS DU PREMIER ORDRE.
C3 = (( C1 ) -(l1 ) ) (( C2 ) -( l2 ) )
F sous forme clausale, est base sur l'application rpete de la rgle de rsolution. On
10. Exercices
(b) Skolmiser F.
60 4. CALCUL DES PRDICALTS DU PREMIER ORDRE.
F :x h(x) yh(y)
G : x (h(x) r(x))
C : xr(x) y p(y)
(3) On veut montrer, en utilisant le langage du calcul des prdicats, que dans un
l'lment neutre.
(4) Montrer par la mthode de rsolution que pour tout prdicat p, ayant les
proprit de reexivit.
(5) Tahar, Malika et Mohamed font partie d'un Club-musique. Chaque mem-
bre 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 ad-
hrent de ce club qui soit guitariste et pas chanteur ? Utiliser les prdicats