.

Logique des propositions

Damien Nouvel

Damien Nouvel (Inalco)

Logique des propositions

1 / 26

Fondements de la logique

Plan
1. Fondements de la logique
2. Formes normales
3. Drivations logiques
4. Problme / exercice

Damien Nouvel (Inalco)

Logique des propositions

2 / 26

Fondements de la logique

Notions lmentaires

Le monde de la logique formelle classique

Valeurs de vrit : vrai, faux
Monde ouvert (non clos)
Manipulation de propositions

Pas dambigits (tiers exclu)

Monde discret (logique non oue)

Validit dune proposition

Syntaxique : est-elle bien forme ?
Smantique : a-t-elle du sens ?

Validit dun raisonnement

Prmisses : propositions en condition (antcdent)
Conclusion : proposition en consquence

Est-ce que les prmisses sont susantes (et ncessaires) ?

Damien Nouvel (Inalco)

Logique des propositions

3 / 26

Fondements de la logique

Quelques exemples

Raisonnements non valides divers niveaux

Syntaxe
Aristote mortel est
Syntaxe de la prdication
Contrainte lie au langage
Smantique
Tout Socrates est mortel
Smantique de la quantication
Contrainte lie au sens des symboles
Raisonnement
Tout chat est mortel
Or Socrates est mortel
Donc Socrates est un chat ?!
Rgles dinfrence (dduction)

Damien Nouvel (Inalco)

Logique des propositions

4 / 26

Fondements de la logique

Formules bien formes

Langage formel

Formules (dont variables atomiques) : p, q, r

Parenthses (op. syntaxique) : ( et _
)
Ngation (op. unaire) : (ou !, , )
Connecteurs logiques (op. binaires)

Conjonction, et : ^ (ou ., &)

Disjonction, ou : _ (ou +, |)
Implication :
quivalence :

Priorit ( gauche) des oprateurs : (, ), , ^, _, ,

Formules bien formes (dnition rcursive)
Si p est une f.b.f. alors pet(p) aussi
Si p et q sont des f.b.f. alors p ^ q, p _ q, p q et p q aussi
Les autres formules ne sont pas bien formes

Syntaxe (hors-contexte) des formules logiques

Damien Nouvel (Inalco)

Logique des propositions

5 / 26

Fondements de la logique

Arbre dexpression

Dcomposition dune formule sous forme darbre

lments : nuds (ronds) et arcs (traits)
Relations entre nuds : parent, enfant(s), frre(s)
Position des nuds : racine (haut) et feuilles (bas)

Description de la structure de lexpression

Nuds internes : oprateurs
Feuilles : atomes

Exemple
Formule : p _ q ^ r
quivalente (priorit) : ((p) _ ((q) ^ (r))

_.

p
Damien Nouvel (Inalco)

^
q

Logique des propositions

r
6 / 26

Fondements de la logique

Assignations

Association de valeurs des variables atomiques

Les variables atomiques ne se dcomposent pas
Valeurs de vrit V, F (ou 1, 0, J, K)

Permet le calcul des formules

Valeur de vrit pour chaque variable atomique
Connecteurs logiques qui les sparent

Exemple

Formule : p _ q ^ r
Assignation : p = V, q = V et r = V
Calcul : V _ V ^ V = F _ V ^ V = F _ V = V
Assignation : p = V, q = F et r = V
Calcul : V _ F ^ V = F _ F ^ V = F _ F = F
Assignation : p = F, q = F et r = F
Calcul : F _ F ^ F = V _ F ^ F = V _ F = V

Pour n variables, 2n assignations possibles

Damien Nouvel (Inalco)

Logique des propositions

7 / 26

Fondements de la logique

Tables de vrit (assignations)

Ngation
p p
V F
F V

Conjonction
p q
p^q
V V V
V F F
F V F
F F F

Implication
p q
pq
V V V
V F F
F V V
F F V
Damien Nouvel (Inalco)

Disjonction
p q
p_q
V V V
V F V
F V V
F F F
quivalence
p q
pq
V V V
V F F
F V F
F F V

Logique des propositions

8 / 26

Fondements de la logique

Exercice

Ajouter les parenthses, dterminer larbre dexpression et la

table de vrit pour

p ^ q
(p _ q)
p ^ q _ p ^ q
(p ^ q) _ (p ^ r) _ (p ^ r)

Damien Nouvel (Inalco)

Logique des propositions

9 / 26

Fondements de la logique

Problme

Exprimez les relations entre les lments suivants

Transports :

tbus, metro, tram, rer, voiture, taxi, velo, moto, pied, autolibu
Motorisation : tmoteur, pedale, 2roues, 4rouesu
Caractristiques :

tvehicule, elec, public, proprio, location, payant, gratuitu

Damien Nouvel (Inalco)

Logique des propositions

10 / 26

Formes normales

Plan
1. Fondements de la logique
2. Formes normales
3. Drivations logiques
4. Problme / exercice

Damien Nouvel (Inalco)

Logique des propositions

11 / 26

Formes normales

Comparaison de formules
Quelles formules sont quivalentes ?
Identiques

p ^ q r et p ^ q r
Identiques aux parenthses prs

p ^ q r et (p ^ q) r
Identiques une commutation prs
p ^ q r et q ^ p r
Et autres proprits (associativit, distributivit, etc.)
Pour toute assignation, les formules ont mme valeur
p ^ q r et (p ^ q) _ r

Notation avec
Mthode pour dterminer lquivalence ?
Mettre les expressions sous forme normale
Damien Nouvel (Inalco)

Logique des propositions

12 / 26

Formes normales

quivalence de formules logiques

Double ngation
Idempotence
Commutativit
Associativit
Distributivit
Absorption
Contradiction
Tiers-exclus
Lois de De Morgan
Implication
quivalence
Damien Nouvel (Inalco)

p p
p^pp_pp
p^qq^p
p_qq_p
(p ^ q) ^ r p ^ (q ^ r) p ^ q ^ r
(p _ q) _ r p _ (q _ r) p _ q _ r
p _ (q ^ r) (p _ q) ^ (p _ r)
p ^ (q _ r) (p ^ q) _ (p ^ r)
p _ (p ^ q) p
p ^ (p _ q) p
p ^ p F
p _ p V
(p _ q) p ^ q
(p ^ q) p _ q
p q p _ q
p q (p q) ^ (q p) (p ^ q) _ (p ^ q)
Logique des propositions

13 / 26

Formes normales

Formes normales

Systme susant de connecteurs : , ^, _

Littral : variable atomique ou sa ngation (p ou p)
Formes normales
Conjonctive (FNC) : conjonction de disjonctions de littraux
(p _ q) ^ (p _ r)
Disjonctive (FND) : disjonction de conjonctions de littraux
(p ^ q) _ (p ^ r)
Mise sous forme normale
Suppression des connecteurs ,
Rduction des ngations (doubles ngations, lois De Morgan)
Distributivit, commutativit, absorption

Exemple (FNC)
p (q ^ r)
p _ (q ^ r)
p _ (q ^ r)
(p _ q) ^ (p _ r)

Damien Nouvel (Inalco)

Logique des propositions

14 / 26

Formes normales

Exercice

Mettre sous FNC les formules

(p ^ q)
(p q) ^ (q p)
(p ^ q) _ r
pq
(p _ q) _ (p ^ r)

Mettre sous FND la formule

p ^ (p q)

Dire si les quivalences suivantes sont justes

(1)p ^ q _ r (p q) _ r(2)
(1)(p _ q ^ r) p ^ q _ r(2)

Damien Nouvel (Inalco)

Logique des propositions

15 / 26

Formes normales

Mthode des mintermes / maxtermes

Trouver une formule partir de sa table de vrit

Calcul des (min/max)termes pour les formes normales
FND
Minterme : conjonction des littraux qui donnent V
Formule comme disjonction des mintermes
FNC
Maxterme : disjonction des littraux qui donnent F
Formule comme conjonction des maxtermes
Exemple

p
V
V
F
F

q
V
F
V
F

formule
V
V
F
V

(min/max)terme
p^q
p ^ q
p _ q
p ^ q

FND : (p ^ q) _ (p ^ q) _ (p ^ q)
FNC : (p _ q)
Damien Nouvel (Inalco)

Logique des propositions

16 / 26

Formes normales

Exercice

Calcul par (min/max)termes de la formule (p q) ^ (p ^ q)

Table de vrit
p q formule (min/max)terme
V V F
p _ q
V F F
p _ q
F V V
p ^ q
F F V
p ^ q
FND : p ^ q _ p ^ q
FNC : (p _ q) ^ (p _ q)

Damien Nouvel (Inalco)

Logique des propositions

17 / 26

Drivations logiques

Plan
1. Fondements de la logique
2. Formes normales
3. Drivations logiques
4. Problme / exercice

Damien Nouvel (Inalco)

Logique des propositions

18 / 26

Drivations logiques

Thormes et dmonstrations

Systme logique
Thormes : ce que lon peut dmontrer
Symbole de la drivation logique (dmonstration) : $
Existence daxiomes (thormes admis)
Utilisation de rgles dinfrence (prmisses, conclusion)
Mcanismes dinterprtation des formules
Le systme est-il consistant, complet ?

Exemple de systme logique

Un axiome est un thorme : $ p
Modus ponens : p, p q $ q
Modus tollens : p q, q $ p

Autre notation

Damien Nouvel (Inalco)

p
pq
q

(modus ponens)

Logique des propositions

19 / 26

Drivations logiques

Interprtations et modles

Interprtations
Lien entre smantique et assignations
Une formule peut tre
Valide : vraie quelle que soit linterprtation (tautologie)
Satisable : il existe une interprtation qui la rend vraie
Contingente : il existe une interprtation qui la rend vraie et
une autre qui la rend fausse
Insatisable : il nexiste pas dinterprtation qui la rend vraie

Modles de formule
Interprtations qui rendent la formule vraie

En calcul des propositions, interprtations dans {V,F}

Bien plus approfondies en logique des prdicats
(quantication)
Damien Nouvel (Inalco)

Logique des propositions

20 / 26

Drivations logiques

Rsolution par rfutation

Principe de la rfutation
Dmontrer que q est la consquence logique de p1 , p2 . . . pn

dmontrer
dmontrer
dmontrer
dmontrer
dmontrer

que
que
que
que
que

p1 , p2 . . . pn $ q
p1 , p2 . . . pn implique q
(p1 ^ p2 . . . pn ) _ q est valide
((p1 ^ p2 . . . pn ) _ q) est insatisable
p1 ^ p2 . . . pn ^ q est insatisable

Exemple
Axiomes
$ (p q) _ (p r) (1)
$ p ^ q (2)
Dmonstration que 1, 2 $ r par rfutation
((p q) _ (p r)) ^ (p ^ q) ^ (r)
(p _ q _ p _ r) ^ (p ^ q ^ r)
(p _ q _ r) ^ (p ^ q ^ r)
(p _ q _ r) ^ (p _ q _ r) (contradiction A ^ A)

Damien Nouvel (Inalco)

Logique des propositions

21 / 26

Drivations logiques

Exercice

Montrer par rfutation

(p q) $ (q p)

(p _ q) ^ (q _ p) . . . contradiction
p q, q r $ p r

(p _ q) ^ (q _ r) ^ ((p _ r))
(p _ q) ^ (q _ r) ^ p ^ r
(p ^ (p _ q)) ^ (r ^ (q _ r))
((p ^ p) _ (p ^ q)) ^ ((r ^ q) _ ((r ^ r))
(p ^ q) ^ (r ^ q)
p ^ q ^ q ^ r contradiction (q ^ q)
((p r) _ (q r)) ^ r $ (p _ q)
p _ q r, p _ s, s $ r

Damien Nouvel (Inalco)

Logique des propositions

22 / 26

Drivations logiques

Exercice

Montrer par rfutation

(p q) $ (q p)
p q, q r $ p r
((p r) _ (q r)) ^ r $ (p _ q)

((p _ r) _ (q _ r)) ^ r ^ (p _ q)
(p _ r _ q _ r) ^ r ^ p ^ q
(p _ q _ r) ^ p ^ q ^ r
(p ^ q ^ r) ^ (p ^ q ^ r) contradiction
p _ q r, p _ s, s $ r
((p _ q) _ r) ^ (p _ s) ^ s ^ r
((p ^ q) _ r) ^ (p ^ s ^ r _ s ^ s ^ r)
(p _ r) ^ (q _ r) ^ p ^ s ^ r
(p ^ r) ^ (p ^ r) ^ (q _ r) ^ s contradiction

Damien Nouvel (Inalco)

Logique des propositions

22 / 26

Drivations logiques

Compltude et cohrence des systmes logiques

Cohrence (ou consistance)

Il nexiste aucune formule telle quelle mme et sa ngation

soient consquences du systme

Programme de Hilbert (Hilbert, 1900)
Contre-exemple : p, q, p q
Contre-exemple : paradoxe du barbier (Russel, 1903)

Compltude
Toute proposition que lon sait smantiquement correcte peut

tre drive par le systme

Exemple : calcul des prdicats du premier ordre (Gdel, 1929)
Contre-exemple : thorme dincompltude (Gdel, 1931)

Damien Nouvel (Inalco)

Logique des propositions

23 / 26

Problme / exercice

Plan
1. Fondements de la logique
2. Formes normales
3. Drivations logiques
4. Problme / exercice

Damien Nouvel (Inalco)

Logique des propositions

24 / 26

Problme / exercice

Cuisine logique

Sujet : un tudiant doit manger la veille dun examen

Soient les (assertions) propositions suivantes

(1)
(2)
(3)
(4)
(5)

Je peux me faire des ptes ou aller chercher une pizza

Tous les mardis et jeudis, il y a le camion pizza
Si je mange mal et que je me couche tard je rate lexamen
Si je ne rvise pas mon cours, je vais rater mon examen
Si je rvise mon cours, je vais me coucher tard

Damien Nouvel (Inalco)

Logique des propositions

25 / 26

Problme / exercice

Cuisine logique (suite)

Questions
Traduire toutes les propositions en logique
Donner les arbres dexpression des propositions (2) et (3)
Mettre la formule (3) sous forme normale conjonctive
Faire la table de vrit du (4), puis sa FNC par minmax
Prouver par rfutation que le mercredi, ltudiant mangera
ncessairement des ptes
Prouver que pour russir lexamen ltudiant se couchera tard
En supposant quil ne sait pas cuisiner (les ptes seront
rates), que mangera ltudiant si lon est un jeudi et quil
veut russir lexamen ?
Que se serait-il pass si lexamen tait un lundi ?

Damien Nouvel (Inalco)

Logique des propositions

26 / 26