Académique Documents
Professionnel Documents
Culture Documents
Chapitre 1 Logique Formelle
Chapitre 1 Logique Formelle
Logique formelle
1
Logique formelle
Chapitre 1
Calcul propositionnel
Logique d’ordre 0
CP0
I – Syntaxe
1. Définition du langage
2. Arbre de décomposition d’une formule
3. Substitution dans une formule
II – Sémantique
2
Calcul des propositions Syntaxe
1- Définition du langage
Un langage logique est défini par une syntaxe, qui est définie
par un ensemble de symboles (alphabet) et un ensemble de
règles permettant de combiner ces symboles sous forme de
mots (séquence de symboles) appelées formules (bien
formées). C’est l’aspect structurel et grammatical du langage.
3
Calcul des propositions Syntaxe
A0 = R 0 U { , , , , } U { F,V }
4
Calcul des propositions Syntaxe
Autrement dit
A ∈ L0 ( A ) ∈ L0
A , B ∈ L0 ( A B ) ∈ L0
( A B ) ∈ L0
( A B ) ∈ L0
( A B ) ∈ L0
5
Calcul des propositions Syntaxe
Exemples
Les mots suivants sont des formules
(p (( ( q r )) p )) (pq)
(F V) ((p q)q)
( p ) (( p ) ( q ))
F q
Remarque
On peut enlever le parenthésage en l’absence de toute
ambiguïté
+
Ordre de priorité :
priorité la plus faible
(par convention)
-
6
Calcul des propositions Syntaxe
( ( ( ( p q ) ( r s ) ) ( p ) ) ( u v ) )
2 5 3 6 1 7 4
La formule p (q r) s t p (p r) t
sera parenthésée :
( ( ( p ( ( (q r ) s ) ( t p ) ) ) ( (p r )) ) t )
A11: p ( q p ) A12 : ( q r )
A111 A1121 A1122 A121 A122
A112
A2 : ( q p )
A21 A22
7
Calcul des propositions Syntaxe
A1 A2
A1121 A1122 q r
A11211 A11221
q p
ENSI Logique formelle 15
q
p p
q r
Les opérateurs à traiter
en premier se trouvent
q p au bas de l’arbre
8
Calcul des propositions Syntaxe
Théorème de lecture unique
Pour toute formule A ∈ L0 , un et un seul des 3 cas suivants se
présente :
1. A ∈ R 0 U { V, F }
2. il existe une unique formule B ∈ L0 telle que A = ( B)
Corollaire
L’arbre de décomposition d’une formule est unique
Remarque
On dit que le langage des propositions est non ambigu
9
Calcul des propositions Syntaxe
Autre notation : A (B / p)
Exemple
A : p (q p) B: q r
A [ p ← B ] = B (q B)
= (q r) ( q (q r))
10
Calcul des propositions Syntaxe
A [ p1 ← B1 , p2 ← B2 , … , pn ← Bn ]
Théorème
Soient
11
Calcul des propositions Syntaxe
Exemples
A: p q B: q r C: p r
• A [ p ← B, q ← C] = B C = (q r ) (p r )
• A [r ← C] = A
Remarque
12
Calcul des propositions Syntaxe
Exemples
A: p q B : p q C: p q
• A [ p ← B, q ← C] =( p q ) ( p q )
(A [ p ← B ] ) [ q ← C] = ( ( p q ) q ) [ q ← C]
= ( p ( p q) ) ( p q)
• A [ q ← C, p ← B] = ( p q ) ( p q )
• (A [ q ← C] ) [ p ← B ] = ( p q ) ( p q )
= ( p q ) ( ( p q ) q)
Remarque
13
Calcul des propositions
I – Syntaxe
II – Sémantique
1. Interprétation
2. Satisfiabilité - Validité
3. Equivalence et conséquence sémantiques
4. Système complet de connecteurs
5. Satisfiabilité d’un ensemble de formules
6. Application
7. Formes normales
ENSI Logique formelle 27
14
Calcul des propositions Sémantique
1. Algèbre de Boole
1.1 Définition
L’algèbre de Boole est formée par :
• un ensemble de valeurs de vérité
B = { V B , FB }
• un ensemble d’opérateurs booléens
{ B , B , B , B , B }
suite
b b’ B b b B b’ b B b’ b B b’ b B b’
VB VB FB VB VB VB VB
VB FB FB FB VB FB FB
FB VB VB FB VB VB FB
FB FB VB FB FB VB VB
15
Calcul des propositions Sémantique
Il publia :
- « Mathematical Analysis of Logic » (1847)
- « An investigation into the laws of thought, on which are founded the
mathematical theories of logic and probabilities » (1854)
Où il développe une nouvelle forme de logique, à la fois symbolique et
mathématique. Le but : traduire des idées et des concepts en équations,
leur appliquer certaines lois et retraduire le résultat en termes logiques.
2. Interprétation
2.1 Définitions
• Une interprétation (ou distribution de valeurs de vérité),
notée I, est une application de R 0 dans l’ensemble B qui
associe à chaque atome une valeur de vérité.
suite
16
Calcul des propositions Sémantique
Définitions (suite)
Une interprétation peut être étendue à l’ensemble des
formules L0 (appelée aussi interprétation) par le morphisme
suivant :
• [ V ]I = V B [ F ] I = FB
• [ A ]I = B [ A ]I
• [ A B ]I = [ A ]I B [ B ]I
• [ A B ]I = [ A ] I B [ B ]I
• [ A B ]I = [ A ] I B [ B ] I
•ENSI[ A B ]I = [ A ]I Logique
B [ formelle
B ]I 33
Remarque
L’extension de l’application I de R 0 à L0 est unique vu
l’unicité de l’arbre de décomposition
17
Calcul des propositions Sémantique
Exemple
Soit A : p (q p)
[ A ]I = [ p (q p) ]I = [ p ]I B [(q p) ]I
= [ p ]I B ([q ]I B [p ]I)
18
Calcul des propositions Sémantique
Table de vérité de A : p (q p)
Table de vérité de p , p q , p q , p q , p q
19
Calcul des propositions Sémantique
Exemples
• Table de vérité de B : ( ( (p q) p) p )
p q pq (p q) p B
V V V V V
V F F F V
F V V F V
F F V F V
suite
• Table de vérité de C : ( (p q) (p q) )
p q p q p q C
V V V F F
V F F V F
F V V F F
F F V F F
20
Calcul des propositions Sémantique
3- Satisfiabilité - Validité
3.1 Définition
Soient I une interprétation et A une formule
21
Calcul des propositions Sémantique
p ¬p (p ∧ ¬p)
V F F
F V F
22
Calcul des propositions Sémantique
Exemples
La formule ((p q) p ) p est une tautologie
Remarques
Si une formule est valide (tautologie) alors elle est
satisfiable. L’inverse n’est pas vrai
23
Calcul des propositions Sémantique
Remarque
Pour n’importe quelle formule propositionnelle, il est possible
de savoir si la formule est valide, invalide, satisfiable ou
insatisfiable ► Il suffit de dresser la table de vérité
Donc le calcul des propositions est décidable : il existe un
algorithme qui, pour toute formule propositionnelle, nous dit
si «oui» ou «non» la formule est une tautologie (notion à
étudier ultérieurement)
C’est une propriété fondamentale du calcul des propositions
3.6 Propositions
24
Calcul des propositions Sémantique
Preuve
A est une tautologie ssi pour tout I on a [ A ]I = V
comme [ A ]I = [ A ]I
alors pour tout I on a [ A ]I = [ A ]I = V = F
donc A est une contradiction
3.7 Propriétés
25
Calcul des propositions Sémantique
Preuve
Pour tout I on a :
1er cas : [ p ]I = V
[ p p]I = [ p ]I [ p ]I = V F = V
2eme cas : [ p ]I = F alors [ p ]I = V
[ p p]I = [ p ]I [ p ]I = F V = V
donc (p p) est une tautologie
Pour tout I on a :
1er cas : [ p ]I = V
[ p p]I = [ p ]I [ p ]I = V F = F
2eme cas : [ p ]I = F alors [ p ]I = V
[ p p]I = [ p ]I [ p ]I = F V = F
donc (p p) est une contradiction
ENSI Logique formelle 51
Proposition
Soient
• A , B1, B2, …, Bn des formules propositionnelles
• p1, p2, …, pn des variables propositionnelles
26
Calcul des propositions Sémantique
3. Si B ≡ A et ╞ B alors ╞A
Remarque
• La propriété 1 est très importante, elle relie le ‘ logique’, le
‘ mathématique’ et la conséquence sémantique (╞)
• De même la propriété 2 pour le ‘ logique’, le ‘
mathématique’ et l’équivalence sémantique ( ≡ )
27
Calcul des propositions Sémantique
Preuve propriété 1
1. (seulement si) B╞A
Soit I une interprétation :
si [ B ]I = V , alors [ A ]I = V, donc [ B A ]I = V
si [ B ]I = F , alors [ B A ]I = V
donc ╞ (B A)
(si) ╞ (B A)
alors pour tout I, [ B A ]I = V, donc [ B ]I [ A ]I =V
en particulier si [ B ]I = V alors forcement [ A ]I = V
donc B ╞ A
2. 3. Exo.
ENSI Logique formelle 55
28
Calcul des propositions Sémantique
• Si B ≡ A et ╞ B alors ╞ A
Si B ≡ A ssi ╞ (A B) (prop1), donc pour toute interprétation
I on a
[A B]I=V, donc [A]I[B]I=V,
Comme en plus on a ╞ B, c’est-à-dire, que I, [B]I=V, on en
conclut que pour toute interprétation I on a [A] I =V
D’où ╞ A
29
Calcul des propositions Sémantique
Propriétés
1. Si A ≡ B alors A ≡ B
2. Si A ≡ B et C ≡ D alors
• (A C) ≡ (B D)
• (A C) ≡ (B D)
• (A C) ≡ (B D)
• (A C) ≡ (B D)
Preuve
2. Exo.
Remarque
Si A ≡ B alors A et B ont forcément le même modèle
30
Calcul des propositions Sémantique
Théorème
Le calcul propositionnel est muni d’une structure d’algèbre de
Boole
Associativité A (B C) ≡ (A B ) C
A (B C) ≡ (A B ) C
Commutativité (A B) ≡ (B A)
(A B) ≡ (B A)
Distributivité A ( B C) ≡ (A B ) (A C )
A ( B C) ≡ (A B ) (A C )
suite
ENSI Logique formelle 61
Théorème (suite)
Lois de De Morgan (A B ) ≡ A B
(A B ) ≡ A B
Idempotence (A A) ≡ A
(A A) ≡ A
Absorption A ( A B) ≡ A
A ( A B) ≡ A
suite
31
Calcul des propositions Sémantique
Théorème (suite)
Eléments neutres
(A V ) ≡ A (A F) ≡ A
Eléments absorbants
(A F) ≡ F (A V ) ≡ V
Tiers exclu
(A A) ≡ F (A A) ≡ V
suite
Théorème (suite)
Inverse
V ≡ F F ≡ V
Involution A ≡ A
Preuve
Par table de vérité (exo)
32
Calcul des propositions Sémantique
33
Calcul des propositions Sémantique
Théorème de compacité
Version 1
Pour tout ensemble ℰ de propositions
ℰ est satisfiable ssi ℰ est finiment satisfiable
Version 2
34
Calcul des propositions Sémantique
Version 3
35
Calcul des propositions Sémantique
Propositions (suite)
6. ℰ U {A} ╞ B ssi ℰ ╞ (A B)
7. ℰ ╞ ( A B ) ssi ℰ ╞ A et ℰ╞B
8. { A1, …, An } ╞ B ssi ╞ (( A1 …. An ) B)
36
Calcul des propositions Sémantique
Preuve TD 1
Remarque
Un ensemble de formules peut être vu comme une
conjonction de formules
6- Application
Soit l’énoncé suivant :
« Si je travaille bien alors je vais réussir. Si je suis malade , je
ne peux pas bien travailler. Or je suis malade mais je
travaille bien. Donc je vais réussir »
37
Calcul des propositions Sémantique
2. Modélisation de l’énoncé :
H1 : «Si je travaille bien alors je vais réussir» tr
H2 : «Si je suis malade , je ne peux pas bien travailler»
mt
H3 : «je suis malade mais je travaille bien» mt
C : «je vais réussir» r
Remarque
On peut voir l’énoncé comme suit
{H1, H2} ╞ (H3 C)
suite
38
Calcul des propositions Sémantique
Remarque
L’énoncé est correct : par table de vérité, nous avons bien
{H1, H2, H3} ╞ C
Conjonction A B
A et B ; A mais B ; A quoique B ; A tandis que B
Ou exclusif A ⊕ B ≡ (A B) ( A B)
A ou B mais pas les deux ; soit A, soit (exclusivement) B
(« aut » en latin)
suite
39
Calcul des propositions Sémantique
Implication A B
si / lorsque A, alors / nécessairement/ c’est que B
A implique / entraîne B
A est condition suffisante de / suffit à B
A seulement si / que si B
B si /lorsque A
B est condition nécessaire de A
suite
Equivalence A B
A (est) équivalent à B
A si et seulement si B
A si B et réciproquement
• A ssi B : A seulement si B (A B) ; A si B (A B)
• A cns B : A condition suffisante B (A B)
A condition nécessaire B (A B)
40
Calcul des propositions Sémantique
Définition
Exemples
car (p q) ≡ ( p q ) ( q p )
suite
41
Calcul des propositions Sémantique
car (p q) ≡ ( p q)
8- Formes normales
Définition
On appelle littéral un atome ou une négation d’atome
(ex. : p , p , …)
42
Calcul des propositions Sémantique
Définition (suite)
Exemples
43
Calcul des propositions Sémantique
suite
• A (B C) ≡ (A B ) (A C )
(pour obtenir une FNC)
• A ( B C) ≡ (A B ) (A C )
(pour obtenir une FND)
44
Calcul des propositions Sémantique
Théorème
Toute formule admet une FNC et une FND et qui sont
sémantiquement équivalentes
Remarque
Les FNC et les FND pour une formule donnée ne sont pas
uniques mais elles sont toutes sémantiquement équivalentes
(syntaxiquement différentes
mais sémantiquement équivalentes )
45