Vous êtes sur la page 1sur 34

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Logique classique

Cours 2 : Logique propositionnelle

Odile PAPINI

POLYTECH Universit´e d’Aix-Marseille odile.papini@univ-amu.fr http://odile.papini.perso.esil.univmed.fr/sources/LOG.html

odile.papini@univ-amu.fr http://odile.papini.perso.esil.univmed.fr/sources/LOG.html Odile PAPINI Logique classique

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Plan du cours

1 Introduction

2 Le langage propositionnel

3 La logique propositionnelle comme syst`eme formel

4 La s´emantique de la logique propositionnelle

5 Quelques r´esultats

Odile PAPINI

syst`eme formel 4 La s´emantique de la logique propositionnelle 5 Quelques r´esultats Odile PAPINI Logique classique

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Bibliographie I

Delahaye J. P., Outils logiques pour l’intelligence artificielle. , Eyrolles, Paris, 1986. , Outils logiques pour l’intelligence artificielle. , Eyrolles, Paris, 1986.

Gochet P.& Gribomont P., Logique : m´ethodes pour l’informatique fondamentale. Langue, Raisonnement, Calcul, Hermes, Paris, 1990. , Logique : m´ethodes pour l’informatique fondamentale. Langue, Raisonnement, Calcul, Hermes, Paris, 1990.

Kleene S. C., Logique math´ematique. , Epist´emologie, Jacques Gabay, Paris, 1987. , Logique math´ematique. , Epist´emologie, Jacques Gabay, Paris, 1987.

Thayse A.& al., Approche logique de l’intelligence artificielle, Tome 1. , Informatique, DUNOD, Paris, 1990. , Approche logique de l’intelligence artificielle, Tome 1. , Informatique, DUNOD, Paris, 1990.

logique de l’intelligence artificielle, Tome 1. , Informatique, DUNOD, Paris, 1990. Odile PAPINI Logique classique

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Bibliographie II

propositionnelle Quelques r´esultats Bibliographie II Alliot J.-M., Scheix T., Brisset P. & Garcia F. ,

Alliot J.-M., Scheix T., Brisset P. & Garcia F., Intelligence artificielle et Informatique th´eorique., CEPADUES EDITIONS, Toulouse, 2002.

artificielle et Informatique th´eorique. , CEPADUES EDITIONS, Toulouse, 2002. Odile PAPINI Logique classique

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Bibliographie 2 I

propositionnelle Quelques r´esultats Bibliographie 2 I Support de cours logique propositionnelle http

Support de cours logique propositionnelle

http ://www.irit.fr/ Andreas.Herzig/C/prop.html http ://www.grappa.univ- lille3.fr/ champavere/Enseignement/0607/l2miashs /ia/logique.pdf http ://www-lipn.univ-paris13.fr/ levy/pdf/CoursLogMod.pdf

Exercices http ://home.etu.unige.ch/ guigong3/TPdeLogique.html http ://users.info.unicaen.fr/ zanutti/logique/ http ://liris.cnrs.fr/ amille/enseignements/emiage/ supportsIA/logique/logique propositions.pdf

amille/enseignements/emiage/ supports − IA/logique/logique propositions.pdf Odile PAPINI Logique classique

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Intoduction

proposition

concept de proposition :

information atomique contingente

ce qui est

ou

ce qui n’est pas,

un fait,

une assertion

exemple de propositions

2 + 2 = 4 1 + 1 = 0 Le soleil brille Il a
2 + 2 = 4
1 + 1 = 0
Le soleil brille
Il a les yeux rouges
un carr´e est un polygone
tout homme est mortel · · ·
Odile PAPINI
Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Le langage propositionnel L

Vocabulaire

un ensemble infini d´enombrable de variables propositionnelles ou propositions P

les constantes : 0 (Faux, F

ou ) et 1 (Vrai , V , ou )

les connecteurs :

¬

les parenth`eses

, V , ou ) les connecteurs : ¬ ∧ ∨ → ↔ les parenth`eses Odile

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Le langage propositionnel

Proc´ed´e de formation des formules de L

(ou 0 ou F ) : est une formule

(ou 1 ou V ) : est une formule

p : une variable propositionnelle est une formule

si P et Q sont des formules alors

¬ P,

P Q,

P Q,

sont des formules

P Q,

P Q

alors ¬ P , P ∧ Q , P ∨ Q , sont des formules P

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Le langage propositionnel

Exemples de formules propositionnelles

(¬P Q) (P ∧ ¬Q)

P (Q R)

(P (Q P))

(A B) ((A (B C )) (A C ))

¬¬A A

)) ( A → B ) → (( A → ( B → C )) →

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Le langage propositionnel

exercice : repr´esentation d’´enonc´e

Si Pierre vient, on joue aux cartes ; Si Pierre et Jean viennent, il y a des disputes ; Si on ne joue pas aux cartes, il n’y a pas de dispute ; Pierre ne vient pas.

disputes ; Si on ne joue pas aux cartes, il n’y a pas de dispute ;

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

Le langage propositionnel

exercice : repr´esentation d’´enonc´e

Si Didier est l’auteur de ce bruit, il est stupide ou d´epourvu de principes.

Didier n’est ni stupide ni d´epourvu de principes.

Didier n’est pas l’auteur de ce bruit.

n’est ni stupide ni d´epourvu de principes. Didier n’est pas l’auteur de ce bruit. Odile PAPINI

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

syst`eme formel

propositionnelle Quelques r´esultats syst`eme formel Axiomes ∀ P , Q , R ∈ L A1) (

Axiomes P, Q, R ∈ L

A1)

(P (Q P))

A2)

((P (Q R)) ((P Q) (P R)))

A3)

((¬ P → ¬ Q) (Q P))

(( P → Q ) → ( P → R ))) A3) (( ¬ P →

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

syst`eme formel

R`egles de d´eduction

P, Q, R ∈ L

modus ponens

P, P Q

Q

r`egle de substitution remplacer dans un th´eor`eme une variable propositionnelle, partout o`u elle figure, par :

une autre variable propositionnelle ou une formule bien form´ee

Odile PAPINI

Logique classique

o`u elle figure, par : une autre variable propositionnelle ou une formule bien form´ee Odile PAPINI

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

syst`eme formel

propositionnelle Quelques r´esultats syst`eme formel D´efinitions ∀ P , Q ∈ L D1) P → Q

D´efinitions P, Q ∈ L

D1)

P Q = def ¬P Q

D2)

P Q = def ¬(¬P ∨ ¬Q)

D3)

P Q = def (¬P Q) (P ∨ ¬Q)

¬ P ∨ ¬ Q ) D3) P ↔ Q = d e f ( ¬

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

syst`eme formel

D´eduction

une d´eduction `a partir d’hypoth`eses H 1 , H 2 , ··· , H m est une suite de formules bien form´ees F 1 , F 2 , ··· , F p o`u chaque F i est soit :

une hypoth`ese

un axiome

ou une formule obtenue `a partir des r`egles d’inf´erence (substitution ou modus ponens) appliqu´ees aux formules plac´ees avant F i dans la d´eduction

notation

H 1 , H 2 , ··· , H m F p th´eor`eme : d´eduction
H 1 , H 2 , ··· , H m F p
th´eor`eme : d´eduction sans hypoth`ese F
Odile PAPINI
Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

syst`eme formel

exemple : d´eduction

Donner une d´eduction de C `a partir de A, B et A (B C ), plus formellement, montrer que :

A, B, A (B C)

C

→ ( B → C ), plus formellement, montrer que : A , B , A

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

syst`eme formel

Proposition :

P ∈ L

(P P)

Proposition :

P 1 , ··· , P n1 ∈ L

si

P 1 , ··· , P n1 (P n Q)

alors

P 1 , ··· , P n Q

Th´eor`eme de d´eduction :

Soient P 1 , ··· , P n , Q ∈ L

si

P 1 , ··· , P n Q

alors

P 1 , ··· , P n1 (P n Q)

··· , P n Q alors P 1 , ··· , P n − 1 (

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

syst`eme formel

Quelques th´eor`emes utiles :

∀P, Q, R ∈ L, toutes les formules suivantes sont des th´eor`emes : ((P →
∀P, Q, R ∈ L, toutes les formules suivantes sont des th´eor`emes :
((P → Q) → ((Q → R) → (P → R)))
(P → ((P → Q) → Q))
(¬P → (P → Q))
(¬¬P → P)
(P → ¬¬P)
((P → Q) → (¬Q → ¬P))
(P → (¬Q → ¬(P → Q)))
((Q → P) → ((¬Q → P) → P))
Odile PAPINI
Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

syst`eme formel

exercices : d´eduction

Montrer que P ∈ L, (P P)

Montrer que ((q p) r ) (p r )

En utilisant le th´eor`eme de d´eduction montrer que :

(A (B C )) (B (A C ))

de d´eduction montrer que : ( A → ( B → C )) → ( B

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

Interpr´etation

toute application σ de P (ensemble des propositions) dans {0, 1} telle que : σ(⊥)
toute application σ de P (ensemble des propositions) dans {0, 1}
telle que :
σ(⊥) = 0 et σ( ) = 1
∀P, Q ∈ L,
σ(¬P) = 1 − σ(P)
σ(P ∨ Q) = max(σ(P), σ(Q))
σ(P ∧ Q) = min(σ(P), σ(Q))
σ(P → Q) = max((1 − σ(P)), σ(Q))
σ(P ↔ Q) =
min(max((1 − σ(P)), σ(Q)), max(σ(P), (1 − σ(Q)))).
Odile PAPINI
Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

Table de v´erit´e P Q P ∨ Q P ∧ Q P → Q P
Table de v´erit´e
P
Q
P ∨ Q
P ∧ Q
P → Q
P ↔ Q
1
1
1
1
1
1
1
0
1
0
0
0
0
1
1
0
1
0
0
0
0
0
1
1
Q P → Q P ↔ Q 1 1 1 1 1 1 1 0 1

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

exercice

Quelles sont les interpr´etations qui rendent vraie la formule :

(A (B C )) (B (A C )) ?

rendent vraie la formule : ( A → ( B → C )) → ( B

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

quelques d´efinitions

P, Q ∈ L

et

F ⊂ L

P est une tautologie

´ecrit |= P

si pour toute interpr´etation σ, σ(P) = 1, on

Q est une cons´equence logique de P si pour toute interpr´etation

σ, si σ(P) = 1 alors σ(Q) = 1, on ´ecrit P |= Q

Q est une cons´equence logique de F si pour toute interpr´etation

σ, tq P ∈ F , si σ(P) = 1 alors σ(Q) = 1, on ´ecrit F |= Q

σ , tq ∀ P ∈ F , si σ ( P ) = 1 alors

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

exercices Monter que les axiomes A1), A2), A3) sont des tautologies Est-ce que (p →
exercices
Monter que les axiomes A1), A2), A3) sont des tautologies
Est-ce que (p → r ) est une tautologie ?
Est -ce que ψ est une cons´equence logique de φ ?
φ =
(p ∨ q) ∧ (¬p ∨ r ),
ψ =
q ∧ r
φ = (p → q) ∧ (p → ¬q),
ψ = ¬p
φ = (p ∨ q) ∧ (¬p ∨ r ), ψ = q ∧ r φ

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

quelques d´efinitions

P, Q ∈ L

et

F ⊂ L

P est satisfaisable ou coh´erente s’il existe une interpr´etation

σ tq σ(P) = 1

F est satisfaisable s’il existe une interpr´etation σ tq P ∈ F ,

σ(P) = 1

P est insatisfaisable ou incoh´erente si pour toute

interpr´etation σ, σ(P) = 0

F est insatisfaisable si pour toute interpr´etation σ, P ∈ F

tq σ(P) = 0

est insatisfaisable si pour toute interpr´etation σ , ∃ P ∈ F tq σ ( P

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

exercices les formules suivantes sont-elles coh´erentes ? (a ∨ ¬b) ∧ (¬a ∨ b) ∧
exercices
les formules suivantes sont-elles coh´erentes ?
(a ∨ ¬b) ∧ (¬a ∨ b) ∧ ¬(a ↔
b)
b → (¬c → ¬(b → c))
les ensembles de formules suivants sont-ils satisfaisables ?
F = {a ∨ b ∨ c,
¬a ∨ b, ¬a ∨ c,
¬b, ¬c}
G = {a ∨ b, ¬a, ¬b}
? F = {a ∨ b ∨ c, ¬a ∨ b, ¬a ∨ c, ¬b, ¬c}

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

r´esultats s´emantique de la logique propositionnelle Quelques propri´et´es ∀ P , Q ∈ L , |

Quelques propri´et´es P, Q ∈ L,

|= (P Q) ssi P |= Q

|= (P Q) ssi P Q

si |= P et |= (P Q) alors |= Q

|= (P Q) ssi |= P et |= Q

si |= P ou |= Q alors |= (P Q)

= ( P ∧ Q ) ssi | = P et | = Q si |

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

s´emantique de la logique propositionnelle

exercice Montrer : |= (P → Q) ssi P |= Q |= (P ↔ Q)
exercice
Montrer :
|= (P
→ Q) ssi
P
|= Q
|= (P
↔ Q) ssi
P ≡ Q
exercice Montrer : |= (P → Q) ssi P |= Q |= (P ↔ Q) ssi

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

la logique propositionnelle

Quelques th´eor`emes

th´eor`eme (d’ad´equation) : ∀P ∈ L si P alors |= P (les formules qui sont
th´eor`eme (d’ad´equation) :
∀P ∈ L
si P alors |= P
(les formules qui sont des th´eor`emes sont des tautologies)
th´eor`eme (de compl´etude faible) :
∀P ∈ L
si |= P alors P
(les formules qui sont des tautologies sont des th´eor`emes )
th´eor`eme (de compl´etude forte) :
Soit F un ensemble de formules de L, ∀P ∈ L
si F |= P alors F P
Odile PAPINI
Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

logique propositionnelle

Quelques th´eor`emes

th´eor`eme (de compacit´e) :

Soit F un ensemble de formules de L. Si toute famille finie F ⊂ F est satisfaisable alors F est aussi satisfaisable.

th´eor`eme (de finitude) :

Soit F un ensemble de formules de L. Soit Q ∈ L si F |= Q alors ∃F ⊂ F fini tq F |= Q

th´eor`eme (de d´ecidabilit´e) :

P ∈ L

, il existe un programme qui, pour toute formule P,

indique en un temps fini si oui ou non P

Odile PAPINI

Logique classique

un programme qui, pour toute formule P , indique en un temps fini si oui ou

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

logique pour l’informatique

formes normales

litt´eral

: une proposition ou la n´egation d’une proposition

clause

: disjonction de litt´eraux

cube

: conjonction de litt´eraux

forme conjonctive normale

forme disjonctive normale : une disjonction de cubes

: une conjonction de clauses

th´eor`eme (de normalisation) :

P ∈ L, P admet une forme conjonctive normale qui lui est ´equivalente

P ∈ L, P admet une forme disjonctive normale qui lui est ´equivalente

∀ P ∈ L , P admet une forme disjonctive normale qui lui est ´equivalente Odile

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

logique pour l’informatique : algorithme de normalisation

d´ebut

´elimination des connecteurs et remplacer P Q par (P Q) (Q P) puis remplacer P Q par ¬P Q

application des lois de Morgan remplacer ¬(P Q) par ¬P ∨ ¬Q et ¬(P Q) par ¬P ∧ ¬Q

´elimination des doubles n´egations remplacer ¬¬P par P

application des r`egles de distributivit´e remplacer P (Q R) par (P Q) (P R) et (P Q) R par (P R) (Q R)

fin

( P ∨ R ) et ( P ∧ Q ) ∨ R par ( P

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

formes normales

exercice Mettre sous forme CNF : ¬(a ∨ b → c) P → (Q →
exercice
Mettre sous forme CNF :
¬(a ∨ b → c)
P → (Q
→ R)
¬((P → Q) ∧ (R → S))
Mettre sous forme CNF : ¬(a ∨ b → c) P → (Q → R) ¬((P

Odile PAPINI

Logique classique

Introduction Le langage propositionnel La logique propositionnelle comme syst`eme formel La s´emantique de la logique propositionnelle Quelques r´esultats

formes normales

exercice Mettre sous forme DNF : ¬(a ∨ b → c) P → (Q →
exercice
Mettre sous forme DNF :
¬(a ∨ b → c)
P → (Q
→ R)
¬((P → Q) ∧ (R → S))
Mettre sous forme DNF : ¬(a ∨ b → c) P → (Q → R) ¬((P

Odile PAPINI

Logique classique