Logique

Logique propositionnelle 1
Salem BENFERHAT
Centre de Recherche en Informatique de Lens (CRIL-CNRS)

email : benferhat@cril.fr
1
Version préliminaire du cours. Tout retour sur la forme comme sur le fond est le
bienvenu.
1 / 65
La logique propositionnelle
2 / 65
Rappels sur la logique propositionnelle
Qu’est ce que la logique propositionnelle

• Un langage formel pour exprimer des connaissances
3 / 65

• La forme la plus simple des logiques mathématiques
3 / 65

• Un langage symbolique pour décrire des propositions et de
raisonner avec.
3 / 65

• Un langage symbolique pour décrire des propositions et de
raisonner avec.
Qu’est-ce qu’une proposition?

Une proposition (ou assertion) est une phrase déclarative qui peut-être
soit vraie soit fausse (mais pas les deux, enfin dans des langages
simples de représentation des connaissances!)
3 / 65
Quelques exemples
• RCL est champion de France en 1998
• 7 est un nombre premier
4 / 65
Ingrédients d’un langage logique
Syntaxe
• Vocabulaire : Un ensemble de symboles (dits propositionnels) et
de connecteurs
• Un langage obtenu à partir des règles qui combinent ces
symboles
5 / 65
Syntaxe
de connecteurs
symboles
Sémantique
• Sens associé aux symboles et connecteurs
• Tables de vérité
5 / 65
Syntaxe
de connecteurs
symboles
Sémantique
• Sens associé aux symboles et connecteurs
• Tables de vérité
Procédure d’inférence
• Ce sont des règles qui permettent de dériver de nouvelles
propositions à partir des propositions considérées comme vraies.
5 / 65
Syntaxe de
la logique propositionnelle
6 / 65
Les connecteurs logiques
Négation
• Si ”p” désigne une proposition alors on note souvent ”¬ p” comme
la négation de ”p”
7 / 65
Négation
• ”¬ p” signifie : il n’est vraie que ”p”
7 / 65
Négation
• ”¬ p” signifie : il n’est vraie que ”p”
• Il n’est pas vraie que ”8 est un nombre premier”
7 / 65
Conjonction et Disjonction
• Si ”p” et ”q” désignent deux propositions, alors on note souvent
”p ∧ q”, pour exprimer le fait que les deux assertions p et q sont
toutes les deux sont vraies.
8 / 65
Conjonction et Disjonction
”p ∧ q”, pour exprimer le fait que les deux assertions p et q sont
toutes les deux sont vraies.
”p ∨ q”, pour exprimer le fait que au moins l’une des deux
assertions p et q est vraie (elles peuvent être vraies toutes les
deux).
8 / 65
Remarques
• La négation d’une proposition est une proposition
• La conjonction (respectivement la disjonction) de deux
propositions est également une proposition.
9 / 65
Implication matérielle
• Très importante pour exprimer des informations conditionnelles et
contextuelles
10 / 65
contextuelles
”p ⇒ q”, pour exprimer le fait que si p est vraie alors q également
vraie.
10 / 65
contextuelles
vraie.
• Noter que si la proposition ”p” est fausse alors l’implication ”p ⇒ q
est considérée comme vraie!
10 / 65
contextuelles
vraie.
• Noter que si la proposition ”p” est fausse alors l’implication ”p ⇒ q
est considérée comme vraie!
• L’implication matérielle ”p ⇒ q est logiquement équivalente à
¬p ∨ q”
10 / 65
Equivalence logique
• Si ”p” et ”q” désignent deux propositions alors on note souvent
”p ⇔ q” (noté aussi p ≡ q), pour exprimer le fait que les deux
propositions p et q sont équivalentes.
11 / 65
Equivalence logique
• Si ”p” et ”q” désignent deux propositions alors on note souvent
”p ⇔ q” (noté aussi p ≡ q), pour exprimer le fait que les deux
propositions p et q sont équivalentes.
• ”p ⇔ q” est vue comme une conjonction de ”p ⇒ q” et ”q ⇒ p”
11 / 65
Un peu de formel : définition du langage
propositionnelle
Vocabulaire
Le vocabulaire est composé :
• D’un ensemble symboles propositionnels V
12 / 65
propositionnelle
Vocabulaire
• D’un ensemble de connecteurs logiques : ¬, ∧, ∨, ⇒, ⇔
12 / 65
propositionnelle
Vocabulaire
• D’un ensemble de connecteurs logiques : ¬, ∧, ∨, ⇒, ⇔
• D’un ensemble de séparateurs très utiles pour lever les
ambiguités : ”,”, ”)”, ”(”,...
12 / 65
propositionnelle
Le langage : ensemble de formules propositionnelles

L’ensemble des formules propositionnelles (formules propositionnelles
bien formées, propositions) est défini par les règles suivantes
1 Si p ∈ V alors p est une formule propositionnelle.
13 / 65
propositionnelle

2 SI p est une formule propositionnelle alors ¬p est une formule
propositionnelle.
13 / 65
propositionnelle

propositionnelle.
3 SI p et q sont des formules propositionnelles alors p ∧ q, p ∨ q,
p ⇒ q, et p ⇔ q, sont des formules propositionnelles.
13 / 65
propositionnelle

propositionnelle.
3 SI p et q sont des formules propositionnelles alors p ∧ q, p ∨ q,
p ⇒ q, et p ⇔ q, sont des formules propositionnelles.
4 Les formules propositionnelles sont obtenues uniquement en
appliquant les règles (1)-(3) un certain nombre de fois.
13 / 65
Sémantique de
la logique propositionnelle
14 / 65
Concept d’interpretations
• Rappel : Un symbole propositionnel est soit vrai soit faux (mais

pas les deux en même temps).
15 / 65

• La valeur de vérité de chaque symbole propositionnel est
CONNUE dans le monde REEL.
15 / 65

• Malheureusement, en pratique nous n’avons pas accès à ce
monde réel. Nous avons uniquement une description partielle du
monde réel.
15 / 65

monde réel.
• Une interprétation est aussi appelé monde possible car elle
représente un monde candidat pour être le monde réel. Une
interprétation est une hypothèse sur le monde réel.
15 / 65

monde réel.
• Les informations (certaines) disponibles permettent d’écarter des
interprétations (des mondes impossibles)
15 / 65

monde réel.
• Les informations (certaines) disponibles permettent d’écarter des
interprétations (des mondes impossibles)
• Plus il y a d’informations moins il y a d’interprétations possibles!
15 / 65
Définition
• Une interprétation, souvent notée I, est une affectation de valeur
de vérité à chaque symbole propositionnel.
16 / 65
Définition
• On note souvent I(p)=1 ou ”T” (respectivement I(p)=0 ou ”F”) pour
indiquer que le symbole p est vrai (respectivement faux) dans le
monde possible I.
16 / 65
Définition
monde possible I.
• Une interprétation tout simplement correspond à une ligne d’une
table de vérié
16 / 65
Définition
monde possible I.
• Une interprétation tout simplement correspond à une ligne d’une
table de vérié
• A partir de l’interprétation associé aux propositions de base, on
peut déterminer la valeur de vérité de toute formule complexe en
donnant un sens à chaque connecteur : ¬, ∧, ∨, ⇒, ⇔
16 / 65
Interprétation des connecteurs : Négation
La proposition p Sa négation ¬p
0 1
1 0
17 / 65
Interprétation des connecteurs : Conjonction
p q p∧q
0 0 0
0 1 0
1 0 0
18 / 65
Interprétation des connecteurs : Conjonction
p q p∧q
0 0 0
0 1 0
1 0 0
1 1 1
18 / 65
Interprétation des connecteurs : Disjonction
p q p∨q
0 0 0
19 / 65
Interprétation des connecteurs : Disjonction
p q p∨q
0 0 0
0 1 1
1 0 1
1 1 1
19 / 65
Interprétation des connecteurs : Implication matérielle
p q p⇒q
0 0 1
20 / 65
p q p⇒q
0 0 1
0 1 1
20 / 65
p q p⇒q
0 0 1
0 1 1
1 1 1
20 / 65
p q p⇒q
0 0 1
0 1 1
1 1 1
1 0 0
20 / 65
Exercice
Ecrire une fonction qui calcule le degré de vérité d’une formule dans
une interprétation donnée.
21 / 65
Exercice
Ecrire une fonction qui calcule le degré de vérité d’une formule dans
une interprétation donnée.
Modèles
• Une interprétation I est dite modèle d’une formule p, notée I |= p,
si p est vraie dans I.
• Une interprétation I est contre-modèle de p si la proposition p est
fausse dans I.
21 / 65
Tautologies et contradictions
Tautologies
Une tautologie est une formule qui est vraie dans toutes les
interprétations.
22 / 65
Tautologies
interprétations.
Contradictions
Une contradiction est une formule qui n’admet aucun modèle.
22 / 65
Tautologies
interprétations.
Contradictions
Une contradiction est une formule qui n’admet aucun modèle.
Exercice
Donne un exemple de formule qui est
• une tautologie,
• une contradiction
22 / 65
Inférence
23 / 65
Inférence
Equivalence
Deux formules sont dites équivalentes si elles admettent les mêmes
modèles
24 / 65
Inférence
Equivalence
modèles
Exercices
• Est-ce que les deux formules p ⇒ q et ¬q ⇒ ¬p sont
équivalentes?
24 / 65
Inférence
Equivalence
modèles
Exercices
• Est-ce que les deux formules p ⇒ q et ¬q ⇒ ¬p sont
équivalentes?
• Est-ce que les deux formules p ⇒ q et ¬p ⇒ ¬q sont
équivalentes?
24 / 65
Autres notions
Définitions
• Litéral : un atome ou la négation d’un atome.
• Clause : une disjonction de littéraux.
• Cube : une conjonction de littéraux.
• CNF : forme normale conjonction, une conjonction de clauses.
• DNF : forme normale disjonctive, une disjonction de cubes.
25 / 65
Transformations équivalentes
CNF et DNF
Toute formule peut être mise, de manière équivalente, sous forme
CNF (resp. DNF)
26 / 65
Exercice
Exercice : DNF
Soit p une formule sous forme DNF. Soit C une clause.
• Donner un algorithme qui vérifie si p est cohérente.
27 / 65
Exercice
Exercice : DNF
• Donner un algorithme qui vérifie si p est cohérente.
• Donner un algorithme qui vérifie si p ∧ C est cohérente
27 / 65
Exercice
Exercice
Soit (p ∨ ¬(q ∨ ¬(r ∧ ¬q))) ∧ (¬p ∨ q)
• Mettre la formule sous forme DNF
• La formule est-elle cohérente avec la clause ¬q ∨ r ?
• La formule est-elle cohérente avec la clause ¬p?
• La formule est-elle cohérente avec la clause p?
• Donner la liste des modèles de la formule.
28 / 65
Exercice
(p ∨ ¬(q ∨ ¬(r ∧ ¬q))) ∧ (¬p ∨ q)

≡ (p ∨ (¬q ∧ (r ∧ ¬q))) ∧ (¬p ∨ q)
≡ (p ∨ (¬q ∧ r ∧ ¬q)) ∧ (¬p ∨ q)
≡ (p ∨ (r ∧ ¬q)) ∧ (¬p ∨ q)
≡ (p ∧ (¬p ∨ q)) ∨ ((r ∧ ¬q) ∧ (¬p ∨ q))
≡ (p ∧ ¬p) ∨ (p ∧ q) ∨ ((r ∧ ¬q) ∧ (¬p ∨ q))
≡ ⊥ ∨ (p ∧ q) ∨ ((r ∧ ¬q) ∧ (¬p ∨ q))
≡ (p ∧ q) ∨ ((r ∧ ¬q) ∧ (¬p ∨ q))
≡ (p ∧ q) ∨ (r ∧ ¬q ∧ ¬p) ∨ (r ∧ ¬q ∧ q)
≡ (p ∧ q) ∨ (r ∧ ¬q ∧ ¬p) ∨ ⊥
≡ (p ∧ q) ∨ (r ∧ ¬q ∧ ¬p)
29 / 65
Exercice
Exercice
Un cambriolage a eu lieu dans une bijouterie. 3 suspects : a, b, c.
Modéliser de manière indépendante chacune des règles suivantes.
• Il y a au moins un coupable.
30 / 65
Exercice
Exercice
• Il existe au plus deux coupables.
30 / 65
Exercice
Exercice
• si a est coupable, alors il a un seul complice ;
30 / 65
Exercice
Exercice
• si b est innocent, alors c l’est aussi ;
30 / 65
Exercice
Exercice
• s’il y a exactement deux coupables, alors a est l’un d’entre eux ;
30 / 65
Exercice
Exercice
• si c est innocent, alors b l’est aussi.
30 / 65
Exercice
Exercice
• si c est innocent, alors b l’est aussi.
• L’ensemble de ces informations est-il cohérent?
30 / 65
Solutions
Modélisation
Pour le vocabulaire, on prend trois variables propositionnelles :
Nom des variables Signification des variables

a a est coupable
b b est coupable
c c est coupable
Bien sûr ¬a (resp. ¬b, ¬c) signifie que a (resp. b, c) est innocent.
31 / 65
Solutions
Il y a au moins un coupable
Il y a au moins un coupable se code :
a∨b∨c
Cette formule exprime le fait que a, b et c ne peuvent pas être tous les
trois à faux.
32 / 65
Solutions
Il existe au plus deux coupables

Premier codage :
• Intuitivement, il existe au plus deux coupables revient à dire que :
si a et b sont coupables alors c est innocent,
si a et c sont coupables alors b est innoncent, et
si b et c sont coupables alors a est innoncent.
• Ces trois énoncés s’écrivent en logique comme suit :

a ∧ b → ¬c
a ∧ c → ¬b
b ∧ c → ¬a
33 / 65
Solutions
il existe au plus deux coupables

Deuxième codage :
• Intuitivement, il existe au plus deux coupables revient à dire que
a, b, c ne peuvent être tous les trois coupables
• Ce qui revient à écrire :
¬(a ∧ b ∧ c).
34 / 65
Solutions

Troisième codage :
• Intuitivement, il existe au plus deux coupables revient à dire qu’au
moins un des trois suspects est innocent
• Ce qui revient à écrire :
¬a ∨ ¬b ∨ ¬c
35 / 65
Solutions
si a est coupable, alors il a au moins un complice

• Cette information se code en :
a → (b ∨ c)
• ou encore :
¬a ∨ b ∨ c
36 / 65
Solutions
Si b est innocent, alors c l’est aussi

• Cette information se code en :
¬b → ¬c
• ou encore :
b ∨ ¬c
37 / 65
Solutions
s’il y a exactement deux coupables, alors a est l’un d’entre eux

D’abord il faut représenter l’information ”il y a exactement deux
coupables” qui s’écrit :
• La formule suivante exprime le fait qu’il y ait au moins deux
coupables :
(a ∧ b) ∨ (a ∧ c) ∨ (b ∧ c)
• La formule suivante exprime le fait qu’il y a au moins un innocent :
(¬a ∨ ¬b ∨ ¬c)
38 / 65
Solutions

• La conjonction de ces deux formules exprime bien l’information ”il
y a exactement deux coupables” qui s’écrit donc :
((a ∧ b) ∨ (a ∧ c) ∨ (b ∧ c)) ∧ (¬a ∨ ¬b ∨ ¬c)

ce qui est équivalent à :
((a∧b)∧(¬a∨¬b∨¬c))∨((a∧c)∧(¬a∨¬b∨¬c))∨((b∧c)∧(¬a∨¬b∨¬c))
qui se simplifie en :
(a ∧ b ∧ ¬c) ∨ (a ∧ ¬b ∧ c) ∨ (¬a ∧ b ∧ c)
39 / 65
Solutions

Codons maintenant l’information ”s’il y a exactement deux coupables,
alors a est l’un d’entre eux” :
(a ∧ b ∧ ¬c) ∨ (a ∧ ¬b ∧ c) ∨ (¬a ∧ b ∧ c) → a
Simplifions cette formule.
40 / 65
Solutions
S’il y a exactement deux coupables, alors a est l’un d’entre eux
(a ∧ b ∧ ¬c) ∨ (a ∧ ¬b ∧ c) ∨ (¬a ∧ b ∧ c) → a
≡ ¬((a ∧ b ∧ ¬c) ∨ (a ∧ ¬b ∧ c) ∨ (¬a ∧ b ∧ c)) ∨ a
≡ (¬(a ∧ b ∧ ¬c) ∧ ¬(a ∧ ¬b ∧ c) ∧ ¬(¬a ∧ b ∧ c)) ∨ a
≡ ((¬a ∨ ¬b ∨ c) ∧ (¬a ∨ b ∨ ¬c) ∧ (a ∨ ¬b ∨ ¬c)) ∨ a
≡ ((¬a ∨ ¬b ∨ c) ∨ a) ∧ ((¬a ∨ b ∨ ¬c) ∨ a) ∧ ((a ∨ ¬b ∨ ¬c) ∨ a)
≡ > ∧ > ∧ (a ∨ ¬b ∨ ¬c)
≡ (a ∨ ¬b ∨ ¬c)
41 / 65
Solutions

La formule
(a ∨ ¬b ∨ ¬c)
est équivalente à :
¬a → ¬b ∨ ¬c
qui signifie si a est innocent alors b ou c sont innocents (b et c ne
peuvent être en même temps coupables).
Elle est également équivalente à :
b∧c →a
qui signifie, si b ∧ c sont coupables alors a l’est aussi (sinon on aura
deux coupables sans a comme coupable).
42 / 65
Solutions
Si c est innocent, alors b l’est aussi

Cette information se code simplement en :
¬c → ¬b
43 / 65
Solution
L’ensemble des informations est codé comme suit :
K = {a ∨ b ∨ c,
Il y a au moins un coupable
¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c,
si a est coupable, alors il a au moins un complice
b ∨¬c,
si b est innocent, alors c l’est aussi
a ∨ ¬b ∨ ¬c,
c ∨ ¬b
si c est innocent, alors b l’est aussi}
44 / 65
Inférence
Bases de connaissances
• Une bases de connaissances est un ensemble de formules
propositionnelles, notée K .
45 / 65
Inférence
• Une base de connaissances exprime les connaissances
disponibles sur un problème donnée
45 / 65
Inférence
• Une base de connaissances exprime les connaissances
disponibles sur un problème donnée
• K est interprétée comme une conjonction de formules
propositionnelles
45 / 65
Tester la cohérence d’un ensemble de clauses
Simplifications
La clause :
x ∨ x ∨ y1 ∨ . . . yn
peut-être simplifiée en :
x ∨ y1 ∨ . . . yn
46 / 65
Simplifications
La clause :
x ∨ x ∨ y1 ∨ . . . yn
x ∨ y1 ∨ . . . yn
La suppression des doublons donne une clause équivalente.
46 / 65
Simplifications
La clause :
x ∨ ¬x ∨ y1 ∨ . . . yn
>
47 / 65
Simplifications
La clause :
x ∨ ¬x ∨ y1 ∨ . . . yn
>
Deux littéraux complémentaires dans une clause donne une tautologie.
47 / 65
Simplifications
La clause :
x ∨>
48 / 65
Simplifications
La clause :
x ∨>
>
48 / 65
Simplifications
La clause :
x ∨⊥
49 / 65
Simplifications
La clause :
x ∨⊥
49 / 65
Simplifications
Supposons que x est vrai. Alors la clause :
x ∨ y1 ∨ . . . yn
50 / 65
Simplifications
Supposons que x est vrai. Alors la clause :
x ∨ y1 ∨ . . . yn
est toujours satisfaite et peut-être supprimée de la base.
50 / 65
Simplifications
Supposons que x est faux. Alors la clause :
x ∨ y1 ∨ . . . yn
51 / 65
Simplifications
x ∨ y1 ∨ . . . yn
y1 ∨ . . . yn
51 / 65
Simplifications
x ∨ y1 ∨ . . . yn
y1 ∨ . . . yn
Cas particulier
51 / 65
Simplifications
x ∨ y1 ∨ . . . yn
y1 ∨ . . . yn
Cas particulier
x
se simplifie en
⊥
.
51 / 65
Base vide
Si K est vide alors :
52 / 65
Base vide
Si K est vide alors : K est cohérente.
52 / 65
Présence de contradiction
Si ⊥ ∈ K alors :
53 / 65
Présence de contradiction
Si ⊥ ∈ K alors : K est incohérente.
53 / 65
Notation
Soit K un ensemble de clauses. Soit x un symbole propositionnel.
Notons :
Kx←> : le résultat du remplacement des occurrences de x par >
54 / 65
Notation
Notons :
et
54 / 65
Notation
Notons :
et
Kx←⊥ : le résultat du remplacement des occurrences de x par ⊥
54 / 65
Notation
Notons :
et
• Kx←> (resp. Kx←⊥ ) est la base simplifiée de K sous l’hypothèse

que x est vrai (resp. faux).
54 / 65
Notation
Notons :
et
• Kx←> (resp. Kx←⊥ ) est la base simplifiée de K sous l’hypothèse

que x est vrai (resp. faux).
• Kx←> et Kx←⊥ ne contiennent pas de référence au symbole x.
54 / 65
Propriété
K est cohérent
55 / 65
Propriété
K est cohérent
ssi
55 / 65
Propriété
K est cohérent
ssi
Kx←> est cohérent ou Kx←⊥ est cohérent
55 / 65
1 int estcoherent (K)

2 {
3 if K==∅ return 1
4 else if ⊥ ∈ K return 0
5 else
6 {
7 soit x un symbole de K;
8 return (estcoherent(Kx←> ) || estcoherent(Kx←⊥ ))
9 }
0 }
56 / 65
Exemple du cambriolage
Tester la cohérence de la base de connaissances suivante :
K = {a ∨ b ∨ c,
¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c,
b ∨¬c,
a ∨ ¬b ∨ ¬c,
c ∨ ¬b}
57 / 65
Inférence
exercice
• Donner le nombre de modèles de chacune des bases suivantes :

K1 = {(¬a ∨ b) ∨ c}
58 / 65
Inférence
exercice

K1 = {(¬a ∨ b) ∨ c}
K2 = {(¬a ∨ b) ∨ c, ¬c}
58 / 65
Inférence
exercice

K1 = {(¬a ∨ b) ∨ c}
K2 = {(¬a ∨ b) ∨ c, ¬c}
K3 = {(¬a ∨ b) ∨ c, ¬b}
58 / 65
Inférence
exercice

K1 = {(¬a ∨ b) ∨ c}
K2 = {(¬a ∨ b) ∨ c, ¬c}
K3 = {(¬a ∨ b) ∨ c, ¬b}
K4 = {(¬a ∨ b) ∨ c, ¬b, a}
• Que faut-il conclure?
58 / 65
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
b→>
Kb→> ={ a ∨h ∨h
(b( c,
h
( h(
¬a∨ ¬b ∨¬c,
hh (
¬a(
∨(b∨ c,
( h (
hh
b ∨X
X
¬c,

X
a∨ ¬b ∨¬c,
c∨ ¬b }
K={a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
b→⊥
b→>
Kb→> ={ a ∨h ∨h
(b( c, Kb→⊥ ={ a∨ b ∨c,
h
( h(
hhh (
¬a∨ ¬b ∨¬c, ¬a(
( ∨( (∨(
¬bh ¬c,
hh
hh (
¬a(
∨(b∨ c, ¬a∨ b ∨c,
( h (
hh
b ∨X
X
¬c,

X b ∨¬c,
h hh (
a∨ ¬b ∨¬c, a ∨(¬b
( (∨h¬c,
( h
c∨ ¬b } c ∨X
X
¬b}

X
59 / 65
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
>
b→
Kb→> ={ ¬a ∨ ¬c,
a ∨ ¬c,
c}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={ ¬a ∨ ¬c, Kb→⊥ ={ a ∨ c,

a ∨ ¬c, ¬a ∨ c,
c} ¬c}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={ ¬a ∨ ¬c, Kb→⊥ ={ a ∨ c,

a ∨ ¬c, ¬a ∨ c,
c} ¬c}
60 / 65
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
>
b→
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c}

K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
Kb→>,c→> ={¬a, a}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
Kb→>,c→> ={¬a, a}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
Kb→>,c→> ={¬a, a}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
c→⊥
Kb→>,c→> ={¬a, a} Kb→⊥,c→⊥ ={¬a, a}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
c→⊥
Kb→>,c→> ={¬a, a} Kb→⊥,c→⊥ ={¬a, a}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
c→⊥
Kb→>,c→> ={¬a, a} Kb→⊥,c→⊥ ={¬a, a}
61 / 65
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
>
b→
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c}

K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
Kb→>,c→> ={⊥}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
Kb→>,c→> ={⊥}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
Kb→>,c→> ={⊥}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

c→>
c→⊥
Kb→>,c→> ={⊥} Kb→⊥,c→⊥ ={⊥}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
> b→
b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

return 0
c→>
c→⊥
Kb→>,c→> ={⊥} Kb→⊥,c→⊥ ={⊥}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
rn 0 > b→
retu b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

return 0
c→>
c→⊥
Kb→>,c→> ={⊥} Kb→⊥,c→⊥ ={⊥}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
rn 0 > b→
retu b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

return 0
return 0
c→>
c→⊥
Kb→>,c→> ={⊥} Kb→⊥,c→⊥ ={⊥}
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
0 b→ retu
rn > rn 0
retu b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

return 0
return 0
c→>
c→⊥
Kb→>,c→> ={⊥} Kb→⊥,c→⊥ ={⊥}
La base K est incohérente
return 0
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
0 b→ retu
rn > rn 0
retu b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

return 0
return 0
c→>
c→⊥
Kb→>,c→> ={⊥} Kb→⊥,c→⊥ ={⊥}
La base K est incohérente
return 0
K= {a ∨ b ∨ c, ¬a ∨ ¬b ∨ ¬c,
¬a ∨ b ∨ c, b ∨ ¬c,
a ∨ ¬b ∨ ¬c, c ∨ ¬b}
0 b→ retu
rn > rn 0
retu b→ ⊥
Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}

return 0
return 0
c→>
c→⊥
Kb→>,c→> ={⊥} Kb→⊥,c→⊥ ={⊥}
62 / 65
Remarques
• Le choix de la variable propositionnelle à mettre en racine

n’influence pas le résultat final du test de la cohérence d’un
ensemble de clauses.
• Cependant, ce choix peut-être crucial pour évaluer rapidement la
cohérence d’un ensemble de clauses.
• Par exemple :
Commencer toujours par des clauses dites unitaires (contenant un
seul littéral). Car leur valeur de vérité est fixée.
Commencer toujours par des littéraux qui sont soit positifs soit
négatifs dans toutes les clauses
Commencer par les littéraux qui apparaissent le plus souvent (on
parle ici d’heuristiques)
etc.
63 / 65
Inférence
Conséquence logique
• Une formule p est une conséquence logique d’une base K si tout
modèle de K est également modèle de p
Exercice : DNF
• Donner un algorithme qui vérifie si C est une conséquence de p
64 / 65

Logique

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Logique

Uploaded by

Copyright:

Available Formats

Logique propositionnelle 1

Centre de Recherche en Informatique de Lens (CRIL-CNRS)

Qu’est ce que la logique propositionnelle

Qu’est ce que la logique propositionnelle

Qu’est ce que la logique propositionnelle

Qu’est ce que la logique propositionnelle

Qu’est-ce qu’une proposition?

Le langage : ensemble de formules propositionnelles

Le langage : ensemble de formules propositionnelles

Le langage : ensemble de formules propositionnelles

Le langage : ensemble de formules propositionnelles

• Rappel : Un symbole propositionnel est soit vrai soit faux (mais

• Rappel : Un symbole propositionnel est soit vrai soit faux (mais

• Rappel : Un symbole propositionnel est soit vrai soit faux (mais

• Rappel : Un symbole propositionnel est soit vrai soit faux (mais

• Rappel : Un symbole propositionnel est soit vrai soit faux (mais

• Rappel : Un symbole propositionnel est soit vrai soit faux (mais

(p ∨ ¬(q ∨ ¬(r ∧ ¬q))) ∧ (¬p ∨ q)

Nom des variables Signification des variables

Il existe au plus deux coupables

• Ces trois énoncés s’écrivent en logique comme suit :

il existe au plus deux coupables

• Ce qui revient à écrire :

Il existe au plus deux coupables

si a est coupable, alors il a au moins un complice

Si b est innocent, alors c l’est aussi

s’il y a exactement deux coupables, alors a est l’un d’entre eux

s’il y a exactement deux coupables, alors a est l’un d’entre eux

((a ∧ b) ∨ (a ∧ c) ∨ (b ∧ c)) ∧ (¬a ∨ ¬b ∨ ¬c)

s’il y a exactement deux coupables, alors a est l’un d’entre eux

≡ ¬((a ∧ b ∧ ¬c) ∨ (a ∧ ¬b ∧ c) ∨ (¬a ∧ b ∧ c)) ∨ a

≡ (¬(a ∧ b ∧ ¬c) ∧ ¬(a ∧ ¬b ∧ c) ∧ ¬(¬a ∧ b ∧ c)) ∨ a

≡ ((¬a ∨ ¬b ∨ c) ∧ (¬a ∨ b ∨ ¬c) ∧ (a ∨ ¬b ∨ ¬c)) ∨ a

≡ ((¬a ∨ ¬b ∨ c) ∨ a) ∧ ((¬a ∨ b ∨ ¬c) ∨ a) ∧ ((a ∨ ¬b ∨ ¬c) ∨ a)

≡ > ∧ > ∧ (a ∨ ¬b ∨ ¬c)

s’il y a exactement deux coupables, alors a est l’un d’entre eux

Si c est innocent, alors b l’est aussi

L’ensemble des informations est codé comme suit :

Si K est vide alors :

Si K est vide alors : K est cohérente.

Si ⊥ ∈ K alors : K est incohérente.

Kx←> : le résultat du remplacement des occurrences de x par >

Kx←> : le résultat du remplacement des occurrences de x par >

Kx←> : le résultat du remplacement des occurrences de x par >

Kx←⊥ : le résultat du remplacement des occurrences de x par ⊥

Kx←> : le résultat du remplacement des occurrences de x par >

Kx←⊥ : le résultat du remplacement des occurrences de x par ⊥

• Kx←> (resp. Kx←⊥ ) est la base simplifiée de K sous l’hypothèse

Kx←> : le résultat du remplacement des occurrences de x par >

Kx←⊥ : le résultat du remplacement des occurrences de x par ⊥

• Kx←> (resp. Kx←⊥ ) est la base simplifiée de K sous l’hypothèse

• Kx←> et Kx←⊥ ne contiennent pas de référence au symbole x.

Kx←> est cohérent ou Kx←⊥ est cohérent

1 int estcoherent (K)

Tester la cohérence de la base de connaissances suivante :

• Donner le nombre de modèles de chacune des bases suivantes :

• Donner le nombre de modèles de chacune des bases suivantes :

• Donner le nombre de modèles de chacune des bases suivantes :

• Donner le nombre de modèles de chacune des bases suivantes :

Kb→> ={ ¬a ∨ ¬c, Kb→⊥ ={ a ∨ c,

Kb→> ={ ¬a ∨ ¬c, Kb→⊥ ={ a ∨ c,

Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c}

Kb→> ={¬a ∨ ¬c, a ∨ ¬c, c} Kb→⊥ ={a ∨ c, ¬a ∨ c, ¬c}