Sintaxa Limbajului

Logic i Structuri Discrete

Alfabetul
Simboluri de adevr: true, false Simboluri pentru conectori logici: , !, , Variabile propoziionale: p, q, r, etc. Simboluri de punctuaie: ( i ) not, negaie and, i, conjuncie or, sau, disjuncie

Logic Propoziional
After James Hein - Discrete Structures, Logic and Computability, Logic in Action (http://www.logicinaction.org/) and J.Russell, P. Norvig - Articial Intelligence Section 6.2 Propositional Calculus (Subsections Intro, Well-Formed Formulas, Syntax, Semantics, Equivalence pp. 309-316) Section 6.2 (Subsections Disjunctive Normal Form, Conjunctive Normal Form, Constructing CNF/DNF Using Equivalences pp. 320-326) Section 6.3 (Formal Reasoning Systems, pp. 329-334) Section 6.3 (Subsections Indirect Proof, pp. 338-339) Section 9.2 (Subsection A Primer of Resolution for Propositions pp. 461-462)
1

! Dac ... atunci ..., condiie, implicaie

2

Friday, November 16, 2012

Friday, November 16, 2012

Sintaxa Limbajului Formule bine formate (wff ) n logica propoziional

Deniie inductiv (infomal) Un wff este un simbol de adevr (true, false) sau o variabil propoziional sau negaia () unui wff sau conjuncia () a dou wff sau disjuncia () a dou wff sau implicaia () unui wff din alt wff sau un wff ntre paranteze Utiliznd gramatici S ::= true | false | Propoziie | S | S S | S S | S ! S | ( S ) Propoziie ::= p | q | r | ...

Ordinea de Evaluare a Conectorilor

p q r este un wff
Dar aceste deniii sunt ambigue deoarece nu captureaz ordinea n care conectorii sunt evaluai p q r p q r

Pentru a elimina aceast problem, stabilim un set de reguli 1. Prioritatea (cea mai mare - se evalueaz primul) ! (cea mai mic - se evalueaz ultimul) 2. , , ! sunt asociativi la stnga Cu alte cuvinte, dac acelai conector apare succesiv de dou sau mai multe ori, fr paranteze, atunci evalum expresia de la stnga la dreapta

Sunt acestea wff n logica propoziional ? p, p q, p (p q) Da qp, !pq Nu

3

Friday, November 16, 2012

Friday, November 16, 2012

Semantica
nelesul unei formule este valoarea de adevr adevrat (T) sau fals (F) nelesul simbolurilor true i false sunt valorile de adevr adevrat (T) respectiv fals (F) nelesul conectorilor (pentru wff arbitrare vom utiliza A, B, etc.) A F F T T B F T F T AB F F F T AB F T T T A!B T T F T A T T F F A F F T T
5

Calcularea Valorii de Adevr

Calculai valoarea de adevr pentru p ! q r n interpretarea p este T, q este F, r este T T!FT T!FT F!FT F!FT F!F F!F T

n esen, o stipulare a valorii de adevr pentru variabilele propoziionale (wff-uri atomice, adic p, q, r, etc.) dintr-un wff se numete o interpretare a wff-urilor atomice (denumit i atribuire de adevr, atribuire de valoare, valuation) Exemplu - n formula p q r O interpretare este: p este T, q este F, r este T; o alt interpretare este: p este T, q este T, r este T
Friday, November 16, 2012 Friday, November 16, 2012

B F T F T

AB F F F T

AB F T T T

A!B T T F T

A T T F F
6

Cteva Cuvinte Despre !

A F F T T B F T F T A!B T T F T Citim A ! B dac A atunci B, A implic B A e numit antecedent, premis sau ipotez B e numit consecvent sau concluzie A F F T T B F T F T A!B T T F T

Cteva Cuvinte Despre !

Citim A ! B dac A atunci B, A implic B A e numit antecedent, premis sau ipotez B e numit consecvent sau concluzie

Mare atenie la semantica acestui conector Cnd antecedentul (A) este T, A ! B este T doar cnd B este T A ! B este tot timpul T cnd antecedentul (A) este F Nu exist o relaie de cauzalitate ntre A i B dac 5 este par atunci Sam este detept este T dac 5 este impar atunci Bucureti este capitala Romniei este T

Perspectiva invers Mare atenie la semantica acestui conector Cnd tim c A!B este T atunci Cnd antecedentul (A)T atunciA ! B este T doar cnd B este T 1. dac tim c A este este T, B este T A dac este tot A este T cnd antecedentul (A) este FB 2. ! B tim c timpul F atunci nu tim nimic despre Nu exist o relaie sau cauzalitate ntre A i B (adic el poate T de F dar nu tim exact) dac 5 este par atunci Sam este detept este T T Dac plou (A) sunt nori pe cer (B) este dac 5 este impar atunci Bucureti este capitala Romniei este T Plou (A is T) Deci, sunt nori pe cer (B is T) Dac plou (A) atunci sunt nori pe cer (B) este T Nu plou este T (A is F) Deci, pot nori pe cer sau pot s nu e nori pe cer
7 8

Friday, November 16, 2012

Friday, November 16, 2012

Cteva Cuvinte Despre !

A F F T T B F T F T A!B T T F T Citim A ! B dac A atunci B, A implic B A e numit antecedent, premis sau ipotez B e numit consecvent sau concluzie

Tabela de Adevr
Prezint valorile de adevr a unui wff n toate posibilele interpretri
Exemplu - tabela de adevr pentru (p q) " r Avem 3 propoziii atomice (p,q,r) deci avem 23 interpretri posibile (n general 2n, unde n este numrul de propoziii atomice distincte)

Perspectiva invers Mare atenie la semantica acestui conector Cnd tim c A!B este T atunci Cnd antecedentul (A)T atunciA ! B este T doar cnd B este T 1. dac tim c A este este T, B este T A dac este tot A este T cnd antecedentul (A) este FB 2. ! B tim c timpul F atunci nu tim nimic despre Nu exist o relaie sau cauzalitate ntre A i B (adic el poate T de F dar nu tim exact) dac 5 este rezisten (A) inamicul m va este T T este T Dac plou par atunci Sam este detept omor (B) sunt nori pe cer (B) este opun (A) dac 5 este impar atunci Bucureti este capitala Romniei este T Plou (Arezisten este T (A este F) Nu opun is T) Deci, sunt noripoate s m T) inamicul pe cer (B is omoare sau poate s nu m omoare !!! Dac plou (A) atunci sunt nori pe cer (B) este T Nu plou este T (A is F) Deci, pot nori pe cer sau pot s nu e nori pe cer
Friday, November 16, 2012

Obs. A B este (A B) (B A)
9

p f f f f t t t t
Friday, November 16, 2012

q f f t t f f t t

r f t f t f t f t

(p

q)

"

10

Tabela de Adevr
Prezint valorile de adevr a unui wff n toate posibilele interpretri
Exemplu - tabela de adevr pentru (p q) " r Avem 3 propoziii atomice (p,q,r) deci avem interpretri posibile (n general 2n, unde n este numrul de propoziii atomice distincte) 23

Tabela de Adevr
Prezint valorile de adevr a unui wff n toate posibilele interpretri
Exemplu - tabela de adevr pentru (p q) " r Avem 3 propoziii atomice (p,q,r) deci avem 23 interpretri posibile (n general 2n, unde n este numrul de propoziii atomice distincte)

p f f f f t t t t
Friday, November 16, 2012

q f f t t f f t t

r f t f t f t f t

(p

q)

"

f f f f t t t t

f f t t f f t t

f t f t f t f t
11

p f f f f t t t t
Friday, November 16, 2012

q f f t t f f t t

r f t f t f t f t

(p

q)

"

f f f f t t t t

f f t t t t t t

f f t t f f t t

f t f t f t f t
12

Tabela de Adevr
Prezint valorile de adevr a unui wff n toate posibilele interpretri
Exemplu - tabela de adevr pentru (p q) " r Avem 3 propoziii atomice (p,q,r) deci avem interpretri posibile (n general 2n, unde n este numrul de propoziii atomice distincte) 23

Tabela de Adevr
Prezint valorile de adevr a unui wff n toate posibilele interpretri
Exemplu - tabela de adevr pentru (p q) " r Avem 3 propoziii atomice (p,q,r) deci avem 23 interpretri posibile (n general 2n, unde n este numrul de propoziii atomice distincte)

p f f f f t t t t
Friday, November 16, 2012

q f f t t f f t t

r f t f t f t f t

(p

q)

"

t t f f f f f f

f f f f t t t t

f f t t t t t t

f f t t f f t t

f t f t f t f t
13

p f f f f t t t t
Friday, November 16, 2012

q f f t t f f t t

r f t f t f t f t

(p

q)

"

t t f f f f f f

f f f f t t t t

f f t t t t t t

f f t t f f t t

f t t t t t t t

f t f t f t f t
14

ule rm ile fo tr vr l ei re e u un rp ad es ul inte a de nel valorile de adevr a unui wff n toate r) s lePrezint v s e oate ela ori, ade n posibilele interpretri t b e n e ta ult a de st e m bel eExemplu - tabela de adevr pentru (p q) " r (d = ta Avem 3 propoziii atomice (p,q,r) deci avem 23 interpretri posibile (n general 2n, unde n este numrul de propoziii atomice distincte)

Tabela de Adevr

Terminologie
Tautologie - o formul care are valoarea de adevr T n toate posibilele interpretri (mai spunem
c formula este valid)

p f f f f t t t t
Friday, November 16, 2012

q f f t t f f t t

r f t f t f t f t

(p

q)

"

Contradicie - o formul care are valoarea de adevr F n toate posibilele interpretri (mai spunem
c formula este nerealizabil (unsatisable))

t t f f f f f f

f f f f t t t t

f f t t t t t t

f f t t f f t t

f t t t t t t t

f t f t f t f t
15

Contingen - o formul care are valoarea de adevr F n unele interpretri i T n alte interpretri O formul este realizabil (satisable) cnd ea are valoarea de adevr T n cel puin o interpretare
16

Friday, November 16, 2012

Echivalena
n esen, dou formule A i B sunt echivalente dac i numai dac tabelele lor de adevr au aceleai valori. Scriem A B

Echivalene Utile
A ! B A B (legea implicaiei) A ! B B ! A(legea contrapoziiei) (A ! B) A B A ! B A B ! false Legile comutativitii A B B A A B B A Legile asociativitii (A B) C A (B C) (A B) C A (B C) Legile distributivitii A (B C) (A B) (A C) A (B C) (A B) (A C) Legile absorbiei A (A B) A A (A B) A A (A B) A B A (A B) A B Legile De Morgan (A B) A B (A B) A B

Exemplu pqqp

p F F T T

q F T F T

pq F F F T

qp F F F T

A A (legea dublei negaii) A true true A false A A A A (legea idempotenei) A A true A true A A false false A A A (legea idempotenei) A A false A ! true true A ! false A true ! A A false ! A true A ! A true

A B dac i numai dac (A!B) (B!A) este o tautologie

17

18

Friday, November 16, 2012

Friday, November 16, 2012

De ce ?
Putem s le utilizm pentru a arta c alte formule sunt echivalente fr s folosim tabele de adevr Orice sub-wff a unui wff poate nlocuit de un wff echivalent fr a schimba valoarea de adevr a wffului original
Regula nlocuirii Exemplu Artm c A ! (B ! C) B ! (A ! C) A ! (B ! C) A ! (B C) A (B C) (A B) C (B A) C B (A C) B ! (A C) B ! (A ! C)
Friday, November 16, 2012

Forma Normal Disjunctiv

Un literal este o variabil propoziional sau negata ei
Exemple p, p

O conjuncie fundamental este un literal sau o conjuncie de (doi sau mai muli) literali
Exemple p, p, p q

(legea implicaiei) (legea implicaiei) (legea asociativitii) (legea comutativitii) (legea asociativitii) (legea implicaiei) (legea implicaiei)
19

O form normal disjunctiv (DNF) este o conjuncie fundamental sau o disjuncie de (dou sau mai multe) conjuncii fundamentale
Examples p, p, p q, p (p q), (p q) (q p)
20

Friday, November 16, 2012

Orice wff are un DNF echivalent

Pai de conversie 1. Eliminm toate ! utiliznd echivalena A ! B A B 2. Mutm toate negaiile n sub-wff-uri pentru a crea literali, utiliznd legile De Morgan (AB) AB, (AB) AB. Eliminm dublele negaii utiliznd echivalena A A 3. Aplicm distributivitatea A(BC) (AB)(AC) pentru a obine DNF Exemplu ((p q) ! r) s ((p q) r) s (p q r) s ((p q) s) (r s) (p s) (q s) (r s)

Forma Normal Disjunctiv Complet

Presupunem c un wff W are n variabile propoziionale

Un DNF pentru W e un DNF complet dac ecare conjuncie fundamental are exact n literali, unul pentru ecare din cele n variabile din W
Exemplu pentru ((p q) ! r) s (n = 4) (p s) (q s) (r s) nu e un DNF complet Pai de conversie 1,2,3 de pe slide-ul anterior 4. Pentru a aduga o variabil lips (ex. r) la o conjuncie fundamental C (conservnd valoarea ei) scriem C C true C (r r). Apoi distribuim peste pentru a obine o disjuncie de dou conjuncii fundamentale. Repetm pentru toate conjunciile fundamentale incomplete pn obinem un DNF complet

21

22

Friday, November 16, 2012

Friday, November 16, 2012

Exemplu

Forma Normal Conjunctiv

Un literal este o variabil propoziional sau negata ei

Exemplu p!q (are 2 variabile/litere) p q Este un DNF dar nu complet. Introducem q n conjuncia fundamental p (p true) q (p (q q)) q (p q) (p q) q Este un DNF dar nu complet. Introducem p n conjuncia fundamental q (p q) (p q) (q true) (p q) (p q) (q (p p)) (p q) (p q) (q p) (q p) (p q) (p q) (q p) Acesta e un DNF complet :)

Exemple p, p

O disjuncie fundamental (denumit i clauz) este un literal sau o disjuncie de (doi sau mai muli) literali
Exemple p, p, p q

O form normal conjunctiv (CNF) este o disjuncie fundamental sau o conjuncie de (dou sau mai multe) disjuncii fundamentale
Exemple p, p, p q, p (p q), (p q) (q p)

23

24

Friday, November 16, 2012

Friday, November 16, 2012

Forma Normal Conjunctiv Complet

Presupunem c un wff W are n variabile propoziionale distincte

Exemplu

Un CNF pentru W este un CNF complet dac ecare disjuncie fundamental are exact n literali, unul pentru ecare variabil din W
Pai de conversie 1. Eliminm toate ! utiliznd echivalena A ! B A B 2. Mutm toate negaiile n sub-wff pentru a crea literali, utiliznd legile De Morgan (AB)AB, (AB)AB. Eliminm negaiile duble utiliznd echivalena A A 3. Aplicm distributivitatea A(BC)(AB)(AC) pentru a obine CNF 4. Pentru a aduga o variabil lips (ex. r) la o disjuncie fundamental D (conservnd valoarea ei) scriem D D false D (r r). Apoi distribuim peste pentru a obine o conjuncie de dou disjuncii fundamentale. Repetm pentru toate disjunciile fundamentale incomplete pn cnd obinem un CNF complet
25

Exemplu p (p ! q) p (p q) (are 2 litere/variabile)

Este un CNF dar nu complet. q lipsete din prima disjuncie fundamental (p false) (p q) (p (q q)) (p q) (p q) (p q) (p q) Aceasta este un CNF complet :)

26

Friday, November 16, 2012

Friday, November 16, 2012

Exemplu
Observaii
Exemplu p (p ! q) p (p q) (are 2 litere/variabile)

Sistem Formal de Deducie

Tabelele de adevr sunt suciente pentru a determina adevrul oricrei

formule propoziionale. Dar, cnd formula are multe variabile i muli conectori, tabela de adevr este destul de complicat :(
Noi (ca oameni) nu raionm n termeni de tabele de adevr

Este un CNF dar nu complet. q lipsete din prima disjuncie fundamental (p false) (p q) (p (q q)) (p q) (p q) (p q) (p q) Aceasta este un CNF complet :)

m r ,a a re do u oa nte li. N lte i er le u a ie nt va eg i a le a echi or r ace v er ce e un m f ! bs n ul O i rm baza Pute ? DA o plu f e r. c m n i p v cti xe ule olur ade inta t e rm b e s es fo im d r ac tit d s bele oa n ver ln ta ri d n u it u co anip los lucr m fo am
27

Un sistem formal de deducie are 3 ingrediente

1. Un set de wff pentru a reprezenta armaiile de interes 2. Un set de axiome (adic formule despre care tim c sunt adevrate/ valide, de exemplu, artnd cu tabele de adevr c sunt tautologii) 3. Un set de reguli de inferen

28

Friday, November 16, 2012

Friday, November 16, 2012

Reguli de Inferen
O regul de inferen mapeaz un set de wff-uri, numite premise sau antecedeni, ntr-un singur wff denumit concluzie sau consecvent P1, P2, ... ,Pk C
Spunem: C este inferat din P1 i P2 i ... i Pk C este consecin direct a lui P1 i P2 i ... i Pk e citit ca deci, prin urmare, astfel, etc

Unele Reguli de Inferen n Logica Propoziional

A ! B, A B
Modus ponens (MP)

A ! B, B A
Modus tollens (MT)

A, B A B
Conjunction (Conj)

AB A
Simplication (Simp)

A A B
Addition (Add)

A B, A B
Disjunctive syllogism (DS)

O regul de inferen conserv adevrul logic

Cu alte cuvinte n orice interpretare n care toate premisele sunt adevrate, concluzia e adevrat Cnd toate premisele sunt tautologii, concluzia e o tautologie Pentru o regul de inferen P1 P2 ... Pk ! C este o tautologie

A ! B, B ! C A ! C
Hypothetical syllogism (HS)

A B, B C A C
Resolution Rule

Ele conserv adevrul logic

29 30

Friday, November 16, 2012

Friday, November 16, 2012

S artm asta pentru MP

A ! B, A B
Modus ponens (MP) (A ! B) A ! B este o tautologie A F F T T B F T F T A!B T T F T (A!B) A F F F T (A ! B) A ! B T T T T

Ce putem face cu ele ?

Construim demonstraii
O demonstraie - o secven nit de wff-uri, ecare wff ind a. o axiom sau b. inferat din wff-uri anterioare utiliznd reguli de inferen 1. W1 2. W2 3. W3 ... n. Wn
Motiv pentru W1 Motiv pentru W2 Motiv pentru W3 Motiv pentru Wn

Acest wff (adic Wn) e denumit teorem

Tehnici de demonstrare 1. Demonstrare condiionat 2. Demonstrare indirect

Observai c, atunci cnd premisele sunt adevrate, concluzia e adevrat

31

32

Friday, November 16, 2012

Friday, November 16, 2012

Demonstrare Condiionat
De obicei vrem s demonstrm lucruri precum: dac A, B i C sunt adevrate atunci D e adevrat
D e consecin a lui A, B i C sau Din premisele A, B i C putem concluziona D sau A B C ! D O demonstrare condiionat dintr-un set de premise este o secven nit de wff-uri, ecare wff ind: a. o axiom sau b. o premis sau c. inferat din wff-uri anterioare prin reguli de inferen Regula Demonstrrii Condiionate (CP) Vrem o demonstraie pentru A1 A2 ... An ! B. Construim o demonstraie pentru B utiliznd ca premise A1, ... , An Construim o demonstraie pentru (a b) (a c) a ! b c 1. a b P 2. a c P 3. a P 4. b 1, 3, DS 5. c 2, 3, DS 6. b c 4, 5, Conj 7. QED. 1,2,3,6,CP

Exemplul 1

A B, A B
Disjunctive syllogism (DS)

A, B A B
Conjunction (Conj)

33

34

Friday, November 16, 2012

Friday, November 16, 2012

Exemplul 2
Echipa ctig sau eu sunt trist. Dac echipa ctig atunci eu merg la un lm. Dac eu sunt trist atunci cinele meu latr. Cinele meu nu latr. Prin urmare eu merg la un lm. w - echipa ctig s - eu sunt trist m - eu merg la un lm b - cinele meu latr Echipa ctig sau eu sunt trist. Dac echipa ctig atunci eu merg la un lm. Dac eu sunt trist atunci cinele meu latr. Cinele meu nu latr. Prin urmare eu merg la un lm. ws w!m s!b b (w s) (w ! m) (s ! b) b ! m
35

Exemplul 2 (cont.)
(w s) (w ! m) (s ! b) b ! m

A ! B, A B
1. w s P 2. w ! m P 3. s ! b P 4. b P 5. s 3,4, MT 6. w 1,5, DS 7. m 2,6, MP 8. QED 1,2,3,4,7,CP Modus ponens (MP)

A ! B, B A
Modus tollens (MT)

A B, A B
Disjunctive syllogism (DS)

36

Friday, November 16, 2012

Friday, November 16, 2012

Regulile de Inferen Conserv Adevrul !

Regulile de Inferen Conserv Adevrul !

A ! B, A B
Modus ponens (MP)

A ! B, A B
Modus ponens (MP)

n creierul pozitronic al lui Data (simplicat) 1. C P 2. C ! H P 3. H ! S P 4. H 1,2,MP 5. S 3,4,MP 6. QED 1,2,3,5,CP

Friday, November 16, 2012

n creierul pozitronic al lui Data (simplicat)

(true) (true) (true)

nunta e anulat (C) dac nunta e anulat (C) atunci Keiko e fericit (H) dac Keiko e fericit (H) atunci OBrian e ncntat (S)

OBrian e ncntat :)
37

1. C P 2. C ! H P 3. H ! S P 4. H 1,2,MP 5. S 3,4,MP 6. QED 1,2,3,5,CP

Friday, November 16, 2012

nunta e anulat (C) dac nunta e anulat (C) atunci Keiko e fericit (H) dac Keiko e fericit (H) atunci OBrian e ncntat (S)

(true) (true) (true)

OBrian e ncntat :)

Cum ?!?!??! OBrian nu e ncntat (S e fals) ??!?!? Dar Data a demonstrat ! E Data defect ? Este Logica incorect ?
38

Regulile de Inferen Conserv Adevrul !

Demonstrare Indirect
S construim demonstraii nu e tocmai simplu

Logica e corect, regulile de inferen sunt corecte, demonstraia e corect dar ... pornind de la premise FALSE putem demonstra corect lucruri incorecte ! Deci Data funcioneaz corect din punctul de vedere al Logicii; problema lui este c nu poate nelege i anticipa emoiile umane

A ! B, A B
Modus ponens (MP)

Alternative A ! B B ! A. ncercm s demonstrm contrapozitiva lui A ! B. Altfel spus, construim o demonstraie pentru B ! A A ! B A B ! false. ncercm s demonstrm a doua formul. Demostraia trebuie s concluzioneze fals. Aceasta este o demonstraie reductio ad absurdum. Regula demonstrrii indirecte (IP) Vrem o demonstraie pentru A1 A2 ... An ! B. Construim o demonstraie pentru fals utiliznd premisele A1, ... , An i B

n creierul pozitronic al lui Data (simplicat) 1. C P 2. C ! H P 3. H ! S P 4. H 1,2,MP 5. S 3,4,MP 6. QED 1,2,3,5,CP

Friday, November 16, 2012

nunta e anulat (C) false dac nunta e anulat (C) atunci Keiko e fericit (H) dac Keiko e fericit (H) atunci OBrian e ncntat (S)

Unele din aceste premise sunt de fapt

(true) (true) (true)

OBrian e ncntat :)

Cum ?!?!??! OBrian nu e ncntat (S e fals) ??!?!? Dar Data a demonstrat ! E Data defect ? Este Logica incorect ?
39 40

Friday, November 16, 2012

Exemplul 3
Aceeai problem cu lmul i cinele :) (w s) (w ! m) (s ! b) b ! m

napoi la Sisteme Formale de Deducie

n exemplele anterioare de demostraii am folosit diferite reguli de inferen + diferite echivalene (ex. DeMorgan) ca axiome

1. w s P 2. w ! m P 3. s ! b P 4. b P 5. m P for IP 6. w 2, 5, MT 7. s 3, 4, MT 8. w s 6, 7, Conj 9. (w s) 8, (DeMorgan) 10. (w s) (w s) 1,9, Conj 11. false 10, (A A false) 12. QED 1,2,3,4,5,11,IP

A ! B, B A
Modus tollens (MT)

A, B A B
Conjunction (Conj)

Exist oare un sistem pentru logica propoziional care s aib un set x de reguli de inferen i axiome i n care: 1. Toate demonstraiile s produc teoreme care sunt tautologii (proprietatea de soundness) 2. Toate posibilele tautologii s e demonstrabile ca teoreme (proprietatea de completeness)

Da, exist :)
41 42

Friday, November 16, 2012

Friday, November 16, 2012

Exemplu
Axiome 1. ! ( ! ) 2. ( ! ( !)) ! (( ! ) ! ( ! )) 3. ( ! ) ! ( ! ) Regula de inferen ! ,
Modus ponens (MP) Demonstraie pentru p ! p 1. p ((p p) p) A1 2. (p ((p p) p)) ((p (p p)) (p p)) A2 3. (p (p p)) (p p) 1,2,MP 4. p (p p) A1 5. p p 3,4,MP
43

Regula Rezoluiei n Logica Propoziional ,

Regula de inferen a Rezoluiei ( ) ( ) ! ( ) este o tautologie
F F F F T T T T F F T T F F T T F T F T F T F T T T F F T T F F F F T T T T T T T T F T T T F T F T F T T T T T ()() ()()! F F F T T T F T T T T T T T T T

44

Friday, November 16, 2012

Friday, November 16, 2012

Rescriere n Termeni de Disjuncii Fundamentale

Literalii - variabile propoziionale sau negata lor (ex. p, q) Doi literali se spune c sunt complemeni dac unul e negata celuilalt Exemple p,p q,q

Demonstrarea cu Rezoluie n Logica Propoziional

Pentru a demonstra c W e valid 1. Formm negata W. De exemplu, dac W are forma A B C ! D atunci W va A B C D 2. Transformm W n forma clauzal (CNF pentru logica propoziional) 3. Lum clauzele (disjuncii fundamentale) ca premise 4. Aplicm regula rezoluiei pentru a obine clauza vid (fals). Dac o gsim nseamn c avem o contradicie Din moment ce W e o contradicie, W este valid

a1 a2 ... ai ... an , b1 b2 ... bj ... bm a1 ... ai-1 ai+1 ... an b1 ... bj-1 bj+1 ... bm
unde: a1, ... , an , b1, ... , bm sunt literali ai , bj sunt complemeni (ex. ai = p, bj = p) Rezultatul produs se numete rezolvent

p, p
Un caz important - Obinerea clauzei (disjuncie fundamental) vide nseamn fals
45

Util pentru automatizare :)

46

Friday, November 16, 2012

Friday, November 16, 2012

Exemplu
Aceeai problem cu lmul i cinele :) W = (w s) (w ! m) (s ! b) b ! m W = ((w s) (w ! m) (s ! b) b ! m) (((w s) (w ! m) (s ! b) b) m) ((w s) (w ! m) (s ! b) b) m (w s) (w ! m) (s ! b) b m (Obs. concluzia iniial e negat) (w s) (w m) (s b) b m 1. w s 2. w m 3. s b 4. b 5. m 6. s 7. w 8. w 9. QED. P P P P P 3,4,Resolution 6,1,Resolution 2,5,Resolution 7,8,Resolution

p C, p D CD
(disjunciile redundante din clauze se elimin)
47

Friday, November 16, 2012