ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
|
|
- Artúr Kis
- 5 évvel ezelőtt
- Látták:
Átírás
1 ÍTÉLETKALKULUS SZINTAXIS ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) jelkészlet elválasztó jelek: ( ) logikai műveleti jelek: ítéletváltozók (logikai változók): p, q, r,... ítéletkonstansok: T, F szintaxis szabályai atomi formula (atom) minden ítéletkonstans atomi formula minden ítéletváltozó atomi formula formula minden atomi formula egyben formula is ha A és B formulák, akkor ( A), (A B), (A B), (A B), (A B) kifejezések is formulák a formulaképzés szabálya rekurzív LOGIKA 3 KONJUNKTÍV NORMÁLFORMA ÍTÉLETKALKULUS SZEMANTIKA logikai formula (wff): szabályos szimbólumsorozat igazságértéke ad jelentést (szemantika szabályai szerint) formula interpretációja minden ítéletváltozóhoz igaz (T) vagy hamis (F) érték rendelése minden lehetséges módon interpretált formula kiértékelése műveleti jelek szemantikája alapján (igazságtáblák) REZOLÚCIÓ-bizonyítási eljárás Modell: az az interpretáció amelyben a formula igaz p q p p q p q p q p q T T F T T T T T F F F T F F F T T F T T F F F T F F T T LOGIKA 4 1
2 IMPLIKÁCIÓ FORMULÁK EKVIVALENCIÁJA p q Ha a kutyusok repülnek akkor 2=1. T F hamis előtagból bármi következik? F Értelmezés lehet: Ha p igaz, akkor azt állítom, hogy q is igaz, egyébként q-ról nem állítok semmit. p q p q Két formula ekvivalens, ha minden interpretációban ugyanaz a logikai értékük. Nevezetes ekvivalenciák, logikai törvények: 1. A B = (A B) (B A) 2. A B = A B 3. A B = B Akommutatív A B = B A 4. (A B) C = A (B C) (A B) C = A (B C) asszociatív 5. A (B C) = (A B) (A C) A (B C) = (A B) (A C) disztributív LOGIKA 5 LOGIKA 7 ALAPVETŐ TULAJDONSÁGOK Igazság - Egy formula igaz, ha az, amit leír, valóban előfordul a világban. - Egy formula igazsága függ a világ állapotától, és az interpretációtól (szemantikától) Tautológia / Érvényes formula: pl. A v A - A formula igazsága nem függ sem a világ állapotától, sem a szemantikától. - minden interpretációban igaz, minden modellben benne van T Kontradikció /Ellentmondás: pl. A A - a világ soha nem olyan, mint amilyennek leírja - minden interpretációban hamis, nincs modellje FORMULÁK EKVIVALENCIÁJA Logikai törvények 6. A F = A A T = A 7. A T = T A F = F 8. A A = T A A = F 9. ( A) = A kettős tagadás 10. (A B) = A B (A B) = A B demorgan 11. A (A B) = A A (A B) = A abszorpció, elnyelés A A = A A A = A idempotencia LOGIKA 6 LOGIKA 8 2
3 LOGIKAI KÖVETKEZMÉNY F1: p q F2: q TÉTELBIZONYÍTÁS IGAZSÁGTÁBLÁVAL A W W formula az A formulának logikai következménye, ha W igaz minden olyan interpretációban, amelyben A igaz. LEGALÁBB OTT IGAZ, AHOL A. A 1,..., A n W bizonyos formulákról tudjuk, hogy igazak (A 1,..., A n ) F3: p?: F1 F2 F3 lehetőségek: a. A definíció alapján beláthatjuk, hogy minden olyan interpretációban, amelyben F1 F2 igaz, és ha W ezek logikai következménye, akkor W-nek is igaznak kell lennie igaz F3 is Hogy lehet eldönteni? Pl. Modus Ponens a b a b a (a b) T T T T b. bebizonyíthatjuk, hogy F1 F2 F3 tautológia c. beláthatjuk, hogy F1 F2 F3 kontradikció a (a b) b T F F F F T T F p q F 1 F 2 F 1 F 2 F 3 F 1 F 2 F 3 F 1 F 2 F 3 T T T F F F T F F F T F T F F T F F T F F T T F F T T F LOGIKA 9 F F T T T T T F a b c LOGIKA 11 LOGIKAI KÖVETKEZMÉNY TÉTELBIZONYÍTÁS IGAZSÁGTÁBLÁVAL Logikai következmény fogalmának eldöntése a tautológia fogalmával: A 1,..., A n W akkor és csak akkor, ha (A 1... A n ) W tautológia Logikai következmény fogalmának értelmezése a kontradikció fogalmával: A1,..., An W akkor és csak akkor, ha A1... An W kontradikció Elnevezések: (A1... An) W tétel A1... An tétel axiómái, feltételei W következmény, konklúzió Az interpretációk száma: 2 változó esetén 4 - ok 3 változó esetén 8 - ok 4 változó esetén 16 nem annyira ok, elveszítjük a fonalat n változó esetén 2 n Mekkora szám a 2 n? LOGIKA 10 3
4 TÉTELBIZONYÍTÁS IGAZSÁGTÁBLÁVAL Elég kilátástalannak tűnik nagy számú ítéletváltozó esetén az igazságtáblával történő tételbizonyítás Robinson, 1965: REZOLÚCIÓ Rezolúcióval kapcsolatos következtetési sémák Mire is lesz jó? a b c b Ezt a sémát hívjuk a rez. alap következtetési szabályának a v c Másfajta értelmezések ugyanarra: a b a b c a c a c b c b Rezolúció, Robinson, 1965 (fénykép 2012-ből) Alapelv: - Mind a feltételeket, mind a következmény negáltját (ld. köv. pont) konjunktív normálformára hozzuk - A feltételek következményeit kontradikcióval bizonyítjuk: Feltétel_1 Feltétel_2 Feltétel_k Következmény A kialakított formula kontradikció - Alkalmazzuk a rezolúció alap következtetési sémáját mindaddig, amíg üres klózt nem kapunk: a b d c b d a v c (NIL) Rezolúciós eljárás: cáfoló eljárás (ellentmondással történő bizonyítás), mellyel egy konjunktív normálforma ill. egy klózhalmaz kielégíthetetlenségét bizonyítjuk. Konjunktív normálforma: ( p q) ( q r) ( s r) p s K 1 K 2 K 3 K 4 K 5 speciális részformulák=klózok konjunkciója klóz (K): literálok diszjunkciója ill. egy literál literál: egy ítéletváltozó vagy annak negáltja Implikációs normálforma: NEM KELL TUDNI! speciális részformulák (klózok) konjunkciója klóz: implikáció bal oldalon atomok konjunkciója, jobb oldalon atomok diszjukciója (p q) (q r) (s r F) (T p) (T s) LOGIKA 16 4
5 KONJUNKTÍV NORMÁLFORMA Literál: negált vagy negálatlan atom Pozitv: A KNF: Klózok (diszjunkciók) konjunkciója K K K Negatív, ha A Tétel: Minden formulához létezik vele ekvivalens konjunktív normálforma. Biz.: De Morgan ( ) ( ) 3. ( ) ( ) ( ) ( ) ( ) ( ) Def.: DNF (diszjunktív normálforma): konjunkciók diszjunkciója Megjegyzés: A KNF és DNF duális: ua. mindkettő, csak helyett, helyett. 1 2 n ÍTÉLETKALKULUS PÉLDA állítások: A1: Ha süt a nap, akkor Péter strandra megy. A2: Ha Péter strandra megy, akkor úszik. A3: Péternek nincs lehetősége otthon úszni. A4: Ha süt a nap, akkor Péter nem marad otthon. A1, A2, A3 állításokból következik-e A4? atomok (atomi formulák): p: süt a nap q: Péter strandra megy r: Péter úszik s: Péter otthon marad formulák: F1: p q= p q F2: q r= q r F3: (s r)= s r F4: p s= p s F4: p s KLÓZOK: p és s 2 db! eredeti állítások szerkezetét tükrözi LOGIKA 19 minden formula átalakítható normálformára Transzformációs szabályok: A B = (A B) (B A) ( kiküszöbölése) a) A B = A B ( kiküszöbölése) b) c) (A B) = A B ( hatáskörének redukálása) d) (A B) = A B ( hatáskörének redukálása) A = A ( hatáskörének redukálása) e) A (B C) = (A B) (A C) (klózok konjunkciójának f) létrehozása) (((p q) (q r) (s r)) (p s)) ( (( p q) ( q r) (s r)) ( p s)) ( ( p q) ( q r) (s r) ( p s)) ( p q) ( q r) (s r) ( p s) ( p q) ( q r) ( s r) p s b.) d.) c.) e.) c.) d.) e.) LOGIKA 18 ( p q) ( q r) ( s r) p s formula klóz alak, klóz halmaz: C1: p q C2: q r C3: s r C4: p C5: s Lássuk be, hogy C1... C5 klózhalmaz kontradikció indirekt bizonyítás: tfh létezik modellje (minden klóz igaz) C4 igaz, ha p = T C5 igaz, ha s = T C1 igaz, ha q = T (mivel p = F, C4-ből) C3 igaz, ha r = F (mivel s = F, C5-ből) ellentmondás! C2 igaz, ha q = F (mivel r = F, C3- és C5-ből) LOGIKA 20 5
6 A bizonyítási eljárás szemléltetése: C1: p q C2: q r q C3: s r C4: p C5: s r q rezolúciós gráf, cáfolati gráf új klóz előállítása: rezolúcióval p q s r q r q p s r q q r q NIL NIL LOGIKA 21 rezolválható klózok: ún. komplemens literálpárt tartalmaznak komplemens literálpár: egy logikai változó és a negáltja együtt rezolvens klóz: komplemens literálok elhagyása után maradó részek diszjunkcióval összekapcsolva üres klóz: NIL, minden reprezentációban hamis rezolúció tulajdonságai: algoritmusa nemdeterminisztikus C1: p q p r C2: q r p s C3: s r s C4: p NIL C5: s helyes (logikai következmény) teljes (minden logikai következmény belátható rezolúcióval) LOGIKA 23 A 1, A 2,, A n B?? A 1 A 2 A n B kontrdikció igazolása rezolúciós eljárással A rezolúciós eljárás lépései: Cél tagadása, KNF-RE hozása az axiómákhoz való hozzáadása nem ettől indirekt! Az A 1 A 2 A n B formula klóz formára hozása (kiindulási klózhalmaz) Az üres klóz (NIL) előállításáig: a klózhalmazból két rezolválható klóz választása, a kiválasztott klózok rezolvensének képzése, a rezolvens klóz hozzáadása a klózhalmazba. LOGIKA 22 6
A logikai következmény
Logika 3 A logikai következmény A logika egyik feladata: helyes következtetési sémák kialakítása. Példa következtetésekre : Minden veréb madár. Minden madár gerinces. Minden veréb gerinces 1.Feltétel 2.Feltétel
RészletesebbenMagyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László
MATEMATIKAI LOGIKA A gondolkodás tudománya Diszkrét matematika Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey,
RészletesebbenLOGIKA. Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László.
MATEMATIKAI A gondolkodás tudománya Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey, Tarski, Ramsey, Russel,
RészletesebbenMatematikai logika NULLADRENDŰ LOGIKA
Matematikai logika NULLADRENDŰ LOGIKA Kijelentő mondatokhoz, melyeket nagy betűkkel jelölünk, interpretáció (egy függvény) segítségével igazságértéket rendelünk (I,H). Szintaxisból (nyelvtani szabályok,
RészletesebbenDiszkrét matematika MATEMATIKAI LOGIKA
NULLADRENDŰ LOGIKA (ÍTÉLETKALKULUS) A logikát, mint a filozófia egy részét, már az ókori a görög tudósok is igen magas szinten művelték, pl. Platón (Kr. e. 427- Kr. e. 347), Arisztotelész (Kr.e. 384- Kr.
RészletesebbenLogikai ágensek. Mesterséges intelligencia március 21.
Logikai ágensek Mesterséges intelligencia 2014. március 21. Bevezetés Eddigi példák tudásra: állapotok halmaza, lehetséges operátorok, ezek költségei, heurisztikák Feltételezés: a világ (lehetséges állapotok
RészletesebbenÍtéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
RészletesebbenIntelligens Rendszerek I. Tudásábrázolás formális logikával
Intelligens Rendszerek I. Tudásábrázolás formális logikával 2007/2008. tanév, I. félév Dr. Kovács Szilveszter E-mail: szkovacs@iit.uni-miskolc.hu Miskolci Egyetem Informatikai Intézet 106. sz. szoba Tel:
RészletesebbenAZ INFORMATIKA LOGIKAI ALAPJAI
AZ INFORMATIKA LOGIKAI ALAPJAI Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 4. gyakorlat Interpretáció A ϱ függvényt az L (0) = LC, Con, Form nulladrendű nyelv egy
RészletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. A logikai ekvivalencia Az A és a B elsőrendű formulák logikailag ekvivalensek, ha
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika M asodik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Második előadás Tartalom 2/26 Ítéletlogika - Szemantika (folytatás) Formulák és formulahalmazok szemantikus tulajdonságai Szemantikus következményfogalom Formalizálás
RészletesebbenLogikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák
08EMVI3b.nb 1 In[2]:= Theorema Ítéletlogika 1 Ismétlés Szintaxis Szemantika Logikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák 2 Kalkulusok Kalkulus Levezethetõség Dedukciós
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika 1/36
1/36 Logika és számításelmélet I. rész Logika 2/36 Elérhetőségek Tejfel Máté Déli épület, 2.606 matej@inf.elte.hu http://matej.web.elte.hu Tankönyv 3/36 Tartalom 4/36 Bevezető fogalmak Ítéletlogika Ítéletlogika
RészletesebbenLogikai alapok a programozáshoz
Logikai alapok a programozáshoz Kidolgozott tételek Készítette: Chripkó Ágnes Felhasznált anyagok: előadásvázlat; gyakorlatok anyaga; Pásztorné Varga K., Várterész M.: A matematikai logika alkalmazásszemléletű
RészletesebbenLogika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?
,,Alap kiskérdések Logika és informatikai alkalmazásai kiskérdések 2012. február 19. 1. Hogy hívjuk a 0 aritású függvényjeleket? 2. Definiálja a termek halmazát. 3. Definiálja a formulák halmazát. 4. Definiálja,
RészletesebbenAutomatikus következtetés
Automatikus következtetés 1. Rezolúció Feladat: A 1 : Ha süt a nap, akkor Péter strandra megy. A 2 : Ha Péter strandra megy, akkor úszik. A 3 : Péternek nincs lehetősége otthon úszni. Lássuk be, hogy ezekből
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika Hatodik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Hatodik előadás Tartalom 2/33 Elsőrendű rezolúciós kalkulus - előkészítő fogalmak Prenex formula, Skolem normálforma 3/33 Eldönthető formulaosztályok keresése
RészletesebbenÍtéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Részletesebben2. Ítéletkalkulus szintaxisa
2. Ítéletkalkulus szintaxisa (4.1) 2.1 Az ítéletlogika abc-je: V 0 V 0 A következő szimbólumokat tartalmazza: ítélet- vagy állításváltozók (az állítások szimbolizálására). Esetenként logikai változónak
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenMatematikai logika és halmazelmélet
Matematikai logika és halmazelmélet Wettl Ferenc előadása alapján 2015-09-07 Wettl Ferenc előadása alapján Matematikai logika és halmazelmélet 2015-09-07 1 / 21 Tartalom 1 Matematikai kijelentések szerkezete
Részletesebben3. Magyarország legmagasabb hegycsúcsa az Istállós-kő.
1. Bevezetés A logika a görög,,logosz szóból származik, melynek jelentése gondolkodás, beszéd, szó. A logika az emberi gondolkodás vizsgálatával foglalkozik, célja pedig a gondolkodás során használt helyes
RészletesebbenPredikátumkalkulus. 1. Bevezet. 2. Predikátumkalkulus, formalizálás. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák.
Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Nézzük meg a következ két kijelentést: Minden almához tartozik egy fa, amir l leesett. Bármely
RészletesebbenÍrta: PIGLERNÉ LAKNER ROZÁLIA STARKNÉ WERNER ÁGNES ÁGENS-TECHNOLÓGIA. Egyetemi tananyag
Írta: PIGLERNÉ LAKNER ROZÁLIA STARKNÉ WERNER ÁGNES ÁGENS-TECHNOLÓGIA Egyetemi tananyag 2011 COPYRIGHT: 2011 2016, Piglerné Dr. Lakner Rozália, Starkné Dr. Werner Ágnes, Pannon Egyetem Műszaki Informatikai
RészletesebbenKijelentéslogika, ítéletkalkulus
Kijelentéslogika, ítéletkalkulus Kijelentés, ítélet: olyan kijelentő mondat, amelyről egyértelműen eldönthető, hogy igaz vagy hamis Logikai értékek: igaz, hamis zürke I: 52-53, 61-62, 88, 95 Logikai műveletek
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 9. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Egy HF múlt hétről HF1. a) Egyesíthető: s = [y/f(x,
RészletesebbenLOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 3. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa
RészletesebbenKijelentéslogika, ítéletkalkulus
Kijelentéslogika, ítéletkalkulus Arisztotelész (ie 4. sz) Leibniz (1646-1716) oole (1815-1864) Gödel (1906-1978) Neumann János (1903-1957) Kalmár László (1905-1976) Péter Rózsa (1905-1977) Kijelentés,
RészletesebbenLogikai alapok a programozáshoz
Logikai alapok a programozáshoz Nagy Károly 2014 Nyíregyházi Főiskola Matematika és Informatika Intézet 1 Tartalomjegyzék 1. Kijelentés logika, ítéletkalkulus 2 2. A kijelentés logika törvényei 5 3. Logikai
Részletesebben1. Tétel - Az ítéletkalkulus alapfogalmai
A tételhez hozzátartozik az elsőrendű nyelv szemantikája! 1. Tétel - Az ítéletkalkulus alapfogalmai Ítéletkalkulus - Az elsőrendű logika azon speciális este, amikor csak 0 ad rendű predikátumszimbólumok
RészletesebbenElsőrendű logika. Mesterséges intelligencia március 28.
Elsőrendű logika Mesterséges intelligencia 2014. március 28. Bevezetés Ítéletkalkulus: deklaratív nyelv (mondatok és lehetséges világok közti igazságrelációk) Részinformációkat is kezel (diszjunkció, negáció)
RészletesebbenPredikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.
Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Vizsgáljuk meg a következ két kijelentést. Minden almához tartozik egy fa, amir l leesett.
Részletesebben2004/2005 Logikai alapok a programozáshoz. (Kidolgozott vizsgakérdések) Előadó: Pásztorné Dr. Varga Katalin
2004/2005 Logikai alapok a programozáshoz (Kidolgozott vizsgakérdések) Előadó: Pásztorné Dr. Varga Katalin 1. Tétel Mi a logika, ezen belül a matematikai logika tárgya és feladata? Milyen nyelvi eszközöket
RészletesebbenLogikai ágens, lehetőségek és problémák 2
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs rendszerek Tanszék Mesterséges Intelligencia - MI Logikai ágens, lehetőségek és problémák 2 Előadó: Hullám Gábor Pataki Béla
RészletesebbenLogikai alapok a programozáshoz. Nagy Károly 2014
Logikai alapok a programozáshoz előadások összefoglalója (Levelezős hallgatók számára) Nagy Károly 2014 1 1. Kijelentés logika, ítéletkalkulus 1.1. Definíció. Azokat a kijelentő mondatokat, amelyekről
RészletesebbenFelmentések. Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat és vizsga alól.
Felmentések Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat és vizsga alól. Az eredménye, ezek után a számításelélet részből elért eredmény
RészletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Az elsőrendű logikai nyelv interpretációja L interpretációja egy I-vel jelölt függvénynégyes,
RészletesebbenAlapfogalmak-szemantika
Volt (a helyes következtetéseknél): ELSŐRENDŰ LOGIKA Minden veréb madár. Minden madár gerinces. Minden veréb gerinces. Feltétel1 Feltétel2 Következmény Érezzük, hogy a leírt következtetés helyes. Azonban
RészletesebbenDeníciók és tételek a beugró vizsgára
Deníciók és tételek a beugró vizsgára (a szóbeli viszgázás jogáért) Utolsó módosítás: 2008. december 2. 2 Bevezetés Számítási problémának nevezünk egy olyan, a matematika nyelvén megfogalmazott kérdést,
RészletesebbenA matematika nyelvér l bevezetés
A matematika nyelvér l bevezetés Wettl Ferenc 2012-09-06 Wettl Ferenc () A matematika nyelvér l bevezetés 2012-09-06 1 / 19 Tartalom 1 Matematika Matematikai kijelentések 2 Logikai m veletek Állítások
RészletesebbenFelmentések. Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21
Felmentések Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21 Felmentések Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat
Részletesebben1. A matematikai logika alapfogalmai. 2. A matematikai logika műveletei
1. A matematikai logika alapfogalmai Megjegyzések: a) A logikában az állítás (kijelentés), valamint annak igaz vagy hamis voltát alapfogalomnak tekintjük, nem definiáljuk. b) Minden állítással kapcsolatban
RészletesebbenAutomatikus tételbizonyítás
Automatikus tételbizonyítás előadások Várterz Magda Kádek Tamás Automatikus tételbizonyítás: előadások Várterz Magda Kádek Tamás Table of Contents 1 Előszó 1 2 Bevezet 2 1 Az elsőrendű nyelv szintaxisa
RészletesebbenAlgoritmusok a tételbizonyításban
Debreceni Egyetem Informatikai Kar Számítógéptudományi Tanszék Algoritmusok a tételbizonyításban Témavezet : dr. Várterész Magda egyetemi docens Készítette: Tanyi Attila Programtervez informatikus (B.Sc.)
RészletesebbenA TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
RészletesebbenLogika kiskáté. Mihálydeák Tamás és Aszalós László
Logika kiskáté Mihálydeák Tamás és Aszalós László 2012 1. Definíciók 1. Adja meg a klasszikus nulladrendű nyel definícióját! Klasszikus nulladrendű nyelen az L (0) = LC, Con, F orm rendezett hármast értjük,
RészletesebbenLogika kiskáté. Mihálydeák Tamás és Aszalós László
Logika kiskáté Mihálydeák Tamás és Aszalós László 2012 1. Definíciók 1. Adja meg a klasszikus nulladrendű nyel definícióját! Klasszikus nulladrendű nyelen az L (0) = LC, Con, F orm rendezett hármast értjük,
RészletesebbenDISZKRÉT MATEMATIKA. Elsőrendű Logika. Minden madár gerinces.
Elsőrendű Logika Volt (a helyes következtetéseknél): Minden veréb madár. Minden madár gerinces. Minden veréb gerinces. Feltétel1 Feltétel2 Következmény Érezzük, hogy a leírt következtetés helyes. Azonban
RészletesebbenLogika és számításelmélet Készítette: Nagy Krisztián
Logika és számításelmélet Készítette: Nagy Krisztián LOGIKA RÉSZ 1. Gondolkodásforma vagy következtetésforma Egy F = {A 1, A 2,, A n } állításhalmazból és egy A állításból álló (F, A) pár. 2. Helyes következtetésforma
RészletesebbenLogika és informatikai alkalmazásai. Wednesday 17 th February, 2016, 09:03
Logika és informatikai alkalmazásai Wednesday 17 th February, 2016, 09:03 A logika rövid története 2 A logika rövid története Ókor Triviális: A trivium szóból származik trivium (tri+via = három út): nyelvtan,
Részletesebben2019/02/11 10:01 1/10 Logika
2019/02/11 10:01 1/10 Logika < Számítástechnika Logika Szerző: Sallai András Copyright Sallai András, 2011, 2012, 2015 Licenc: GNU Free Documentation License 1.3 Web: http://szit.hu Boole-algebra A Boole-algebrát
RészletesebbenDISZKRÉT MATEMATIKA. Elsőrendű Logika. Minden madár gerinces. SZEMANTIKA
Elsőrendű Logika Volt (a helyes következtetéseknél): Minden veréb madár. Minden madár gerinces. Minden veréb gerinces. Feltétel1 Feltétel2 Következmény Érezzük, hogy a leírt következtetés helyes. Azonban
RészletesebbenDiszkrét matematika I.
Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 2. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Matematikai logika Diszkrét matematika I. középszint
Részletesebbenb, Van olyan makacs ember, a senki más tanácsára nem hallgat. (Univerzum az emberek halmaza)
Elsőrendű logika. Formalizálja az alábbi mondatokat: a, Aki másnak vermet ás, maga esik verembe. (Univerzum az emberek halmaza) ( yv ( E( ) E(: verembe esik, V(: vermet ás y-nak b, Van olyan makacs ember,
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai Iván Szabolcs 2017 tavasz Iván Szabolcs Logika és informatikai alkalmazásai 2017 tavasz 1 / 309 A kurzusról Vizsga kell hozzá átmenő gyakjegy (idén, tavaly, tavalyelőtt
RészletesebbenHalmazelmélet és logika
Halmazelmélet és logika Dr. Szilágyi Ibolya szibolya@ektf.hu Matematika és Informatika Intézet EKF, Eger 2006/07 I. szemeszter Dr. Szilágyi Ibolya (EKF) Logika 2006/007 1 / 58 Outline A halmazelmélet és
RészletesebbenLOGIKA ÉS SZÁMÍTÁSELMÉLET KIDOLGOZOTT JEGYZET
LOGIKA ÉS SZÁMÍTÁSELMÉLET KIDOLGOZOTT JEGYZET Készítette: Butkay Gábor és Gyenes József A jegyzet a 2013-2014-es tanév 2. felében lévő Logika és számításelmélet előadások alapján született. A jegyzet nem
RészletesebbenMesterséges Intelligencia MI
Mesterséges Intelligencia MI Logikai ágens ügyesebben Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade Mit tudunk már?
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika Negyedik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Negyedik előadás Tartalom 2/26 Az elsőrendű logika szemantikája Formulák és formulahalmazok szemantikus tulajdonságai Elsőrendű logikai nyelv interpretációja
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 6. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenLevezetések klasszikus nulladrendű logikai kalkulusban
Levezetések klasszikus nulladrendű logikai kalkulusban Molnár Attila 2008. november 21. Ebben az óravázlatban a nulladrendű logikai kalkulusbeli tételek levezetéséről esik majd szó. Következzen egy gyors
RészletesebbenAz informatika logikai alapjai előadások
VÁRTERÉSZ MAGDA Az informatika logikai alapjai előadások 2006/07-es tanév 1. félév Tartalomjegyzék 1. Bevezetés 2 2. Az ítéletlogika 18 2.1. Az ítéletlogika nyelve szintaxis...............................................
RészletesebbenDiszkrét matematika I.
Diszkrét matematika I. középszint 2013 ősz 1. Diszkrét matematika I. középszint 8. előadás Mérai László merai@compalg.inf.elte.hu compalg.inf.elte.hu/ merai Komputeralgebra Tanszék 2013 ősz Kombinatorika
RészletesebbenA matematika nyelvéről bevezetés
A matematika nyelvéről bevezetés Wettl Ferenc 2006. szeptember 19. Wettl Ferenc () A matematika nyelvéről bevezetés 2006. szeptember 19. 1 / 17 Tartalom 1 Matematika Kijelentő mondatok Matematikai kijelentések
RészletesebbenMesterséges intelligencia
Mesterséges intelligencia Problémák és az útkeresések kapcsolata Az MI problémái, hogy a megoldandó feladatai nehezek, hatalmas a lehetséges válaszok tere (problématér), a helyes válaszok megtalálása intuíciót,
RészletesebbenMemo: Az alábbi, "természetes", Gentzen típusú dedukciós rendszer szerint készítjük el a levezetéseket.
Untitled 2 1 Theorema Predikátumlogika 1 3 Natural Deduction (Gentzen mag/alap kalkulus) Cél: a logikai (szematikai) következményfogalom helyett a (szintaktikai) levethetõség vizsgálata. A bizonyítási
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 9. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Részletesebbendefiniálunk. Legyen egy konfiguráció, ahol és. A következő három esetet különböztetjük meg. 1. Ha, akkor 2. Ha, akkor, ahol, ha, és egyébként.
Számításelmélet Kiszámítási problémának nevezünk egy olyan, a matematika nyelvén megfogalmazott kérdést, amire számítógéppel szeretnénk megadni a választ. (A matematika nyelvén precízen megfogalmazott
RészletesebbenModellellenőrzés. dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Modellellenőrzés dr. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék 1 Mit szeretnénk elérni? Informális vagy félformális tervek Informális követelmények Formális modell: KS, LTS, TA
RészletesebbenFormális szemantika. Kifejezések szemantikája. Horpácsi Dániel ELTE Informatikai Kar
Formális szemantika Kifejezések szemantikája Horpácsi Dániel ELTE Informatikai Kar 2016-2017-2 Az előadás témája Egyszerű kifejezések formális szemantikája Az első lépés a programozási nyelvek szemantikájának
RészletesebbenDebreceni Egyetem Informatika Kar. Mesterséges Intelligencia algoritmusok: A SAT probléma
Debreceni Egyetem Informatika Kar Mesterséges Intelligencia algoritmusok: A SAT probléma Témavezető: Dr. Nagy Benedek Egyetemi adjunktus Készítette: Debreceni Béla Programtervező-matematikus Debrecen 28
RészletesebbenMATEMATIK A 9. évfolyam. 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR
MATEMATIK A 9. évfolyam 2. modul: LOGIKA KÉSZÍTETTE: VIDRA GÁBOR Matematika A 9. évfolyam. 2. modul: LOGIKA Tanári útmutató 2 MODULLEÍRÁS A modul célja Időkeret Ajánlott korosztály Modulkapcsolódási pontok
RészletesebbenLogika és számításelmélet. 11. előadás
Logika és számításelmélet 11. előadás NP-teljesség Emlékeztetőül: NP-teljes nyelv Egy L probléma NP-teljes (a polinom idejű visszavezetésre nézve), ha L NP L NP-nehéz, azaz minden L NP esetén L p L. Azaz
RészletesebbenAlgoritmusok bonyolultsága
Algoritmusok bonyolultsága 11. előadás http://www.ms.sapientia.ro/~kasa/komplex.htm () 1 / 1 NP-telesség Egy L nyelv NP-teles, ha L NP és minden L NP-re L L. Egy Π döntési feladat NP-teles, ha Π NP és
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika Harmadik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Harmadik előadás Tartalom 2/33 Elsőrendű logika bevezetés Az elsőrendű logika szintaxisa 3/33 Nulladrendű állítás Az ítéletlogikában nem foglalkoztunk az álĺıtások
RészletesebbenBOOLE ALGEBRA Logika: A konjunkció és diszjunkció tulajdonságai
BOOLE ALGEBRA Logika: A konjunkció és diszjunkció tulajdonságai 1.a. A B B A 2.a. (A B) C A (B C) 3.a. A (A B) A 4.a. I A I 5.a. A (B C) (A B) (A C) 6.a. A A I 1.b. A B B A 2.b. (A B) C A (B C) 3.b. A
RészletesebbenDiszkrét Matematika. Ha Picur akkor és csak akkor szabadítja ki a kalitkából Gombóc Artúrt, ha Artúr
FELADATOK AZ ÍTÉLETKALKULUS TÉMAKÖRHÖZ Diszkrét Matematika 3.1. Feladat. Döntse el, hogy az (a) A ( ( B) (C B) ) ( ) (b) A ( B) (C B) ( ) ( ) (c) (A ( B)) C B (d) A ( B) (C B) formulák közül a prímítéletek
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 2. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit
Részletesebben1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata.
1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata. HLMZOK halmaz axiomatikus fogalom, nincs definíciója. benne van valami a halmazban szintén axiomatikus fogalom,
RészletesebbenNegáció igazságtáblája. Propozicionális logika -- levezetések. Diszjunkció igazságtáblája. Konjunkció igazságtáblája. Kondicionális igazságtáblája
Negáció igazságtáblája Propozicionális logika -- levezetések p ~p I H H I Konjunkció igazságtáblája Diszjunkció igazságtáblája p q p&q I I I I H H H I H H H H p q pvq I I I I H I H I I H H H Megengedő
RészletesebbenALGORITMUSOK ÉS BONYOLULTSÁGELMÉLET Matematika MSc hallgatók számára
ALGORITMUSOK ÉS BONYOLULTSÁGELMÉLET Matematika MSc hallgatók számára 7. Előadás: Hálózatok, P- és N P-teljes problémák Előadó: Hajnal Péter 2015. tavasz 1. Hálózatok és egy P-teljes probléma Emlékeztető.
Részletesebben1. Logikailag ekvivalens
Informatikai logikai alapjai Mérnök informatikus 4. gyakorlat 1. Logikailag ekvivalens 1. Az alábbi formulák közül melyek logikailag ekvivalensek a ( p p) formulával? A. ((q p) q) B. (q q) C. ( p q) D.
RészletesebbenElsőrendű logika szintaktikája és szemantikája. Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1
Elsőrendű logika szintaktikája és szemantikája Logika és számításelmélet, 3. gyakorlat 2009/10 II. félév Logika (3. gyakorlat) 0-adrendű szemantika 2009/10 II. félév 1 / 1 Az elsőrendű logika Elemek egy
RészletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Formulahalmaz kielégíthetősége Ezen az előadáson Γ-val egy elsőrendű logikai nyelv
RészletesebbenMáté: Számítógép architektúrák
Fixpontos számok Pl.: előjeles kétjegyű decimális számok : Ábrázolási tartomány: [-99, +99]. Pontosság (két szomszédos szám különbsége): 1. Maximális hiba: (az ábrázolási tartományba eső) tetszőleges valós
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2009 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit
RészletesebbenHalmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések
1 Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések A matematikában alapfogalmaknak tekintjük azokat a fogalmakat, amelyeket nem határozunk meg, nem definiálunk más fogalmak segítségével
RészletesebbenA Formális nyelvek vizsga teljesítése. a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon:
A Formális nyelvek vizsga teljesítése a) Normál A vizsgán 60 pont szerezhet, amely két 30 pontos részb l áll össze az alábbi módon: 1. Öt rövid kérdés megválaszolása egyenként 6 pontért, melyet minimum
RészletesebbenTANULÁS. I. Logikai formulák tanulása. Tanulási módok. Miért m ködik jól az induktív tanulás? Induktív tanulás
TANULÁS Egy algoritmus tanul, ha egy feladat megoldása során olyan változások következnek be a m ködésében, hogy kés bb ugyanazt a feladatot vagy ahhoz hasonló más feladatokat jobb eredménnyel, illetve
Részletesebben1. Definíciók. 2. Formulák. Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat
Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat 1. Definíciók A feladatokban bevezetünk két újabb logikai konstanst: a és jellel jelölteket. Ez a két konstans önmagában is formulának tekintendő.
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2016. ősz 1. Diszkrét matematika 1. középszint 2. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
RészletesebbenÉsik Zoltán (SZTE Informatikai Tanszékcsoport) Logika a számtastudományban Logika és informatikai alkalmazásai Varterész Magdolna, Uni-Deb
Logika, 5. Az előadásfóliák ÉsikZoltén (SZTE InformatikaiTanszékcsoport) Logikaa szamtastudomanyban Logikaes informatikaialkalmazasai Előadásai alapján készültek Ésik Zoltán (SZTE Informatikai Tanszékcsoport)
RészletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika
Logika Indukció: A fogalomalkotásnak azt a módját, amikor a konkrét tapasztalatokra támaszkodva jutunk el az általános fogalomhoz, indukciónak nevezzük. Dedukció: A fogalomalkotásnak azt a módját, amikor
RészletesebbenAlgoritmusok Tervezése. Fuzzy rendszerek Dr. Bécsi Tamás
Algoritmusok Tervezése Fuzzy rendszerek Dr. Bécsi Tamás Bevezetés Mese a homokkupacról és a hidegről és a hegyekről Bevezetés, Fuzzy történet Két értékű logika, Boole algebra Háromértékű logika n értékű
RészletesebbenVizsgafeladatok és gyakorló feladatok generálása
Vizsgafeladatok és gyakorló feladatok generálása Aszalós László Debreceni Egyetem, Informatikai Kar 2018. október 4. Aszalós L. (DEIK) Feladatok generálása 2018/10/4 1 / 23 Tartalom 1 Előélet 2 Motiváció
RészletesebbenVálogatott fejezetek a logikai programozásból ASP. Answer Set Programming Kelemen Attila
ASP 1 Kedvcsináló N királynő 3+1 sorban index(1..n). % minden sorban pontosan 1 királynő van 1{q(X,Y):index(X)}1 :- index(y). % az rossz, ha ugyanabban az oszlopban 2 királynő van :- index(x; Y1; Y2),
RészletesebbenMatematikai logika. Nagy Károly 2009
Matematikai logika előadások összefoglalója (Levelezős hallgatók számára) Nagy Károly 2009 1 1. Elsőrendű nyelvek 1.1. Definíció. Az Ω =< Srt, Cnst, F n, P r > komponensekből álló rendezett négyest elsőrendű
RészletesebbenDiszkrét matematika I. gyakorlat
Vizsgafeladatok megoldása 2012. december 5. Tartalom Teljes feladatsor #1 1 Teljes feladatsor #1 2 Teljes feladatsor #2 3 Teljes feladatsor #3 4 Teljes feladatsor #4 5 Válogatott feladatok 6 Végső bölcsesség
Részletesebben