Chapitre 3

Calcul propositionnel
La logique propositionnelle permet essentiellement de discuter des connecteurs
grammaticaux comme la ngation, la conjonction et la disjonction, en composant des
propositions partir de propositions donnes. Ces connecteurs sont parfois appels
aristotliciens , car ils ont t mis en vidence par Aristote.
Le calcul propositionnel permet essentiellement de parler de fonctions boolennes,
cest--dire de fonctions de 0, 1
n
0, 1. En effet, les variables, cest--dire les
propositions, ne peuvent prendre que deux valeurs, vrai ou faux.
Le calcul propositionnel tient une grande place en informatique : ne serait-ce parce
que nos ordinateurs actuels sont digitaux, et travaillent en binaire. Ce qui fait que nos
processeurs sont essentiellement constitus de portes binaires du type de celles que lon
va tudier dans ce chapitre.
Dun point de vue expressivit logique, le calcul propositionnel reste trs limit :
par exemple, on ne peut pas crire en calcul propositionnel lexistence dun objet ayant
une proprit donne. Le calcul des prdicats, plus gnral, que nous tudierons dans
le chapitre 5Calcul des prdicatschapter.5, permet lui dexprimer des proprits dob-
jets et des relations entre objets, et plus gnralement de formaliser le raisonnement
mathmatique.
Puisque le calcul propositionnel forme toutefois la base commune de nombreux
systmes logiques, et nous allons nous y attarder dans ce chapitre.
3.1 Syntaxe
Pour dnir formellement et proprement ce langage, nous devons distinguer la syn-
taxe de la smantique : la syntaxe dcrit comment on crit les formules. La smantique
dcrit leur sens.
Fixons un ensemble ni ou dnombrable T = p
0
, p
1
, de symboles que lon
appelle variables propositionnelles.
Dnition 3.1 (Formules propositionnelles) Lensemble des formules propositionnelles
T sur T est le langage sur lalphabet T , , , , , (, ) dni inductivement
par les rgles suivantes :
1
2 CHAPITRE 3. CALCUL PROPOSITIONNEL
(B) il contient T : toute variable propositionnelle est une formule proposition-
nelle ;
(I) si F T alors F T ;
(I) si F, G T alors (F G) T, (F G) T, (F G) T, et (F G)
T.
Il sagit dune dnition inductive qui est lgitime par les considrations du chapitre
prcdent. Il sagit dune dnition inductive non ambigu : on peut reformuler ce fait
par la proposition suivante, parfois appel thorme de lecture unique.
Remarque 3.1 La non-ambigut vient essentiellement des parenthses explicites. On
utilise ici lastuce utilise dans le chapitre prcdent qui considrait Arith

plutt que
Arith pour permettre dcrire des expressions sans aucune ambigut de lecture.
Proposition 3.1 (Dcomposition / Lecture unique) Soit F une formule proposition-
nelle. Alors F est dune, et exactement dune, des formes suivantes
1. une variable propositionnelle p T ;
2. G, o G est une formule propositionnelle ;
3. (G H) o G et H sont des formules propositionnelles ;
4. (G H) o G et H sont des formules propositionnelles ;
5. (G H) o G et H sont des formules propositionnelles ;
6. (G H) o G et H sont des formules propositionnelles.
De plus dans les cas 2., 3., 4., 5. et 6., il y a unicit de la formule G et de la formule H
avec ces proprits.
Le fait quune formule se dcompose toujours dans un des 6 cas plus hauts est facile
tablir inductivement. Lunicit de la dcomposition dcoule de lexercice suivant :
Exercice 3.1. Montrer que la dnition inductive prcdente est non-ambigu, cest-
-dire que G et H sont uniquement dnis dans chacun des cas plus haut.
On pourra procder de la faon suivante.
Montrer que dans toute formule F le nombre de parenthses ouvrantes est gal
au nombre de parenthses fermantes.
Montrer que dans tout mot M prxe de F, on a o(M) f(M), o o(M) est le
nombre de parenthses ouvrantes, et f(M) le nombre de parenthses fermantes.
Montrer que pour toute formule F dont le premier symbole est une parenthse
ouvrante, et pour tout mot M prxe propre de F, on a o(M) > f(M).
Montrer que tout mot M prxe propre de F nest pas une formule.
En dduire le rsultat.
On appelle sous-formule de F une formule qui apparat dans la dcomposition
rcursive de F.
3.2. SMANTIQUE 3
p p q p q p q p q p q
0 1 0 0 0 1 1
1 0 0 1 0 0 0
0 1 1 1 0 1 0
1 0 1 1 1 1 1
FIGURE 3.1 Tableau de vrit.
3.2 Smantique
Nous allons maintenant dnir la smantique dune formule propositionnelle, cest-
-dire le sens quon lui donne.
La valeur de vrit dune formule se dnit comme linterprtation de cette for-
mule, une fois que lon sest x la valeur de vrit des variables propositionnelles : le
principe est dinterprter les symboles , , , , par la ngation logique, le ou lo-
gique (appel aussi disjonction), le et logique (appel aussi conjonction), limplication
et la double implication (aussi appele quivalence ) logique.
Formellement,
Dnition 3.2 (Valuation) Une valuation est une distribution de valeurs de vrit aux
variables propositionnelles, cest--dire une fonction de T vers 0, 1.
Dans tout ce qui suit, 0 reprsente faux, et 1 reprsente vrai.
On reprsente souvent les conditions de la dnition suivante sous la forme dun
tableau de vrit : voir la gure 3.1.
Proposition 3.2 Soit v une valuation.
Par le thorme 2.5Fonction dnie inductivementtheorem.2.5, il existe une unique
fonction v dnie sur tout T qui vrie les conditions suivantes
(B) v tend v : pour toute variable propositionnelle p T, v(p) = v(p) ;
(I) la ngation sinterprte par la ngation logique :
si F est de la forme G, alors v(F) = 1 ssi v(G) = 0 ;
(I) sinterprte comme le et logique :
si F est de la forme G H, alors v(F) = 1 ssi v(G) = 1 et v(H) = 1 ;
(I) sinterprte comme le ou logique :
si F est de la forme G H, alors v(F) = 1 ssi v(G) = 1 ou v(H) = 1 ;
(I) sinterprte comme limplication logique :
si F est de la forme G H, alors v(F) = 1 ssi v(H) = 1 ou v(G) = 0 ;
(I) sinterprte comme lquivalence logique :
si F est de la forme G H, alors v(F) = 1 ssi v(G) = v(H).
On crit v [= F pour v(F) = 1, et on dit que v est un modle de F, ou que v
satisfait F. On note v ,[= F dans le cas contraire. La valeur de v(F) pour la valuation
v est appele la valeur de vrit de F sur v.
4 CHAPITRE 3. CALCUL PROPOSITIONNEL
3.3 Tautologies, formules quivalentes
On souhaite classer les formules selon leur interprtation. Une classe particulire
de formules est celles qui sont toujours vraies que lon appelle les tautologies.
Dnition 3.3 (Tautologie) Une tautologie est une formule F qui est satisfaite par
toute valuation. On note dans ce cas [= F.
Dnition 3.4 (Equivalence) Deux formules F et G sont dites quivalentes si pour
toute valuation v, v(F) = v(G). On crit dans ce cas F G.
Exemple 3.1 La formule p p est une tautologie. Les formules p et p sont qui-
valentes.
Remarque 3.2 Il est important de bien comprendre que est un symbole que lon
utilise pour crire une relation entre deux formules, mais que F G nest pas une
formule propositionnelle.
Exercice 3.2. Montrer que est une relation dquivalence sur les formules.
3.4 Quelques faits lmentaires
Exercice 3.3. Montrer que pour toutes formules F et G, les formules suivantes sont
des tautologies :
(F F),
(F (G F)),
(F (G H)) ((F G) (F H))).
Exercice 3.4. [Idempotence] Montrer que pour toute formule F on a les quiva-
lences :
(F F) F,
(F F) F.
Exercice 3.5. [Associativit] Montrer que pour toutes formules F, G, H on a les
quivalences :
(F (G H)) ((F G) H),
(F (G H)) ((F G) H).
En raison de lassociativit, on note souvent F
1
F
2
F
k
pour (((F
1
F
2
)
F
3
) F
k
), et F
1
F
2
F
k
pour (((F
1
F
2
) F
3
) F
k
).
3.5. REMPLACEMENTS DUNE FORMULE PAR UNE AUTRE QUIVALENTE5
Remarque 3.3 Exactement comme on le fait avec les expressions arithmtiques : on
crit 1+2+3 pour ((1+2) +3) comme pour (1+(2+3)). Voir toutes les discussions
sur Arith et Arith

dans le chapitre prcdent.

Exercice 3.6. [Commutativit] Montrer que pour toutes formules F et G on a les
quivalences :
(F G) (G F),
(F G) (G F).
Exercice 3.7. [Distributivit] Montrer que pour toutes formules F, G, H on a les
quivalences :
(F (G H)) ((F G) (F H)),
(F (G H)) ((F G) (F H)).
Exercice 3.8. [Lois de Morgan] Montrer que pour toutes formules F et G on a les
quivalences :
(F G) (F G),
(F G) (F G).
Exercice 3.9. [Absorption] Montrer que pour toutes formules F et G on a les qui-
valences :
(F (F G)) F,
(F (F G)) F.
3.5 Remplacements dune formule par une autre qui-
valente
Nous connaissons maintenant quelques quivalences entre formules, mais nous al-
lons maintenant nous convaincre quon peut utiliser ces quivalences de faon com-
positionnelle : si lon remplace dans une formule une sous-formule par une formule
quivalente, alors on obtient une formule quivalente.
6 CHAPITRE 3. CALCUL PROPOSITIONNEL
3.5.1 Une remarque simple
Observons tout dabord que la valeur de vrit dune formule ne dpend que des
variables propositionnelles prsentes dans la formule : lorsque F est une formule, on
notera F(p
1
, , p
n
) pour dire que la formule F scrit avec les variables proposition-
nelles p
1
, , p
n
seulement.
Proposition 3.3 Soit F(p
1
, , p
n
) une formule. Soit v une valuation. La valeur de
vrit de F sur v ne dpend que de la valeur de v sur p
1
, p
2
, , p
n
.
Dmonstration : La proprit stablit facilement par induction structurelle.
3.5.2 Substitutions
Il nous faut dnir ce que signie remplacer p par G dans une formule F, not
F(G/p).
Cela donne la dnition un peut pdante qui suit, mais nous devons en passer par
l :
Dnition 3.5 (Substitution de p par G dans F) La formule F(G/p) est dnie par
induction sur la formule F :
(B) Si F est la variable propositionnelle p, alors F(G/p) est la formule G;
(B) Si F est une variable propositionnelle q, avec q ,= p, alors F(G/p) est la
formule F ;
(I) Si F est de la forme H, alors F(G/p) est la formule H(G/p) ;
(I) Si F est de la forme (F
1
F
2
), alors F(G/p) est la formule (F
1
(G/p)
F
2
(G/p)) ;
(I) Si F est de la forme (F
1
F
2
), alors F(G/p) est la formule (F
1
(G/p)
F
2
(G/p)) ;
(I) Si F est de la forme (F
1
F
2
), alors F(G/p) est la formule (F
1
(G/p)
F
2
(G/p)) ;
(I) Si F est de la forme (F
1
F
2
), alors F(G/p) est la formule (F
1
(G/p)
F
2
(G/p)).
3.5.3 Compositionnalit de lquivalence
On obtient le rsultat promis : si lon remplace dans une formule une sous-formule
par une formule quivalente, on obtient une formule quivalente.
Proposition 3.4 Soient F, F

, G et G

des formules. Soit p une variable proposition-

nelle.
Si F est une tautologie, alors F(G/p) aussi.
Si F F

, alors F(G/p) F

(G/p).
Si G G

alors F(G/p) F(G

/p).
Exercice 3.10. Prouver le rsultat par induction structurelle.
3.6. SYSTME COMPLET DE CONNECTEURS 7
3.6 Systme complet de connecteurs
Proposition 3.5 Toute formule propositionnelle est quivalente une formule qui est
construite uniquement avec les connecteurs et .
Dmonstration : Cela rsulte dune preuve par induction sur la formule. Cest vrai
pour les formules qui correspondent des variables propositionnelles. Supposons la
proprit vraie pour les formules Get H, cest--dire supposons que G(respectivement
H) est quivalente une formule G

(respectivement H

) construite uniquement avec

les connecteurs et .
Si F est de la forme G, alors F est quivalente G

et lhypothse dinduction
est prserve.
Si F est de la forme (G H), alors F est quivalente (F

) et la proprit
dinduction est prserve.
Si F est de la forme (G H), en utilisant la deuxime loi de Morgan et le fait que
K K pour liminer les doubles ngations, on obtient que F (G

)
qui est bien construite en utilisant uniquement les connecteurs et .
Si F est de la forme (G H), alors F est quivalente (G

) qui est
quivalente une formule construite uniquement avec les connecteurs et par les
cas prcdents.
Si F est de la forme (G H), alors F est quivalente (G

) (H

)
qui est quivalente une formule construite uniquement avec les connecteurs et
par les cas prcdents.
Un ensemble de connecteurs qui a la proprit plus haut pour , est appel un
systme complet de connecteurs.
Exercice 3.11. Montrer que , est aussi un systme complet de connecteurs.
Exercice 3.12. Donner un connecteur logique binaire tel qu lui seul il constitue un
systme complet de connecteurs.
3.7 Compltude fonctionnelle
Supposons T = p
1
, p
2
, , p
n
ni. Soit V lensemble des valuations sur T.
Puisquune valuation est une fonction de 0, 1
n
dans 0, 1, V contient 2
n
lments.
Chaque formule F sur T peut tre vue comme une fonction de V dans 0, 1, que
lon appelle valeur de vrit de F : cette fonction est la fonction qui une valuation v
associe la valeur de vrit de la formule sur cette valuation.
Il y a 2
2
n
fonctions de V dans 0, 1. La question qui se pose est de savoir si toutes
les fonctions peuvent scrire comme des formules. La rponse est positive :
Thorme 3.1 (Compltude fonctionnelle) Supposons T = p
1
, p
2
, , p
n
ni. Soit
V lensemble des valuations sur T. Toute fonction f de V dans 0, 1 est la valeur de
vrit dune formule F sur T.
8 CHAPITRE 3. CALCUL PROPOSITIONNEL
Dmonstration : La preuve se fait par rcurrence sur le nombre de variables pro-
positionnelles n.
Pour n = 1, il y a quatre fonctions de 0, 1
1
dans 0, 1, qui se reprsentent par
les formules p, p, p p, p p.
Supposons la proprit vraie pour n 1 variables propositionnelles. Considrons
T = p
1
, , p
n
et soit f une fonction de 0, 1
n
dans 0, 1. Chaque valua-
tion v

sur p
1
, p
2
, , p
n1
peut se voir comme la restriction dune valuation sur
p
1
, , p
n
. Soit f
0
(respectivement f
1
) la restriction de f la valuation v telle
que v(p
n
) = 0 (resp. v(p
n
) = 1). Les fonctions f
0
et f
1
sont des fonctions d-
nies des valuations sur p
1
, , p
n1
dans 0, 1 et se reprsentent par des formules
G(p
1
, , p
n1
) et H(p
1
, , p
n1
) respectivement par hypothse de rcurrence. La
fonction f peut alors se reprsenter par la formule
(p
n
G(p
1
, , p
n1
)) (p
n
H(p
1
, , p
n1
))
ce qui prouve lhypothse de rcurrence au rang n.
Remarque 3.4 Notre lecteur assidu aura remarqu que la proposition 3.5 peut aussi
se voir comme la consquence de cette preuve.
3.8 Formes normales
3.8.1 Formes normales conjonctives et disjonctives
On cherche souvent ramener les formules sous une forme quivalente la plus
simple possible.
Dnition 3.6 Un littral est une variable propositionnelle ou sa ngation, i.e. de la
forme p, ou p, pour p T.
Dnition 3.7 Une forme normale disjonctive est une disjonction F
1
F
2
F
k
de k
formules, k 1 o chaque formule F
i
, 1 i k est une conjonction G
1
G
2
G

de littraux ( pouvant dpendre de i).

Exemple 3.2 Les formules suivantes sont des formes normales disjonctives
((p q) (p q)
((p q r) (q p))
(p q)
Dnition 3.8 Une forme normale conjonctive est une conjonction F
1
F
2
F
k
de
k formules, k 1 o chaque formule F
i
, 1 i k est une disjonction G
1
G
2
G

de littraux ( pouvant dpendre de i).

3.8. FORMES NORMALES 9
Exemple 3.3 Les formules suivantes sont des formes normales conjonctives
(p q) (p q)
(p q) r
(p q)
Thorme 3.2 Toute formule sur un nombre ni de variables propositionnelles est
quivalente une formule en forme normale conjonctive.
Thorme 3.3 Toute formule sur un nombre ni de variables propositionnelles est
quivalente une formule en forme normale disjonctive.
Dmonstration : Ces deux thormes se prouvent par rcurrence sur le nombre n
de variables propositionnelles.
Dans le cas o n = 1, on a dj considr dans la preuve prcdente des for-
mules qui couvrent tous les cas possibles et qui sont en fait la fois en forme normale
conjonctive et disjonctive.
On suppose la proprit vraie pour n 1 variables propositionnelles. Soit f la
fonction valeur de vrit associe la formule F(p
1
, , p
n
). Comme dans la dernire
preuve, on peut construire une formule qui reprsente f, en crivant une formule de la
forme
(p
n
G(p
1
, , p
n1
)) (p
n
H(p
1
, , p
n1
)).
Par hypothse de rcurrence, Get H sont quivalentes des formules en forme normale
disjonctive
G (G
1
G
2
G
k
)
H (H
1
H
2
H

)
On peut alors crire
(p
n
G) (p
n
G
1
) (p
n
G
2
) (p
n
G
k
)
qui est en forme normale disjonctive et
(p
n
H) (p
n
H
1
) (p
n
H
2
) (p
n
H
k
)
qui est aussi en forme normale disjonctive. La fonction f est donc reprsente par la
disjonction de ces deux formules, et donc par une formule en forme normale disjonc-
tive.
Si lon veut obtenir F en forme normale conjonctive, alors lhypothse dinduction
produit deux formes normales conjonctives G et H. Lquivalence que lon utilise est
alors
F ((p
n
H) (p
n
G)).

Remarque 3.5 Notre lecteur assidu aura remarqu que le thorme prcdent, comme
la proposition 3.5 peuvent aussi se voir comme la consquence de cette preuve.
10 CHAPITRE 3. CALCUL PROPOSITIONNEL
3.8.2 Mthodes de transformation
En pratique, il existe deux mthodes pour dterminer une forme normale disjonc-
tive, ou conjonctive quivalente une formule donne. La premire mthode consiste
transformer la formule par quivalences successives laide des rgles suivantes ap-
pliques dans cet ordre :
1. limination des connecteurs par
(F G) (F G)
2. entre des ngations le plus lintrieur possible :
(F G) (F G)
(F G) (F G)
3. distributivit de et lun par rapport lautre
F (G H)) ((F H) (F H))
F (G H)) ((F H) (F H))
Exemple 3.4 Mettre la formule (p (q r)) (r q) sous forme normale
disjonctive et conjonctive.
On utilise les quivalences successives
(p (q r)) (r q)
(p (q r)) (r q)
(p q r) (r q)
qui est une forme normale disjonctive.
(p q r) (r q)
(p r q) (r q)
Lautre mthode consiste dterminer les valuations v telles que v(F) = 1, et
crire une disjonction de conjonction, chaque conjonction correspondant une valua-
tion pour laquelle v(F) = 1.
La dtermination dune forme normale conjonctive suit le mme principe, en chan-
gant les valuations donnant la valeur 1 avec celles donnant la valeur 0, et en changant
conjonction et disjonction.
Exercice 3.13. Montrer que la forme normale conjonctive et disjonctive dune for-
mule peut tre exponentiellement plus longue que la taille de la formule. La taille dune
formule est dnie comme la longueur de la formule vue comme un mot.
3.9. THORME DE COMPACIT 11
3.9 Thorme de compacit
3.9.1 Satisfaction dun ensemble de formules
On se donne cette fois un ensemble de formules. On cherche savoir quand
est-ce quon peut satisfaire toutes les formules de .
Commenons par xer la terminologie.
Dnition 3.9 Soit un ensemble de formules.
Une valuation satisfait si elle satisfait chaque formule de . On dit aussi dans
ce cas que cette valuation est un modle de .
est dit consistant (on dit aussi satiable) sil possde un modle. En dautres
termes, sil existe une valuation qui satisfait .
est dit inconsistant, ou contradictoire, dans le cas contraire.
Dnition 3.10 (Consquence) Soit F une formule. La formule F est dite une cons-
quence de si tout modle de est un modle de F. On note alors [= F.
Exemple 3.5 La formule q est une consquence de lensemble de formules p, p q.
Lensemble de formules p, p q, q est inconsistant.
On peut dj se convaincre du rsultat suivant, qui relve dun jeu sur les dni-
tions.
Proposition 3.6 Toute formule F est une consquence dun ensemble de formules
si et seulement si F est inconsistant.
Dmonstration : Si toute valuation qui satisfait satisfait F, alors il ny a pas de
valuation qui satisfait F. Rciproquement, par labsurde : sil y a une valuation
qui satisfait et qui ne satisfait pas F, alors cette valuation satisfait et F.
Exercice 3.14. Montrer que pour toutes formules F et F

, F [= F

si et seulement
si F F

est une tautologie.

Plus fondamentalement, on a le rsultat surprenant et fondamental suivant.
Thorme 3.4 (Thorme de compacit (1re version)) Soit un ensemble de for-
mules construites sur un ensemble dnombrable T de variables propositionnelles.
Alors est consistant si et seulement si toute partie nie de est consistant.
Remarque 3.6 Remarquons que lhypothse T dnombrable nest pas ncessaire, si
lon accepte dutiliser lhypothse de Zorn (laxiome du choix). On se limitera au cas
T dnombrable dans ce qui suit.
En fait, ce thorme peut se reformuler sous la forme suivante
Thorme 3.5 (Thorme de compacit (2ime version)) Soit un ensemble de for-
mules construites sur un ensemble dnombrable T de variables propositionnelles.
Alors est inconsistant si et seulement si possde une partie nie inconsistante.
12 CHAPITRE 3. CALCUL PROPOSITIONNEL
Ou encore sous la forme suivante :
Thorme 3.6 (Thorme de compacit (3ime version)) Pour tout ensemble de
formules propositionnelles, et pour toute formule propositionnelle F construites sur
un ensemble dnombrable T de variables propositionnelles, F est une consquence de
si et seulement si F est une consquence dune partie nie de .
Lquivalence des trois formulations nest quun simple exercice de manipulations
de dnitions. Nous allons prouver la premire version du thorme.
Une des implications est triviale : si est consistant, alors toute partie de est
consistant, et en particulier les parties nies.
Nous allons donner deux preuves de lautre implication.
Une premire preuve qui fait rfrence des notions de topologie, en particulier de
compacit, et qui sadresse ceux qui connaissent ces notions, et qui sont amateurs de
topologie.
Dmonstration :[Preuve topologique] Lespace topologique 0, 1
P
(muni de la
topologie produit) est un espace compact, car il sobtient comme un produit de com-
pacts (Thorme de Tychonoff).
Pour chaque formule propositionnelle F , lensemble F des valuations qui la
satisfont est un ouvert dans 0, 1
P
, car la valeur de vrit dune formule ne dpend que
dun nombre ni de variables, celles qui apparaissent dans la formule. Il est galement
ferm puisque celles qui ne satisfont pas F sont celles qui satisfont F.
Lhypothse du thorme entrane que toute intersection nie de F pour F est
non-vide. Comme 0, 1
P
est compact, lintersection de tous les F pour F est
donc non-vide.
Voici une preuve qui vite la topologie.
Dmonstration :[Preuve directe] Considrons T = p
1
, p
2
, , p
k
, une
numration de T.
Nous allons prouver le lemme suivant : supposons quil existe une application v
de p
1
, p
2
, , p
n
dans 0, 1 telle que tout sous-ensemble ni de ait un modle
dans lequel p
1
, , p
n
prennent les valeurs v(p
1
), . . ., v(p
n
). Alors on peut tendre v
p
1
, p
2
, , p
n+1
avec la mme proprit.
En effet, si v(p
n+1
) = 0 ne convient pas, alors il existe un ensemble ni U
0
de
qui ne peut pas tre satisfait quand p
1
, , p
n
, p
n+1
prennent les valeurs respectives
v(p
1
), . . ., v(p
n
) et 0. Si U est un sous-ensemble ni quelconque de , alors daprs
lhypothse faite sur v, U
0
U a un modle dans lequel p
1
, , p
n
prennent les valeurs
v(p
1
), , v(p
n
). Dans ce modle, la proposition p
n+1
prend donc la valeur 1. Autre-
ment dit, tout sous-ensemble ni U de a un modle dans lequel p
1
, , p
n
, p
n+1
prennent les valeurs respectives v(p
1
), . . ., v(p
n
) et 1. Dit encore autrement, soit v(p
n+1
) =
0 convient auquel cas on peut xer v(p
n+1
) = 0, soit v(p
n+1
) = 0 ne convient pas
auquel cas on peut xer v(p
n+1
) = 1 qui convient.
En utilisant ce lemme, on dnit ainsi une valuation v telle que, par rcurrence sur
n, pour chaque n, tout sous-ensemble ni de a un modle dans lequel p
1
, , p
n
prennent les valeurs v(p
1
), . . ., v(p
n
).
Il en rsulte que v satisfait : en effet, soit F une formule de . F ne dpend
que dun ensemble ni p
i1
, p
i2
, , p
i
k
de variables propositionnelles (celles qui ap-
paraissent dans F). En considrant n = max(i
1
, i
2
, , i
k
), chacune de ces variables
3.10. EXERCICES 13
p
ij
est parmi p
1
, , p
n
. Nous savons alors que le sous ensemble ni F rduit
la formule F admet un modle dans lequel p
1
, , p
n
prennent les valeurs v(p
1
), . . .,
v(p
n
), i.e. F est satisfaite par v.

3.10 Exercices
Exercice 3.15. Relier les propositions quivalentes.
1. (p q)
2. (p q)
3. p (q)
4. (p q)
a. (p q)
b. q (p)
c. (p q)
d. p (q)
Exercice 3.16. En additionnant deux nombres dont lcriture dans le systme binaire
utilise au plus deux chiffres, soit ab et cd, on obtient un nombre dau plus trois chiffres
pqr. Par exemple, 11 + 01 = 100. Donner une expression de p, q et r en fonction de
a, b, c et d laide des connecteurs usuels.
Exercice 3.17. Soient F et Gdeux formules nayant aucune variable propositionnelle
en commun. Montrer que les deux proprits suivantes sont quivalentes :
La formule (F G) est une tautologie
Lune au moins des formules F et G est une tautologie.
*Exercice 3.18. [Thorme dinterpolation] Soient F et F

telle que F F

soit
une tautologie. Montrer quil existe une formule propositionnelle C, dont les variables
propositionnelles apparaissent dans F et F

, telle que F C et C F

soient deux
tautologies. (on pourra raisonner par rcurrence sur le nombre de variables qui ont
au moins une occurence dans F sans en avoir dans G).
Exercice 3.19. [Application de la compacit au coloriage de graphes] Un graphe
G = (V, E) est k-coloriable sil existe une application f de V dans 1, 2, . . . , k telle
que pour tout (x, y) E, f(x) ,= f(y). Montrer quun graphe est k-coloriable si et
seulement si chacun de ses sous-graphes nis est k-coloriable.
*Exercice 3.20. [Applications de la compacit la thorie des groupes] Un groupe
G est dit totalement ordonn si on a sur G une relation dordre total telle que a b
implique ac bc et ca cb pour tous a, b, c G. Montrer que pour quun groupe
ablien G puisse tre ordonn, il faut et il suft que tout sous-groupe de G engendr
par un ensemble ni dlments de G puisse tre ordonn.
3.11 Notes bibliographiques
Lectures conseilles Pour aller plus loin sur les notions voques dans ce chapitre,
nous suggrons la lecture de louvrage [Cori and Lascar, 1993] et de [Lassaigne and de Rougemont, 2004].
14 CHAPITRE 3. CALCUL PROPOSITIONNEL
Bibliographie Ce chapitre a t rdig en sinspirant essentiellement de ces deux
ouvrages : [Cori and Lascar, 1993] et [Lassaigne and de Rougemont, 2004].
Index
(A
g
, r, A
d
), voir arbre binaire
(V, E), voir graphe
(q, u, v), voir conguration dune machine
de Turing
., voir concatnation
A
c
, voir complmentaire
F(G/p), 6, voir substitution
F(p
1
, , p
n
), 6
L(M), voir langage accept par une ma-
chine de Turing
, 13, voir double implication
, 14, voir dnition inductive / diff-
rentes notations dune, voir im-
plication
, voir alphabet

, voir ensemble des mots sur un alpha-

bet
, voir intersection de deux ensembles
, voir union de deux ensembles
, voir mot vide
, 4, voir quivalence entre formules, voir
quivalence entre problmes
, voir quanticateur
, voir quanticateur

m
, voir rduction
[w[, voir longueur dun mot
, voir rduction
T(E), voir parties dun ensemble
[=, 3, 4, 11, voir consquence smantique
, 1, 2, 7, voir ngation
,[=, 3, voir consquence smantique
, voir partie dun ensemble
, voir produit cartsien de deux ensembles
, voir dmonstration, voir relation suc-
cesseur entre congurations dune
machines de Turing
, 15, voir disjonction
, 15, 7, voir conjonction
uqv, voir conguration dune machine de
Turing
M, w, voir codage dune paire
M, voir codage dune machine de Tu-
ring
m, voir codage
, voir codage dune formule
w
1
, w
2
, voir codage dune paire
aristotliciens, voir connecteurs
Arith, 2, 5, voir expressions arithmtiques
Arith

, 2, 5, voir expressions arithm-

tiques parenthses
binaire, 1
calcul
propositionnel, 1
codage
notation, voir .
dune formule
notation, voir
dune machine de Turing
notation, voir M
dune paire
notation, voir M, w, voir w
1
, w
2

complmentaire
notation, voir A
c
du problme de larrt des machines
de Turing
notation , voir HALTINGPROBLEM
compltude
fonctionnelle du calcul proposition-
nel, 7
RE-compltude, voir RE-complet
compositionnalit, 5, 6
15
16 INDEX
concatnation
notation, voir .
conguration dune machine de Turing
notation, voir (q, u, v), voir uqv
conjonction, 1, 3
notation, voir
connecteurs aristotliciens, 1
consquence
smantique, 11
notation, voir [=
consistance
dun ensemble de formules, 11
synonyme : qui possde un modle,
voir aussi modle
contradictoire
contraire : consistant, voir consis-
tance
synonyme : inconsistant, voir incon-
sistant
dnition
non-ambigu, 2
disjonction, 1, 3
notation, voir
double implication, 3
notation, voir
quivalence
entre formules, 5
notation, voir
entre problmes
notation, voir
logique
synonyme : double implication, voir
double implication
expressivit logique, 1
faux, 3
fonction
boolenne, 1
forme normale, 8
conjonctive, 8
disjonctive, 8
formule
propositionnelle, 1
graphe
notation, voir (V, E)
HALTINGPROBLEM, voir problme
de larrt des machines de Tu-
ring
HALTINGPROBLEM, voir compl-
mentaire du problme de larrt
dune machine de Turing
implication, 3
notation, voir
inconsistance
dun ensemble de formules, voir contraire :
consistance, 11
intersection de deux ensembles
notation, voir
langage
accept par une machine de Turing
notation, voir L(M)
littral, 8
logique propositionnelle
synonyme : calcul propositionnel, voir
calcul propositionnel
longueur dun mot
notation, voir [w[
modle
dun ensemble de formules, 11
dune formule, 3
mot
vide
notation, voir
ngation, 1, 3
notation, voir
partie
dun ensemble
notation, voir
parties
dun ensemble
notation, voir T(E)
problme
de larrt des machines de Turing
notation, voir HALTINGPROBLEM
produit cartsien
INDEX 17
de deux ensembles
notation, voir
propositions, 1
R, voir dcidable
RE, voir rcursivement numrable
rcusivement numrable
notation, voir RE
rduction
notation, voir , voir
m
relation successeur entre congurations dune
machine de Turing
notation, voir
satisfaction
dun ensemble de formules, 10
dune formule, 3
satisable
(pour un ensemble de formules)
contraire : inconsistance, voir in-
consistance
synonyme : consistance, voir consis-
tance
smantique, 3
sous-formule, 2
substitutions, 6
notation, voir F(G/p)
syntaxe, 1
systme complet de connecteurs, 7
smantique, 1, 3
tableau
de vrit, 3
tautologie, 4
thorme
de compacit, 11
du calcul propositionnel, 10, 11
de lecture unique
du calcul propositionnel, 2
de Tychonoff, 12
union de deux ensembles
notation, voir
valeur de vrit, 3, 7
valuation, 3
variable
propositionnelle, 1
vrai, 3
18 INDEX
Bibliographie
[Cori and Lascar, 1993] Cori, R. and Lascar, D. (1993). Logique mathmatique. Vo-
lume I. Mason.
[Lassaigne and de Rougemont, 2004] Lassaigne, R. and de Rougemont, M. (2004).
Logic and complexity. Discrete Mathematics and Theoretical Computer Science.
Springer.
19