Cours LOG Odile Cours 2

Introduction
Le langage propositionnel
La logique propositionnelle comme système formel
La semantique de la logique propositionnelle
Quelques resultats
Logique classique
Cours 2 : Logique propositionnelle
Odile PAPINI
POLYTECH
Universite dAix-Marseille
odile.papini@univ-amu.fr
http://odile.papini.perso.esil.univmed.fr/sources/LOG.html
Odile PAPINI Logique classique
Introduction
Quelques resultats
Plan du cours
1
Introduction
2
3
4
5
Quelques resultats
Introduction
Quelques resultats
Bibliographie I
Delahaye J. P., Outils logiques pour lintelligence
articielle. ,
Eyrolles, Paris, 1986.
Gochet P.& Gribomont P., Logique : methodes pour
linformatique fondamentale.
Langue, Raisonnement, Calcul, Hermes, Paris, 1990.
Kleene S. C., Logique mathematique. ,
Epistemologie, Jacques Gabay, Paris, 1987.
Thayse A.& al., Approche logique de lintelligence
articielle, Tome 1. ,
Informatique, DUNOD, Paris, 1990.
Introduction
Quelques resultats
Bibliographie II
Alliot J.-M., Scheix T., Brisset P. & Garcia F.,
Intelligence articielle et Informatique theorique.,
CEPADUES EDITIONS, Toulouse, 2002.
Introduction
Quelques resultats
Bibliographie 2 I
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
Introduction
Quelques resultats
Intoduction
proposition
concept de proposition :
information atomique contingente
ce qui est ou ce qui nest pas, un fait, une assertion
exemple de propositions
2 + 2 = 4
1 + 1 = 0
Le soleil brille
Il a les yeux rouges
un carre est un polygone
tout homme est mortel
Introduction
Quelques resultats
Le langage propositionnel L
Vocabulaire
un ensemble inni denombrable de variables propositionnelles
ou propositions P
les constantes : 0 (Faux, F ou ) et 1 (Vrai , V, ou )
les connecteurs :
les parenthèses
Introduction
Quelques resultats
Procede 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, P Q, P Q
sont des formules
Introduction
Quelques resultats
Exemples de formules propositionnelles
(P Q) (P Q)
P (Q R)
(P (Q P))
(A B) ((A (B C)) (A C))
A A
Introduction
Quelques resultats
exercice : representation denonce
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 ny a pas de dispute ;
Pierre ne vient pas.
Introduction
Quelques resultats
exercice : representation denonce
Si Didier est lauteur de ce bruit, il est stupide ou depourvu de
principes.
Didier nest ni stupide ni depourvu de principes.
Didier nest pas lauteur de ce bruit.
Introduction
Quelques resultats
système formel
Axiomes
P, Q, R L
A1) (P (Q P))
A2) ((P (Q R)) ((P Q) (P R)))
A3) (( P Q) (Q P))
Introduction
Quelques resultats
système formel
Règles de deduction
P, Q, R L
modus ponens
P, P Q
Q
règle de substitution
remplacer dans un theorème une variable propositionnelle,
partout o` u elle gure, par :
une autre variable propositionnelle
ou une formule bien formee
Introduction
Quelques resultats
système formel
Denitions
P, Q L
D1) P Q =
def
P Q
D2) P Q =
def
(P Q)
D3) P Q =
def
(P Q) (P Q)
Introduction
Quelques resultats
système formel
Deduction
une deduction à partir dhypothèses H
1
, H
2
, , H
m
est une suite
de formules bien formees F
1
, F
2
, , F
p
o` u chaque F
i
est soit :
une hypothèse
un axiome
ou une formule obtenue à partir des règles dinference
(substitution ou modus ponens) appliquees aux formules
placees avant F
i
dans la deduction
notation
H
1
, H
2
, , H
m
F
p
theorème : deduction sans hypothèse F
Introduction
Quelques resultats
système formel
exemple : deduction
Donner une deduction de C à partir de A, B et A (B C),
plus formellement, montrer que :
A, B, A (B C) C
Introduction
Quelques resultats
système 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
Theorème de deduction :
Soient P
1
, , P
n
, Q L
si P
1
, , P
n
Q alors P
1
, , P
n1
(P
n
Q)
Introduction
Quelques resultats
système formel
Quelques theorèmes utiles :
P, Q, R L, toutes les formules suivantes sont des theorèmes :
((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))
Introduction
Quelques resultats
système formel
exercices : deduction
Montrer que P L, (P P)
Montrer que ((q p) r ) (p r )
En utilisant le theorème de deduction montrer que :
(A (B C)) (B (A C))
Introduction
Quelques resultats
semantique de la logique propositionnelle
Interpretation
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)))).
Introduction
Quelques resultats
Table de verite
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
Introduction
Quelques resultats
exercice
Quelles sont les interpretations qui rendent vraie la formule :
(A (B C)) (B (A C)) ?
Introduction
Quelques resultats
quelques denitions
P, Q L et F L
P est une tautologie si pour toute interpretation , (P) = 1, on
ecrit |= P
Q est une consequence logique de P si pour toute interpretation
, si (P) = 1 alors (Q) = 1, on ecrit P |= Q
Q est une consequence logique de F si pour toute interpretation
, tq P F, si (P) = 1 alors (Q) = 1, on ecrit F |= Q
Introduction
Quelques resultats
exercices
Monter que les axiomes A1), A2), A3) sont des tautologies
Est-ce que (p r ) est une tautologie ?
Est -ce que est une consequence logique de ?
= (p q) (p r ), = q r
= (p q) (p q), = p
Introduction
Quelques resultats
quelques denitions
P, Q L et F L
P est satisfaisable ou coherente sil existe une interpretation
tq (P) = 1
F est satisfaisable sil existe une interpretation tq P F,
(P) = 1
P est insatisfaisable ou incoherente si pour toute
interpretation , (P) = 0
F est insatisfaisable si pour toute interpretation , P F
tq (P) = 0
Introduction
Quelques resultats
exercices
les formules suivantes sont-elles coherentes ?
(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}
Introduction
Quelques resultats
Quelques proprietes
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)
Introduction
Quelques resultats
exercice
Montrer :
|= (P Q) ssi P |= Q
|= (P Q) ssi P Q
Introduction
Quelques resultats
la logique propositionnelle
Quelques theorèmes
theorème (dadequation) :
P L si P alors |= P
(les formules qui sont des theorèmes sont des tautologies)
theorème (de completude faible) :
P L si |= P alors P
(les formules qui sont des tautologies sont des theorèmes )
theorème (de completude forte) :
Soit F un ensemble de formules de L, P L
si F |= P alors F P
Introduction
Quelques resultats
logique propositionnelle
Quelques theorèmes
theorème (de compacite) :
Soit F un ensemble de formules de L.
Si toute famille nie F
F est satisfaisable alors F est aussi

satisfaisable.
theorème (de nitude) :
Soit F un ensemble de formules de L. Soit Q L
si F |= Q alors F
F ni tq F
|= Q
theorème (de decidabilite) :
P L , il existe un programme qui, pour toute formule P,
indique en un temps ni si oui ou non P
Introduction
Quelques resultats
logique pour linformatique
formes normales
litteral : une proposition ou la negation dune proposition
clause : disjonction de litteraux
cube : conjonction de litteraux
forme conjonctive normale : une conjonction de clauses
forme disjonctive normale : une disjonction de cubes
theorème (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
Introduction
Quelques resultats
logique pour linformatique : algorithme de normalisation
debut
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 negations
remplacer P par P
application des règles de distributivite
remplacer P (Q R) par (P Q) (P R)
et (P Q) R par (P R) (Q R)
n
Introduction
Quelques resultats
formes normales
exercice
Mettre sous forme CNF :
(a b c)
P (Q R)
((P Q) (R S))
Introduction
Quelques resultats
formes normales
exercice
Mettre sous forme DNF :
(a b c)
P (Q R)
((P Q) (R S))

Cours LOG Odile Cours 2

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Cours LOG Odile Cours 2

Загружено:

Авторское право:

Доступные форматы

Introduction

F est satisfaisable alors F est aussi

Вам также может понравиться