Chapitre 2 LOGIQUE PROPOSITIONNELLE

La logique est dfinie traditionnellement comme la science qui tudie la validit des propositions et des dmonstrations par des procds qui analysent la structure formelle des objets et non leur contenu (signification). Cest une thorie de linfrence formelle du

raisonnement, cest dire des relations dimplication entre un ensemble dhypothses et de conclusions indpendamment de la vracit de telle ou de telle hypothse.

Nous tudions ici la logique mathmatique en tant quinformaticien, cest dire que nous lutilisons comme formalisme. Trois notions fondamentales en logique : Langage : construction et formation des formules logiques partir dun alphabet de symboles ; construction des formules Vrit : smantique et signification des formules ; signification des formules Preuve : enchanement des formules en preuves et dmonstration ; formules dmonstration des

I - Introduction
Une proposition est un nonc dclaratif. On traite ici les connexions ou relations entre propositions. Exemples : 0 est llment neutre de laddition sil fait beau alors je me promnerai 53 x < succ(x) pour tout x dans N 5 > 3 et 24 17 il fait soleil Chacun de ces noncs est une proposition. Les propositions sont vraies ou fausses. Certaines sont formes partir de propositions lmentaires relies par des oprateurs ou connecteurs, par exemple : si alors et La forme de lnonc nest pas prise en compte mais uniquement le sens (smantique).

27

 il fait soleil il ne fait pas gris X >= 3 3 <= x I.1 Formalisation Considrons largument suivant (formul dans une langue naturelle) : Si jtudie la logique, alors je serai heureux et sage. Jtudie la logique. Donc, je serai heureux et sage. En abrgeant les propositions exprimes par des lettres, on obtient : Si p, alors q. p Donc, q. On indique le fait que la conclusion est tire partir des deux prmisses de la manire suivante : Si p, alors q. p -------------------q On passe une langue formelle en introduisant pour signifier la relation dimplication matrielle (si... alors ) : pq p -----------------q

Ceci est le squelette dun argument, reprsent dans le langage formel de la logique propositionnelle: il reprsente la forme commune tous les arguments valides quon obtient en remplaant : par si ... alors , le trait par Donc, ... et p et q par des phrases du langage ordinaire.

28

II - Syntaxe du langage formel

II.1 Alphabet ou vocabulaire :VT

Ensemble dnombrable dobjets appels lettres propositionnelles (ou variables propositionnelles ou atomes) dnotes par des lettres latines majuscules ventuellement indices. {A,B,A1,B2,}

Ensemble de connecteurs { ,,,,} avec : : oprateur unaire de ngation (non)

: oprateur binaire de conjonction (et logique)

: oprateur binaire de disjonction (ou logique)

: oprateur binaire dimplication (donc)

: oprateur binaire dquivalence (signifie)

Dlimiteurs {( , )}.

Do lalphabet du langage VT est :

VT = {A,B,,A1,B2,} {(, )} { ,,,,}

Langage : On appelle fbf tout mot du langage L. fbf : formule bien forme ou wff : well formed formula

Dfinition : les fbf sont dfinies intuitivement comme suit :

Tout atome est une fbf si A et B sont des fbf alors (A),(A B), (A B), (A B) et (A B) sont des fbf. Toute fbf est obtenue par un nombre fini dapplications des rgles ci dessus.

29

On note par L ={fbf} Le principe de vrifonctionnalit (pour la logique propositionnelle) : la valeur de vrit dune proposition complexe ne dpend que des valeurs de vrit des propositions qui la constituent et des connecteurs qui les relient. Une interprtation dune proposition est lattribution des valeurs de vrit aux propositions simples quelle contient.

Dfinition : S : axiome VN = {S,SA}, ensemble des non terminaux V = VT VN G : S SA S (S) / (S S) / (S S) / (S S) SA A/B/.. L= L(G) Exemples : (( A (B)) (C D)) L (A B) (A) L

Rgles de suppression des parenthses priorit dcroissante des connecteurs dans lordre : ,,,, on omet les parenthses les plus externes quand il y a un seul connecteur lassociation se fait de gauche droite

Exemples : A B C se rcrit ( A((B) (C))) A B se rcrit (A B) A B C D se rcrit ((( A B ) C ) D)

30

Les tables de vrit La dfinition des connecteurs est dcrite par des tables de vrit

A T F

A F T

A T T F F

B T F T F

AB T F F F

AB T T T F

A B T F T T

A B T F F T

Construisons une table de vrit pour (p q) : II.2 Premire mthode 1. Premier pas : p V V V F q F V F F

2. Deuxime pas : p V V F F q V F V F p F F V V q F V F V

31

3. Troisime pas : P V V F F q V F V F p F F V V q F V F V p q F V V V

4. Quatrime pas :

p V V F F

q V F V F

p F F V V

q F V F V

p q F V V V

(p q) V F F F

II.3 Les tables de vrit deuxime mthode 1. Premier pas : ( p V V F F q) V F V F

2. Deuxime pas : ( F F V V p V V F F F V F V q) V F V F

32

3. Troisime pas : ( F F V V p V V F F F V V V F V F V q) V F V F

4. Quatrime pas :

V F F F

( F F V V

p V V F F

F V V V

F V F V

q) V F V F

III - Smantique des propositions

A chaque proposition, cest dire chaque fbf, on veut attribuer une valeur smantique. La dfinition des fbf est faite de faon inductive partir des atomes et des connecteurs. Il faut donc donner tout atome dune fbf une valeur dans un domaine D prciser et donner un sens aux connecteurs dans ce domaine.

Dfinition : Une interprtation du calcul des propositions consiste en la donne dun domaine D, la dfinition des connecteurs par des applications de D dans D pour , et de DxD dans D pour ,, et et une valuation v des atomes dans D.

Interprtation classique de la logique des propositions D est un domaine binaire {T,F}, not aussi {Vrai, Faux} ou {0,1}, cest dire, que tout atome est T ou F ( ou exclusif).

33

Interprtation dune fbf : Dans D = {T,F} nous voulons valuer une fbf. Il nous reste donc assigner chacun des atomes une valeur. Dfinition : Pour une fbf G dont les atomes distincts sont A1,A2,, An, une interprtation de la fbf est une assignation v des valeurs de vrit T ou F chacun des Ai. Si G comporte n atomes, il y a 2n interprtations. Pour les examiner de faon exhaustive, on utilise des tables de vrit. Remarque : dans une interprtation dune fbf A, on note A= T (respectivement F), lassignation de A T (resp F) au lieu de v(A)= T (resp F). Dfinitions : G est VRAI dans une interprtation si sa valeur est T. G est FAUX dans une interprtation si sa valeur et F

Exemples : G1 : P (Q R) G1 est F dans I1 ( P=T, Q=F, R=T) et T dans I2 (P=F, Q=T, R=F)

P T F

Q F T

R T F

R F ?

Q R F ?

P (Q R) F T

G2 : A ( A B) A T T F F B T F T F A F F T T AB F F T F G2 T T T F

G2 est T dans I1 (A=T, B=T) , I2 (A=T, B=F) et I3 (A=F,B=T) et F dans I4 ( A=F, B =T).

34

Dfinition : Deux fbf G1 et G2 sont quivalentes si et seulement si les valeurs de vrit de G1 et G2 sont les mmes dans toute interprtation. On notera G1 G2 .

Fbf quivalentes en logique des propositions

Soient A, B et C des fbfs A B (A B ) ( B A)

1. A B A B

Commutativit : 3a. A B B A 3b. A B B A

Associativit : 4a. (A B) C A ( B C) 4b. ( A B) C A ( B C)

Distributivit : 5a. A ( B C) ( A B ) ( A C) 5b. A (B C) (A B ) ( A C)

6a. A F A 6b. A T A 7a. A T T 7b A F F 8a. A A T 8b. A A F

9. A A

35

De Morgan 10a. ( A B) A B 10b. ( A B) A B

11a. A (A B) A B 11b. A (A B) A B

12a. A ( A B) A 12b. A ( A B) A

Exemple : G2 se simplifie en A B par 11a.

Dfinitions : Une fbf est valide (tautologie) si et seulement si elle est T dans toute interprtation. Une fbf est invalide si et seulement si elle nest pas valide. Une fbf est inconsistante (contradiction) si et seulement si elle est fausse dans toute interprtation. Une fbf est consistante si et seulement si elle nest pas inconsistante.

Remarques : 1. 2. 3. Une fbf peut tre la fois invalide et consistante. G est valide si et seulement si G est inconsistante. Si G est valide alors G est consistante ; si G est inconsistante alors G est invalide. 4. Il existe une procdure effective pour dterminer si une fbf est valide : la table de vrit.

Dfinition : Si G est T dans linterprtation I on dit que I satisfait G et que I est un modle de G.

36

Dfinition : F1, F2, Fn et G sont des fbfs. On dit que G est une consquence logique des Fi (ou G dcoule logiquement des Fi) si et seulement si toute interprtation qui satisfait toutes les Fi satisfait aussi G. Thorme : F1, F2, .Fn et G tant des fbfs, G est une consquence logique des Fi si et seulement si F1 F2 . Fn G est valide. Corollaire : G est consquence logique des Fi si et seulement si F1 F2 . Fn ( G) est inconsistant.

IV. Formes normales

Dfinitions : Un littral est un atome ou la ngation dun atome. Une clause est une disjonction de littraux. Un ensemble de clauses est une conjonction de clauses. Dfinition : Une fbf est mise sous forme normale conjonctive (fnc) si et seulement si elle est de la forme F1 F2 . Fn o chaque Fi est une disjonction de littraux (de la forme A1 A2 . An ) ; une fnc est une conjonction de disjonction de littraux. Remarque : Une fnc F1 F2 . Fn peut tre reprsente (ou note) par lensemble de clauses S = { F1, F2 , ., Fn }. On dira que S est insatisfiable ou inconsistant si et seulement si S est faux pour toute interprtation. Exemples : ( A B) ( C B) D reprsent par S = { A B, C B, D} A B C reprsent par S = { A B C}

Dfinition : Une fbf est mise sous forme normale disjonctive (fnd) si et seulement si elle est une disjonction de disjonctions de littraux.

37

V. Principe de rsolution
On sait quune fbf G est valide si et seulement si G est inconsistante. Etant donn une fbf G, on va donc chercher rsoudre le problme G est-elle inconsistante ?. Pour dterminer efficacement linconsistance de la fbf G on peut utiliser une mthode base sur le principe de rsolution. Pour cela, nous allons travailler sur la forme normale conjonctive de la fbf G reprsente par lensemble de clauses S. Dfinition : Soient deux clauses C1 et C2 en logique des propositions. Si un littral L1 de C1 est complmentaire dun littral L2 ( = L1) de C2, on construit C, la disjonction des clauses restantes aprs suppression des littraux L1 et L2 ; C est appele clause rsolvante ou rsolvant de C1 et C2. L1 et L2 sont les littraux rsolus.

Si C1 = L1 C1 et C2 = L2 C2 o C1 et C2 sont des clauses et L2 = L1 alors C = C1 C2. Exemples : Ex1 : C1= q p ; C2 = r p s alors C= q r s C1= q p ; C2= q alors C=p C1= p q r ; C2= p s r alors C= q r s r =T ou C = p p s q = T Ex2 : C1 = p q r ; C2 =p r alors pas de rsolvant car pas de littraux rsoudre. Ex 3 : C1 = p ; C2 = p alors C = . En effet C1 = p et C2 = p Do C = = est appele clause vide. Thorme : Le rsolvant C de deux clauses C1 et C2 est une consquence logique de C1 et C2 Remarque : Le principe de rsolution est une gnralisation de deux rgles dinfrence (ou modes de raisonnement) bien connues.

38

1. Modus Ponens : si A et A B alors B Or C1 =A et C2= A B = A B ont pour rsolvant B. 2. Enchanement : Si A B et B D alors A D Or C1 = A B et C2 = B D ont pour rsolvant A D = A D Le principe de rsolution est une rgle dinfrence ; elle produit une clause qui est la consquence logique des clauses dont elle est issue.

Dfinition : Soit S un ensemble de clauses. Une rduction (ou rsolution) dune clause C partir de S est une squence finie R1, R2 , ., Rn = C de clauses telle que chaque Ri est soit une clause de S soit un rsolvant de clauses le prcdant. Exemples : S={ r q, r, q p, p r } R1 = r q R2 = r R3= q est le rsolvant de R1 et R2. R1, R2, R3 = q est une dduction de q partir de S. R4= q p R5= p est le rsolvant de R3 et R4 R6 = p r R7 = p est le rsolvant de R2 et R6 R8 = est le rsolvant de R5 et R7 R1 ,R2 ,R3 ,R4 ,R5 ,R6 ,R7 ,R8 = est une dduction de partir de S.

Proprit : Sil existe une dduction de partir de S alors S est inconsistant.

insatisfiable ou

Dfinition : Une dduction de partir de S est appele rfutation.

39