Az előadás letöltése folymat van. Kérjük, várjon

Az előadás letöltése folymat van. Kérjük, várjon

Kocsisné Dr. Szilágyi Gyöngyi. Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő 10-12.

Hasonló előadás


Az előadások a következő témára: "Kocsisné Dr. Szilágyi Gyöngyi. Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő 10-12."— Előadás másolata:

1 Kocsisné Dr. Szilágyi Gyöngyi

2 Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő szoba Jegyzet: Pásztorné Varga Katalin, Várterész Magda: A MATEMATIKAI LOGIKA ALKALMAZÁSSZEMLÉLET Ű TÁRGYALÁSA

3 Bevezetés A 0. rendű logika (Itéletkalkulus) Szintaxis Szemantika 0. rendű logikai törvények Szemantikus következmény Normálformák Szintaktikus megközelítés (Bizonyításelmélet, Rezolúció) Az 1. rendű logika (Predikátumkalkulus) Szintaxis Szemantika 1. rendű logikai törvények Szemantikus következmény Szintaktikus megközelítés (Bizonyításelmélet, Rezolúció)

4 Mit jelent a következő formula? (  Z  X)  Y Igaz vagy hamis?

5 NYELV = ABC + SZINTAXIS + SZEMANTIKA Két módon: 1) Szemantika megadásának lépései: a) Interpretáció (az ABC elemeihez rendel i / h értéket) b) Boole értékelés (szerkezeti rekurzió elve alapján a formulákhoz rendel i / h értéket ) Igazságtábla (kiterjesztett, egyszerű; mohó / lusta kiértékelés) Szemantikus fa 2) Szemantika megadása Igazságértékelés függvény és fa megadása a szerkezeti rekurzió elve alapján

6 Egyszerű állítás Összetett állítás interpretáció Boole-értékelés { i, h } { i, h } Formula jelentése mindig igazságérték! Definíció: Interpretáció Interpretáció: I: V v  {i,h} Definíció: Boole-értékelés B I (C) B I a formulákon értelmezett függvény. B I (C) a C formulához hozzárendeli annak helyettesítési értékét az adott I interpretációban. B I (C)-definíciója szerkezeti rekurzióval: 1. A C formula ítéletváltozó B I (C)= I(C) 2. A C formula negációsB I (  A)=  B I (A) A C formula (A  B) alakúB I (A  B)= B I (A)  B I (B)

7 EGY FORMULA Van-e olyan interpretáció, ahol igaz Minden interpretációban igaz Egyetlen interpretációban sem igaz KÉT FORMULA Az interpretációkban egyformán viselkednek-e

8 Definíció: I interpretáció kielégít egy B formulát ( könyv 69. oldal) Azt mondjuk, hogy az ítéletlogikában egy I interpretáció kielégít egy B formulát (I  = 0 B, I modellje B-nek), ha a formula helyettesítési értéke igaz az I interpretációban. Definíció: formula kielégíthetősége Azt mondjuk, hogy egy B formula kielégíthető, ha legalább egy interpretáció kielégíti ( létezik modellje).

9 Definíció: formula kielégíthetetlensége Azt mondjuk, hogy egy B formula kielégíthetetlen, ha egyetlen interpretáció sem elégíti ki (nincs modellje). Definíció: tautológia Azt mondjuk, hogy egy B formula tautológia (  = 0 B), ha minden interpretáció kielégíti. A tautológiát ítéletlogikai törvénynek is nevezik.

10

11 X   X

12

13 X   X X  X Igazságtáblája i i

14 Az ítéletlogikai formulák szemantikai tulajdonságuk alapján az alábbi ábra szerint osztályozhatók:

15 TÉTEL Ez a tétel alapozza meg, hogy a következőkben felsorolt formulák mind tautológiák.

16 TÉTEL bővítés előtaggal implikációlánc-törvény

17 reductio ad absurdum a kétszeres tagadás törvénye a kizárt harmadik törvénye ellentmondás törvénye az azonosság törvénye tranzitivitás ellentmondásból bármi következik Peirce-törvény

18 Kielégíthetőség eldöntése: igazságtáblával Ha van olyan sor A igazságtáblájában, ahol a Boole-értéke „i”. igazságértékelés fával Ha A i nem üres, azaz  (A) i fában nem minden ág ellentmondásos. Kielégíthetetlenség eldöntése: igazságtáblával Ha A igazságtáblájában minden sor Boole-értéke „h”. igazságértékelés fával Ha  (A) i fában minden ág ellentmondásos, tehát A i üres. Tautológia tulajdonság eldöntése: igazságtáblával Ha A igazságtáblájában minden sor Boole-értéke „i”. igazságértékelés fával Ha  (A) h fa minden ága ellentmondásos, tehát A h üres.

19 EGY FORMULA Van-e olyan interpretáció, ahol igaz Minden interpretációban igaz Egyetlen interpretációban sem igaz KÉT FORMULA Az interpretációkban egyformán viselkednek-e

20 DEFINÍCIÓ

21 Két formula tautologikusan ekvivalens, ha közös igazságtáblájukban a formulákhoz tartozó oszlopokban minden sorban ugyanaz az igazságérték található. Két formula akkor és csak akkor tautologikusan ekvivalens, ha az általuk leírt logikai művelet ugyanaz.

22

23 LEMMA:

24 TÉTEL

25 . TÉTEL (Könyv 74. oldal)

26 .

27 .

28 .

29 . Egyszerűsítési szabályok: 1.(X  d)  (  X  d) ~ 0 d 2. (X  k)  (  X  k) ~ 0 k, ahol d elemi diszjunkció és k elemi konjunkció.

30 Legyen F = {A 1, A 2,…,A} formulahalmaz. Definíció: Azt mondjuk, hogy az ítéletlogikában egy I interpretáció kielégít egy F formulahalmazt (I  = 0 F), ha a formulahalmaz minden formulájának helyettesítési értéke i az I interpretációban. Definíció: Azt mondjuk, hogy egy F formulahalmaz kielégíthető, ha legalább egy interpretáció kielégíti. Definíció: Azt mondjuk, hogy egy F formulahalmaz kielégíthetetlen, ha bármely interpretációban legalább egy formulája h (nincs olyan interpretáció, ami kielégítené).

31 TÉTEL Legyen F = {A 1, A 2,…,A n } formulahalmaz. I  = 0 F pontosan akkor, ha I  = 0 A 1  A 2  …  A n.

32 Helyesek –e a fenti következtetések? Miért?

33 Definíció: Tautológikus következmény A  formula hamaznak a B formula tautológikus következménye (  |= o B), ha  I: I |= o , akkor I |= o B ( vagyis  minden modellje B-nek is modellje ). Speciális esetek: B tautológia:  -nak következménye B  kielégíthetetlen: nem beszélünk következmény fogalomról.

34

35

36 Tétel::  I: I |= o { A 1,..., A n }  I |= o A 1 ...  A n Tétel:: { A 1,..., A n } |= o B  A 1 ...  A n  B kielégíthetetlen Tétel:(dedukciós)(könyv 80.old tétel) Az {F1, F2,..., Fn}  = 0 G akkor és csak akkor, ha {F1, F2,..., Fn-1}  = 0 (Fn  G). Tétel:(eldöntésprobléma)(könyv 80.old tétel) Az {F1, F2,..., Fn}  = 0 G akkor és csak akkor, ha  = 0 F1  (F2  (...  ( Fn-1  (Fn  G))...) tautológia.

37 Helyes Következtetési formák Definíció: Helyes következtetési forma Az ( { A 1,..., A n }, B ) helyes következtetési forma, ha { A 1,..., A n } kielégíthető és { A 1,..., A n } tautológikus következménye B.

38 Helyes Következtetési formák

39 AB ABAB A  -B következmény iiiii*I ihhih h hiihh I hhihh h Példa: Bizonyítsuk be, hogy az ( { A  B, A }, B ) helyes következtetési forma! igazságtábla: van  = (A  B)  A-t kielégítő sor ( Tétel 1). lusta kiértékelés ”A” feltételformula  I(A)=i Mivel A  B feltételformula és I(A)=i  I(B)=i, tehát van  -t kielégítő interpretáció. És B következmény, hiszen minden  -t kielégítő I-re: I(B)=i.

40 Helyes Következtetési formák Példa folytatás: Bizonyítsuk be, hogy az ( { A  B, A }, B ) helyes következtetési forma! igazságértékelés: van  -t kielégítő interpretáció és B következmény, tehát helyes a következtetési forma.  ((A  B)  A) i  (A  B) i  (A) i  (A) h  (B) i x

41 Visszafele következtetés

42 Igazság értékeléssel

43 Előre következtetés

44

45 MÓDSZER( def. ) igazságtábla ( Tk. 77. old. ) lusta kiértékelés ( Tk. 77. old. ) igazságértékelés ( Tk. 78. old. ) VISSZAKÖVETKEZTETÉS def. szerint igazságtábla lusta kiértékelés igazságértékelés tétel szerint ( Lemma 2 ) igazságtábla ( Tk. 83. old. ) lusta kiértékelés ( Tk. 83. old. ) igazságértékelés ( Tk. 84. old. ) ELŐREKÖVETKEZTETÉS( tétel ) igazságtábla ( Tk. 85. old. ) lusta kiértékelés ( Tk. 85. old. )

46 Bevezetés: A DNF-ek egyszerűsítési algoritmusainak kutatása az es évekre tehető. Ez volt az az időszak, amikor az elektronikus berendezések tervezése korábban funkcionális ( ˄, ˅, ¬, ¬ ˄, ¬ ˅ funkciókat realizáló) elemek alapján, később a programozható logikai mátrixok (PLA), valamint memóriaelemek felhasználásával történt. Egy n-változós A formula az igazságtáblájával megadott b: {i,h} n  {i,h} leképezést (logikai műveletet) ír le. A lehetséges interpretációk száma: 2 n 2 n Az n változós logikai műveletek száma: 2 Melyik logikai műveletek kellenek ahhoz, hogy egy adott nyelven mindegyik logikai művelethez tartozzon legalább egy logikai formula?

47 Definíció: A logikai összekötőjelek halmazát funkcionálisan teljes művelethalmaznak nevezzük, ha e logikai összekötő jelhalmaz elemeinek és ítéletváltozóinak felhasználásával tetszőleges {i,h} n →{i,h} leképezéshez lehet konstruálni a leképezést leíró jólformált formulát. Tetszőleges {i,h} n →{i,h} leképezés leírható csak (¬, ˄, ˅ ) műveleti jeleket tartalmazó jólformált formulával, vagyis hogy a (¬, ˄, ˅ ) funkcionálisan teljes művelethalmaz.

48 Definíciók: 1.Literálnak nevezünk egy x prímformulát/ítéletváltozót vagy annak a negáltját, ¬x-et. A literál alapja a prímformula jele. 2. Azonos alapú literálok azok a literálok, amelyek ugyanazt a prímformulát tartalmazzák. X és ¬x 3. Különböző literálok a különböző alapú literálok. X és Y 4. Elemi konjukciónak nevezzük különböző literálok konjukcióját. X ˄ ¬x ˄ Y ˄ Z 5. Elemi diszjunkciónak nevezzük különböző literálok diszjunkcióját. Az elemi diszjunkciót klóznak is nevezzük. X ˅ ¬x ˅ Y ˅ Z 6. Teljes elemi konjukciónak nevezzük az olyan elemi konjukciót, amelyben a leképezésben szereplő minden ítéletváltozóból alkotott literálpár valamelyike szerepel. 7. Teljes elemi diszjunkciónak nevezzük az olyan elemi diszjunkciót, amelyben a leképezésben szereplő minden ítéletváltozóból alkotott literálpár valamelyike szerepel.

49 Definíciók: 8. Diszjunktív normálforma (DNF) elemi konjunkciók diszjunkciója. (X ˄ ¬x) ˅ (Y ˄ Z) 9. Konjuktív normálforma (KNF) elemi diszjunkciók (vagy klózok) konjunkciója. (X ˅ ¬x) ˄ (Y ˅ Z) 10. Kitűntetett diszjunktív normálforma (KDNF) teljes elemi konjunkciók diszjunkciója. 11. Kitűntetett konjuktív normálforma (KKNF) teljes elemi diszjunkciók konjunkciója. A továbbiakban megadunk két algoritmust, amellyel tetszőleges {i,h} n →{i,h} leképezéshez az azt leíró speciális alakú formula állítható elő. Ezek a kitűntetett diszjunktív normálforma és a kitűntetett konjuktív normálforma. Tekintsük az α={i,h} n →{i,h} leképezés igazságtábláját. Legyenek x 1,x 2,…,x n az igazságtáblán szereplő ítéletváltozók.

50 Kitüntetett diszjunktív normálforma előállítása Válasszuk ki az igazságtábla azon sorait ahol α=i. 1.Minden ilyen sorhoz rendeljünk hozzá egy x’ 1 ˄ x’ 2 ˄ … ˄ x’ n =k s teljes elemi konjunkciót úgy, hogy az x’ i literál x i vagy ¬x i legyen aszerint, hogy ebben a sorban x’ 1 oszlopában i vagy h áll. 2.Az így kapott teljes elemi konjunkciók diszjunkciója k i1 ˅ k i2 ˅ … ˅ k iα az α leképezést leró kitűntetett diszjunktív normálforma. Vegyük észre, hogy k s csak az igazságtábla hozzátartozó sorának megfelelő igazságértékelésre igaz, és így a k i1 ˅ k i2 ˅ … ˅ k iα formula pontosan az i 1,i 2,…,i α igazságkiértékelések mellett igaz.

51 xyzα hhhi**** (¬x ˄ ¬y ˄ ¬z) hhih hihi**** (¬x ˄ y ˄ ¬z) hiii**** (¬x ˄ y ˄ z) ihhi**** (x ˄ ¬y ˄ ¬z) ihih iihi**** (x ˄ y ˄ ¬z) iiih Kitűntetett diszjunktív normálforma előállítása az igazságtábla az elemi konjunkciók A fenti α leképezést leíró kitűntetett diszjunktív normálforma (¬x ˄ ¬y ˄ ¬z) ˅ (¬x ˄ y ˄ ¬z) ˅ (¬x ˄ y ˄ z) ˅ (x ˄ ¬y ˄ ¬z) ˅ (x ˄ y ˄ ¬z) (=α)

52 Kitűntetett konjunktív normálforma előállítása Válasszuk ki az igazságtábla azon sorait, ahol α =h. 1.Minden ilyen sorhoz rendeljünk hozzá egy x 1 ’ ˅ x 2 ’’ ˅ … ˅ x n ’’=d t teljes elemi diszjunkciót úgy, hogy az x 1 ’’ literál x i vagy ¬x i legyen aszerint, hogy ebben a sorban x i oszlopában h vagy i áll. 2.Az így kapott teljes elemi diszjunkciók konjunkciója d i1 ˄ d i2 ˄ … ˄ d iα az alfa leképezést leíró kitűntetett konjunktív normálforma. Vegyük észre, hogy d t csak az igazságtábla hozzátartozó sorának megfelelő igazságértékelésre hamis, és így a d i1 ˄ d i2 ˄ … ˄ d iα formula pontosan az i 1,i 2,…,i α igazságértékelések mellett hamis.

53 xyzα hhhi hhih**** (x ˅ y ˅ ¬z) hihi hiii ihhi ihih**** (¬x ˅ y ˅ ¬z) iihi iiih****(¬x ˅ ¬y ˅ ¬z) Kitűntetett konjunktív normálforma előállítása. az igazságtáblája az elemi diszjunkciók A fenti α leképezést leíró kitűntetett konjunktív normálforma (x ˅ y ˅ ¬z) ˄ (¬x ˅ y ˅ ¬z) ˄ (¬x ˅ ¬y ˅ ¬z) (=α)

54 A normálforma egyszerűsítése Legyen k egy elemi konjunkció és x egy ítéletváltozó, ekkor a k 1 =k ˄ x, k 2 =k ˄ ¬x konjunkciókra a (k ˄ x) ˅ (k ˄ ¬x)=k ˄ (x ˅ ¬x)=k ˄ (i)=k egyszerűsítési szabály alkalmazható. Ezt az egyszerűsítési szabályt alkalmazzuk a kitűntetett diszjunktív normálformák egyszerűsítésére. Az egyszerűsítési szabály alkalmazásával a k ˄ x, k ˄ ¬x kunjunkciópárt a k konjunkcióval helyettesítjük, és így a formulában szereplő konjunkciók száma is csökken. Az egyszerűsítések során a KDNF-ből egy DNF áll elő. A duális egyszerűsítési szabály hasonló módon alkalmas a kitűntetett konjunktív normálformák egyszerűsítésére, ahol k elemi diszjunkció, x ítéletváltozó és az egyszerűsítési szabály (k ˅ x) ˄ (k ˅ ¬x)=k ˅ (x ˄ ¬x)=k ˅ (h)=k.

55 Az alábbiakban megadunk egy algoritmust KDNF-ek egyszerűsítésére. 1.Felírjuk a KDNF-ben szereplő összes elemi konjunkciót. 2.Megvizsgáljuk a konjunkciólistában szereplő összes lehetséges elemi konjunkciópárt, hogy alkalmazható-e rájuk a (k ˄ x) ˅ (k ˄ ¬x)=k egyszerűsítés. Ha igen, akkor a két kiválasztott konjunkciót #-al megjelöljük, és az eredmény konjunkciót beírjuk egy új konjunkciólistába. Azok az elemi konjunkciók, amelyek az eljárás végén nem lesznek megjelölve, nem voltak egyszerűsíthetők, tehát belekerülnek az egyszerűsített diszjunktív normálformába. 3.Ha az új konjunkciólista nem üres, akkor megvizsgáljuk, hogy van-e olyan konjunkciópár, amelyekre a k ˅ k=k összefüggés alkalmazható. A lehetséges összevonások után kapott új konjunkciólista átveszi a konjunkciólista szerepét és a 2. lépés következik. 4.Az eljárás befejeződik, és az algoritmus során kapott, de meg nem jelölt elemi konjunkciókat a ˅ művelettel összekapcsoló formula az eredeti KDNF-el egyenértékű egyszerűsített DNF.

56 Kitűntetett konjunktív normálforma előállítása Válasszuk ki az igazságtábla azon sorait, ahol α =h. 1.Minden ilyen sorhoz rendeljünk hozzá egy x 1 ’ ˅ x 2 ’’ ˅ … ˅ x n ’’=d t teljes elemi diszjunkciót úgy, hogy az x 1 ’’ literál x i vagy ¬x i legyen aszerint, hogy ebben a sorban x i oszlopában h vagy i áll. 2.Az így kapott teljes elemi diszjunkciók konjunkciója d i1 ˄ d i2 ˄ … ˄ d iα az alfa leképezést leíró kitűntetett konjunktív normálforma. Vegyük észre, hogy d t csak az igazságtábla hozzátartozó sorának megfelelő igazságértékelésre hamis, és így a d i1 ˄ d i2 ˄ … ˄ d iα formula pontosan az i 1,i 2,…,i α igazságértékelések mellett hamis.

57 Kitűntetett konjunktív normálforma előállítása Válasszuk ki az igazságtábla azon sorait, ahol α =h. 1.Minden ilyen sorhoz rendeljünk hozzá egy x 1 ’ ˅ x 2 ’’ ˅ … ˅ x n ’’=d t teljes elemi diszjunkciót úgy, hogy az x 1 ’’ literál x i vagy ¬x i legyen aszerint, hogy ebben a sorban x i oszlopában h vagy i áll. 2.Az így kapott teljes elemi diszjunkciók konjunkciója d i1 ˄ d i2 ˄ … ˄ d iα az alfa leképezést leíró kitűntetett konjunktív normálforma. Vegyük észre, hogy d t csak az igazságtábla hozzátartozó sorának megfelelő igazságértékelésre hamis, és így a d i1 ˄ d i2 ˄ … ˄ d iα formula pontosan az i 1,i 2,…,i α igazságértékelések mellett hamis.


Letölteni ppt "Kocsisné Dr. Szilágyi Gyöngyi. Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő 10-12."

Hasonló előadás


Google Hirdetések