Cours N°2

USTHB
Faculté Informatique
L. KADDOURI
 Chapitre 1
La Logique des Propositions

Partie N° 2
Etude Sémantique

USTHB
Faculté Informatique
L. KADDOURI
2
 Plan
Partie Sémantique
1. Tables de vérité et interprétation
2. Satifaisabilité & Insatisfiabilité
3. Tautologie et Antilogique
4. Equivalence logique
5. Conséquence logique
6. Théorème de substitution et Théorème de
remplacement
7. Systèmes complets connecteurs
8. Formes normales conjonctives et disjonctives
9. Relation entre la syntaxique et la sémantique 3
 Etude Sémantique
Donner une sémantique au langage Lp consiste à définir
une fonction qui associe à toute formule de Lp une
valeur de vérité : Vraie ou Fausse
Pour cela, on procède en deux étapes :
I). On donne un sens aux symboles du langage
c-à-d d’une part aux variables propositionnelles
et d’autre part aux connecteurs

II). On donne une méthode pour déterminer le sens

d’une formule composée à partir du sens de ses
constituants les plus simples (les sous-formules) .
4
 Etude Sémantique
Tables de vérité & Interprétations
1. On interprète les variables propositionnelles en
leur associant une valeur de vérité :

Valeur VRAIE : notée V

Chaque Variable
associe
Propositionnelle Valeur FAUSSE : notée F

5
 Etude Sémantique
Tables de vérité & Interprétations
Connecteur Monaire
2. On interprète les connecteurs en A A
associant à chaque connecteur sa V F
table de vérité qui définit son sens.
F V
Connecteurs Binaires

A B AB AB AB AB

22 =4 Combinaisons

V V V V V V
V F F V F F
F V F V V F
F F F F V V 6
 Etude Sémantique
Tables de vérité & Interprétations
3. L’interprétation d’une formule  se fait de la
manière suivante :
• Déterminer les variables propositionnelles
• Décomposer la formule  en sous-formules
• Dresser les tables de vérité des sous-formules
(utiliser une seule table de vérité pour l’ensemble !)
Exemple :  = AB  CA
Il y a 3 Variables Propositionnelles, donc: 23 Combinaisons
Les sous-formules simples de  :
1 : A 2 : A  B  :  2  δ2
δ1 : C δ2 : C  A 7
 Etude Sémantique
Tables de vérité & Interprétations
1 δ1 2 δ2 
A B C A C
C AB CA 2  δ2
V V V F F F V V
V V F F V F V V
23 =8 Combinaisons

V F V F F F V V
V F F F V F V V
F V V V F V F F
F V F V V V V V
F F V V F F F V
F F F V V F V V 8
 Etude Sémantique
Tables de vérité & Interprétations
Définition : « Instanciation »
Chaque combinaison des variables propositionnelles
dans la T.V est appelée une « instanciation » (c’est
une ligne de T.V ) A1 A2 A3 1 … 2 
V V V
V V F

Instanciation VV FF V V/F … V/F V/F

Il existe 8 instanciations possibles V F F
dans ce cas (3 Var Prop) F V V

Pour chaque instanciation F V F

La formule  est soit vraie

F F V
F F F
(V), soit fausse (F) 9
 Etude Sémantique
Tables de vérité & Interprétations
L’interprétation d’une formule , pour chaque
instanciation, peut être donnée par les règles suivantes :

1. =V ssi =F

2.  =V ssi =V et =V
3.  =V ssi =V ou =V
4.  =V ssi =F ou =V
5.  =V ssi (=V et =V) ou (=F et =F)

10
 Etude Sémantique
Satisfaisabilté
Définition 1: (Satisfaisabilité)
1. Une formule  est dite satisfaisable s’il existe au
moins une instanciation I (une ligne de
combinaison des Variables Propositionnelles
dans la T.V) donnant la valeur V à .
 est dite « satisfaite pour cette instanciation » ;
Cette instanciation constitue un modèle pour 
Exemple : Est-ce que la formule  suivante est
satisfaisable ?  = (PQ)  P
11
 Etude Sémantique
Satisfaisabilté
Exemple :  = (PQ)  P
On dresse sa T.V P Q P PQ  =(PQ)  P
V V F V F
Il existe au
V F F F F
moins une
Instanciation F V V V V
telle que  =V F F V V V

Donc, la formule  est satisfaisable.

Au fait, il existe 2 modèles pour la formule  :
• pour l’instanciation P=F et Q=V (ligne N°3), on a :  =V
• pour l’instanciation P=F et Q=F (ligne N°4), on a :  =V
12
 Etude Sémantique
Satisfaisabilté
Définition 2 : (Satisfaisabilité)
2. Un ensemble de formules  = {1 …. n} est dit
satisfaisable s’il existe au moins une instanciation I
pour laquelle toutes les formules de  sont vraies en
même temps.
Cette instanciation constitue un modèle pour 

Exemple : Est-ce que l’ensemble  suivant est

satisfaisable ?  = {(PQ)  P, PQ}
13
 Etude Sémantique
Satisfaisabilté
Exemple :  = {(PQ)  P, PQ}
Soient : 1 = (PQ)  P et 2 = PQ
On dresse les T.V de 1 et 2 ensemble
P Q P PQ 1=(PQ)  P 2 = PQ
Il existe au V V F V F V
moins une V F F F F V
Instanciation
telle que : F V V V V VV
1 =V et 2 =V F F V V V F
est donc un ensemble Satisfaisable
et l’instanciation (P=F et Q=V) en est un modèle pour 
14
 Etude Sémantique
Tautologie & Antilogie
Définition 3 : (Tautologie)
3. Une formule  est dite une tautologie si-et-
seulement-si (ssi) elle est vraie pour toute les
instanciations. Dans ce cas, on note .
Exemple : P Q QP P(QP)
Est-ce que la formule  V V V V
suivante est une tautologie ? V F V V
 = P(Q P) F V F V
On dresse sa T.V F F V V

 =V pour ttes les instanciations, donc : P(Q P)

15
 Etude Sémantique
Tautologie & Antilogie
Autre Exemple :  : ((PQ )  (QR))  (PR)
P Q R P Q Q R P R (PQ )  (QR) 

V V V V V V V V

V V F V F F F V

V F V F V V F V

V F F F V F F V

F V V V V V V V

F V F V F V F V

F F V V V V V V

F F F V V V V V
16
 Etude Sémantique
Tautologie & Antilogie
Définition 4 : (Antilogie)
4. Une formule  est dite une antilogie si-et-
seulement-si (ssi) elle est fausse pour toute les
instanciations. Dans ce cas, on note 
(qui veut dire que c’est  qui est une tautologie !)
Exemple :
Est-ce que la formule  On dresse sa T.V
A A AA
suivante est une antilogie ?
V F F
 = A  A
F V F
 = F pour ttes les instanciations, donc : (A  A)17
 Etude Sémantique
Tautologie & Antilogie
Propriétés : Soient  et  deux formules de Lp :
1.  ( est tautologie)   antilogie
 il n’existe aucune instanciation qui satisfait 
( n’est pas satisfiable)

2.  ( n’est pas une tautologie)

 il existe au moins une instanciation qui ne
satisfait pas 

Donc non tautologie n’implique pas antilogie !

18
 Etude Sémantique
Tautologie
3.   (  et )

4.  (  ⇒ )
 Pour chaque instanciation, si =V alors =V

5. (    et ) ⇒ 

6.     Pour chaque instanciation,

 et  ont même valeur de vérité
19
 Etude Sémantique
Equivalence Logique
Définition (Equivalence Logique)
Soient  et  deux formules, on dit que  est logiquement
équivalente à , et on note :   , ssi  et  ont même
valeur de vérité pour chaque instanciation.
Exemples : Distributivité
Commutativité (δ)  ()(δ)
   (δ)  () (δ)
   (δ)  ()(δ)
Associativité
Loi de Morgan
()δ  (δ)
()  
()δ  (δ)
()   20
 Etude Sémantique
Equivalence Logique
Idempotence :    et   
Autres Exemples :     
     ()  
  () P  (PQ)  P
  () P Q PQ P  (PQ)
  () V V V V
   V F V V
δ  ()  (δ) F V V F
   ()  () F F F F
   ()  () 21
 Etude Sémantique
Equivalence Logique
Remarque :
Ne pas confondre l’équivalence logique  avec le connecteur
logique :
•  est un symbole de l’alphabet (symbole logique) de Lp
•  est un symbole du métalangage

Propriétés de l’équivalence logique :

1.  est une relation d’équivalence sur l’ensemble des
formules de Lp : Réflexive (), Symétrique (si  alors
) et Transitive (si  et δ alors δ)

2.   
22
 Etude Sémantique
Conséquence Logique
Définition (Conséquence Logique)
Soient  et  deux formules, on dit que  est une
conséquence logique de , et on note :  , ssi
pour chaque instanciation, Si =V Alors on a =V.

Remarque :   
Equivalent 
Conséquence Tautologie
Logique

 Pour chaque instanciation, si =V alors =V

23
 Etude Sémantique
Conséquence Logique
Définition (Conséquence Logique : Généralisation)
Soient {1 ,…., n} un ensemble de formules et  une
formule, on dit que  est une conséquence logique de
l’ensemble {1 …. n}, et on note : 1 ,…., n , ssi
pour chaque instanciation :
Si toutes les i=V (pour i=1 à n) Alors on a =V.
Remarque : 1 ,…., n   (1 ….  n )
Conséquence Equivalent Tautologie
Logique

 Pour chaque instanciation, si ttes i=V alors =V 24

 Etude Sémantique
Conséquence Logique
Exemple :
Monter que : P  Q , Q P
On dresse la Table de Vérité :
P Q Q PQ P
Donc : Pour chaque
instanciation
V V F V F Si PQ = V et Q=V
V F V F F Alors  P=V
Conclusion :
F V F V V P est bien une
F F V VV V
V conséquence logique
Une seule Instanciation de : P  Q et Q 25
 Etude Sémantique
Théorème de Substitution
Théorème de substitution :
Soient α une formule contenant la Var. Prop. A et α’ la
formule obtenue en substituant toutes les occurrences de
A dans α par une formule  alors :
si α alors α’
Explication :
α : ……………….A………………..A………………..A……………..
α’ : ..................………………..………………..……………..
Si α Alors α’
26
 Etude Sémantique
Théorème de Substitution
Exemple :
 = (AB)(BA) (on pourra vérifier que : )

Substituons toutes les occurrences de la Var. Prop. B

par la formule  = AB, on obtient ’ telle que :
’= (A(AB))((AB)  A)

Donc, d’après le Théorème de Substitution on a :

Puisque α est une tautologie, alors α’ est une
tautologie : (A(AB))((AB)  A)
27
 Etude Sémantique
Théorème de Remplacement
Théorème de remplacement :
Soit une formule α contenant une sous-formule .
Si   ’ alors en remplaçant  par ’ dans α, on obtient
une formule α’ telle que : α  α’ .

Explication :
α : ……………….….. ………………..
α’ : .......................’……………….
Si   ’ Alors α  α’
28
 Etude Sémantique
Théorème de Remplacement
Exemple :
Soit  = ((AB)  A)  B
Et soit  = AB une sous-formule de .

On sait que : AB  (AB)

En remplaçant  = AB par ’ = (AB) dans la
formule , on obtient la formule :
’ = (((AB))  A)  B
D’après le Théorème de Remplacement on a : α  α’
29
 Etude Sémantique
Système Complet de connecteurs
Corollaire :
Toute formule est logiquement équivalente à une formule
qui ne contient que les connecteurs  et .
On dira que {, } est un système complet de connecteurs
(SCC).
Preuve (Indication) :
En utilisant le théorème de remplacement (autant de fois que
nécessaire) avec les équivalences logiques suivantes :
  ()
  ()
  () ()
On obtient une formule équivalente à la formule initiale où tous les
connecteurs ,  et  seront remplacés par les connecteurs  et .
30
 Etude Sémantique
Système Complet de connecteurs
Définition (Système Complet de Connecteurs SCC) :
Un ensemble  de connecteurs est un Système
Complet de Connecteurs (SCC) si toute formule de
la forme α ou α peut s’exprimer au moyen des
connecteurs de . L’ensemble {, } est un SCC.

 = { c1, c2, …, cp} (p>=1)

S’expriment en fonction

α α
Exprimer les connecteurs {, } à l’aide de ceux de  31
 Etude Sémantique
Système Complet de connecteurs
Explication : {, } SCC En utilisant que des sous-formules)
{, } est un SCC de la forme α et α
donc toute formule de Lp est exprimable
à l’aide des connecteurs :  et 
qqsoit δ une formule de Lp
Et si toute formule de la forme α ou α
peut s’exprimer au moyen des connecteurs
de   = { c1, c2, …, cp} (p>=1)

Donc par transitivité, toute formule de Lp Donc  est

est exprimable à l’aide connecteurs de . SCC 32
 Etude Sémantique
Système Complet de connecteurs
Exemple 1 :
Montrons que 1 = {, } est un SCC :
-  appartient à 1, donc α peut s’exprimer avec 1
-  peut s’exprimer à l’aide des connecteurs de 1 = {, } ?
on utilise le théorème de remplacement
   car    et   
 () car   ()
 ()
  () car (δ1 δ2)  δ1δ2

Donc : 1= {, } est un SCC

Remarque : on pourra utiliser le SCC 1 {, } pour montrer qu’un autre ensemble est SCC

Exercice : Montrer de la même façon que 2 = {, } est un SCC.

33
 Etude Sémantique
Système Complet de connecteurs
Exemple 2 :
Montrons que 2 = {, } est un SCC :
-  appartient à 2, donc α peut s’exprimer avec 2
-  peut s’exprimer à l’aide des connecteurs de 2 =
{, } ?
on utilise le théorème de remplacement
  ()  (  )

Car : ()  ()

Donc : 2= {, } est un SCC

34
 Etude Sémantique
Système Complet de connecteurs
Remarques :
1. Un ensemble formé que de connecteurs monaires ne peut
pas être un système complet de connecteurs. En effet
toute formule construite à partir de connecteurs monaires
ne peut intégrer qu’une seule Variable Propositionnelle :
γ =   ….   A
2. Il existe d’autres systèmes complets de connecteurs tels
que : {, }, {, }, etc.…
3. Il existe des systèmes complets de connecteurs formé de
plus de deux connecteurs tels que : {, , }, etc.…
4. Il existe des systèmes complets de connecteurs dont l’un
des connecteurs est d’arité supérieure à 2.
35
 Etude Sémantique
Système Complet de connecteurs
Exemple de connecteur d’arité 3, noté «  » :
Le connecteur  est défini par sa table de vérité (avec 3 Var. Prop) :
P Q R  (P, Q , R)

V V V V
V V F F On pourra montrer que :
V F V V
{,  } est un SCC
V F F V
F V V V
(Exercice 5 - Série 4)
F V F F
F F V V
F F F F 36
 Etude Sémantique
Système Complet de connecteurs
5. Il existe deux (2) systèmes complets de connecteurs
formés chacun d’un seul connecteur binaire, appelés :
les barres de Shaffer.
Explication :
Supposons qu’un tel connecteur existe et notons le
« | » (barre).

Essayons de construire sa table de vérité !

37
 Etude Sémantique
Système Complet de connecteurs
Il y a 16 Connecteurs Binaires possibles

A B AB AB AB AB … A|B A|B A|B A|B

V V V V V V … F F F F
V F F V F F … V V F F

F V F V V F … V F V F
F F F F V V … V V V V

- à l’instanciation « V, V » : A|B = F
(AB) B A (AB)

- et à l’instanciation « F, F » : A|B = V
Afin de pouvoir exprimer le  :   |
Donc il reste 4 possibilités pour | comme illustrée dans la T.V.
 Etude Sémantique
Système Complet de connecteurs
Donc nous avons obtenu 2 connecteurs (possibilités)
A B AB A B AB
V V F V V F
V F V V F F
F V V
AB  (AB) AB  (AB) F V F
F F V F F V
On pourra vérifier que : On pourra vérifier que :
α  αα α  αα
  (α)  (α)   (α)  (α)

Donc : {} est SCC Donc : {} est SCC

39
 Sémantique
Les Formes Normales
Définition (Littéral)
On appelle littéral associé à une variable
propositionnelle P chacune des deux expressions :
P et P (i.e la variable elle-même et sa négation).

Exemple : P, Q, P, P1, P2 sont des littéraux.

40
 Sémantique
Les Formes Normales
Conjonction /Disjonction de littéraux:
Etant données deux (02) variables propositionnelles A et B,
on peut construire les (22) conjonctions (les ET) de littéraux et
les (22) disjonctions (les OU) de littéraux suivantes :
Conjonctions (les ET)
A B Conjonctions Disjonctions Si Var. Prop.=V,
on prend la Var. Prop, sinon
V V 1= AB 1= AB
On prend la négation Var. Prop
V F 2= AB 2= AB
Disjonctions (les OU)
F V 3= AB 3= AB Si Var. Prop.=V,
F F 4= AB 4= AB on prend la négation Var. Prop,
sinon, On prend la Var. Prop

REMARQUE : Noter que i=V et i=F pour une même et unique instanciation (i=1, 4)
41
 Sémantique
Les Formes Normales
Conjonction /Disjonction de littéraux:
Etant données trois (03) variables propositionnelles A, B et C,
on peut construire les (23) conjonctions (les ET) de littéraux et
les (23) disjonctions (les OU) de littéraux suivantes :
A B C Conjonctions Disjonctions
V V V 1= A  B  C 1= A  B  C
V V F 2= A  B  C 2= A  B  C
V F V 3= A  B  C 3= A  B  C
V F F 4= A B  C 4= A  B  C
F V V 5= A  B  C 5= A  B  C
F V F 6= A  B  C 6= A  B  C
F F V 7= A  B  C 7= A  B  C
F F F 8= A B  C 8= A  B  C
REMARQUE : Noter que i=V et i=F pour une même et unique instanciation (i=1, 8)42
 Sémantique
Les Formes Normales
Conjonction /Disjonction de littéraux (Généralisation) :
Etant données N variables propositionnelles P1, …, Pn, on peut
construire les (2n) conjonctions (les ET) de littéraux et les (2n)
disjonctions (les OU) de littéraux suivantes :
Conjonctions Disjonctions
P1P2…Pn-1Pn P1P2…Pn-1Pn
P1P2…Pn-1Pn P1P2…Pn-1Pn
P1P2…Pn-1Pn P1P2…Pn-1Pn
… …
P1P2…Pn-1Pn P1P2…Pn-1Pn
… …
P1P2…Pn-1Pn P1P2…Pn-1Pn 43
 Sémantique
Les Formes Normales
Définition (Forme Normale Disjonctive FND )
On appelle Forme Normale Disjonctive (FND) toute
disjonction (des OU) de conjonctions (de ET) de littéraux :
C1  C2  ……  Ck (k>=1)
…
(L1  …  Ln) (L1  …  Ln) (L1  …  Ln)
Où chaque Li est un littéral
Exemples :
 = (P  Q  R)  (P  Q  R)  (P  Q  R)
est une Forme Normale Disjonctive (FND)
44
 Sémantique
Les Formes Normales
Définition (Forme Normale Conjonctive FNC )
On appelle Forme Normale Conjonctive (FNC) toute
conjonction (des ET) de disjonctions (de OU) de littéraux :
D1  D2  ……  Dk (k>=1)
…
(L1  …  Ln) (L1  …  Ln) (L1  …  Ln)
Où chaque Li est un littéral
Exemples :
 = (P  R)  (P  R)  (P  R)  (P  R)
est une Forme Normale Conjonctive (FNC)
45
 Sémantique
Les Formes Normales
Théorème :
Toute formule de Lp est logiquement équivalente à une
Forme Normale Disjonctive (FND) et à une Forme Normale
Conjonctive (FNC).
Méthode de construction d’une FND ou FNC d’une formule 
1. Dresser la table de vérité de la formule 
2. Pour chaque instanciation où  = Vraie, Construire les
Conjonctions de littéraux correspondantes : C1, C2, …, Cn
3. Former la FND : C1  C2  ……  Cn
4. Pour chaque instanciation où  = Fausse, Construire les
Disjonctions de littéraux correspondantes : D1, D2, …, Dm
5. Former la FNC : D1  D2  ……  Dm 46
 Sémantique
Les Formes Normales
Exemple 1 :
Trouver la FND de la formule  = (P ∨ Q → R) ∧ (P  R)
P Q R P∨Q P ∨ Q→ R PR  Conjonctions
1 V V V V V V V P Q R
2 V V F V F F F
3 V F V V V V V P Q R
4 V F F V F F F
5 F V V V V F F
6 F V F V F V F
7 F F V F V F F
8 F F F F V V V P Q R
FND()=(P Q R)  (P Q R)  (P Q R) 47
 Sémantique
Les Formes Normales
Exemple 2 :
Trouver la FNC de la formule  = (P ∨ Q → R) ∧ (P  R)
P Q R P∨Q P ∨ Q→ R PR  Disjonctions
1 V V V V V V V
2 V V F V F F F P  Q  R
3 V F V V V V V
4 V F F V F F F PQR
5 F V V V V F F P  Q  R
6 F V F V F V F P  Q  R
7 F F V F V F F P  Q  R
8 F F F F V V V
FNC() = (P  Q  R)( P  Q R)(PQ R)(P Q  R)(P Q  
48 R)
 Relation entre la Syntaxique et la
Sémantique
Théorie Logique Mathématique :
. (L’ensemble des formules)

Formules Vraies
Formules Démontrables
TAUTOLOGIES
THEOREMES

Formules VRAIES &

DEMONTRABLES
49
 Relation entre la Syntaxique et la
Sémantique
. Théorie Logique Propositionnelle
(L’ensemble des formules de Lp)

Tous ce qui est démontrable est vrai :

CONSISTANCE

Tous ce qui est vrai est démontrable :

COMPLÉTUDE

Formules VRAIES et DEMONTRABLES

(même ensemble)
50
 Relation entre la Syntaxique et la
Sémantique
Théorème (de Consistance & de Complétude):
Soient 1 , …, n et  des formules de Lp :

1 , …, n   1 , …, n 

Equivalent
 est une Déduction de 1 , …, n  est une Conséquence Logique de 1 , …, n

Cas particulier (n = 0) :
  
 est un Théorème de Lp  est une Tautologie de Lp
Equivalent

51
 Relation entre la Syntaxique et la
Sémantique
Lemme 1 :
1 , …, n   { 1 , …, n ,   }
est un ensemble INCONSISTANT
c.-à-d. : Produit ou Contient une
contradiction

Lemme 2 :
Tout ensemble de formules «Non Satisfiables»
est un ensemble « Inconsistant » 52
 Relation entre la Syntaxique et la
Sémantique
1 , …, n 
Syntaxique :  est une Déduction de 1 , …, n


1 , …, n 
Sémantique  est une Conséquence Logique de 1 , …, n


{ 1 , …, n ,   } est un
Algo Réfutation ensemble Inconsistant 53
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :
Etant donné un ensemble de formules de Lp ( , )
Cet algorithme permet de déterminer s’il est :
- Inconsistant (les formules ne peuvent pas être
vraie en même temps)
ou
- Satisfiable (les formules peuvent être vraies en
même temps)
Γ = { 1 , …, n }

INCONSISTANT SATISFIABLE 54
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :
Premier Cas
Γ est composé uniquement de littéraux
Γ = { A1 , …, Ap , Ap+1 , …, An }
Si Γ contient au moins un couple de
littéraux de la forme : Ai ,Ai
Alors Γ est un ensemble INCONSISTANT
Sinon Γ est un ensemble SATISFIABLE
55
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :
Deuxième Cas
Γ = {1 , …, n }
Ou les i (i=1 a n)  Lp ( , )
On s’intéresse a une formule i (i=1 a n)
Trois formes sont possibles pour i :
i =    Clause 1 du Non
i =    Clause 2 du Et
i =  (  ) Clause 3 du Non Et 56
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :
Clause 1 : i =   
Γ = {…,  , … }
Γ =  U {}
Sera
remplacé Branche
par
Γ’ =  U {}
Γ’ Inconsistant ⇒ Γ Inconsistant
Γ’ Satisfiable ⇒ Γ Satisfiable 57
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :
Clause 2 : i =   
Γ = {…,  , … }
Γ =  U {}
Sera
remplacé Branche
par
Γ’ =  U { , }
Γ’ Inconsistant ⇒ Γ Inconsistant
Γ’ Satisfiable ⇒ Γ Satisfiable 58
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :
Clause 3 : i =  (  )
Γ = {…, () , … }
Γ =  U {()}
Sera
remplacé
par : Fourche
Γ’ =  U {} Γ’’ =  U {}
Γ’ et Γ’’ Inconsistants ⇒ Γ Inconsistant
Γ’ ou Γ’’ Satisfiable ⇒ Γ Satisfiable 59
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :

Les clauses 1, 2 et 3 appliquées sur les formules des

ensembles obtenus successifs, permettent d’obtenir
un arbre binaire dont les extrémités (les feuilles)
sont des ensembles de littéraux.

60
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :
Γ1 = { 1 , …, n }

Ensembles
Ensembles de littéraux
de littéraux 61
 Relation entre la Syntaxique et la
Sémantique
Algorithme de Réfutation :

L’algorithme s’arrête et on a deux possibilités :

(1) Il existe au moins un ensemble de littéraux Satisfiable

⇒ Γ est Satisfiable
(2) Tous les ensembles de littéraux sont Inconsistants
⇒ Γ est Inconsistant

62
 Relation entre la Syntaxique et la
Sémantique
Exemple 1 d’application Algorithme de Réfutation
Γ0 = { (BD) , AC , (AB) }
Γ1 = { BD , AC , (AB) }

Γ2 = { B , D , AC , (AB) }

Γ3 = { B , D , A , C , (AB) }

Γ4 = { B , D , A , C , A } Γ5 = { B , D , A , C , B) }

Γ6 = { B , D , A , C , B }
63
 Relation entre la Syntaxique et la
Sémantique
Exemple 1 d’application Algorithme de Réfutation
Γ0 = { (BD) , AC , (AB) }
Γ1 = { BD , AC , (AB) }

Γ2 = { B , D , AC , (AB) }

Γ3 = { B , D , A , C , (AB) }

Γ4 = { B , D , A , C , A } Γ5 = { B , D , A , C , B) }
Γ4 INCONSISTANT
Γ6 SATISFIABLE Γ6 = { B , D , A , C }64
 Relation entre la Syntaxique et la
Sémantique
Exemple 1 d’application Algorithme de Réfutation

Conclusion
Γ0 = { (BD) , AC , (AB) }

Il existe un ensemble de littéraux Satisfiable (Γ6)

⇒ Γ0 est Satisfiable

65
 Relation entre la Syntaxique et la
Sémantique
Exemple 2 d’application Algorithme de Réfutation
Montrer la déduction suivante en utilisant
l’Algorithme de Réfutation :
(PQ)Q PQ

Reviens a Montrer que l’ensemble suivant est

Inconsistant :
Γ0 = {(PQ)Q ,  (PQ)}
Transformons les formules dans le système ( , ) :
Γ0 = {((PQ)Q) ,  (PQ)}
66
 Relation entre la Syntaxique et la
Sémantique
Exemple 2 d’application Algorithme de Réfutation
Γ0 = {((PQ)Q) ,  (PQ)}

Γ1 = {((PQ)Q) , PQ }

Γ2 = {((PQ)Q) , P , Q }

Γ3 = {(PQ) , P , Q } Γ6 = {Q , P , Q }

Γ4 = {PQ , P , Q } Γ7 = {Q , P , Q }
Γ7 INCONSISTANT
Γ5 = {P, Q , P , Q } Γ5 INCONSISTANT 67
 Relation entre la Syntaxique et la
Sémantique
Exemple 2 d’application Algorithme de Réfutation

Conclusion
Γ0 = {(PQ)Q ,  (PQ)}

Tous les ensemble de littéraux obtenus sont

Inconsistants
⇒ Γ0 est Inconsistant

Donc : (PQ)Q PQ

68
Fin de la partie sémantique

69