Knoch László: Információelmélet LOGIKA
|
|
- Lajos Kis
- 8 évvel ezelőtt
- Látták:
Átírás
1 Mi az ítélet? Az ítélet olyan mondat, amely vagy igaz, vagy hamis. Azt, hogy az adott ítélet igaz vagy hamis, az ítélet logikai értékének nevezzük. Jelölése: i igaz h hamis A 2 páros és prím. Logikai értéke pedig igaz. A mákos tészta egyik alapanyaga a mustár. Ennek logikai értéke hamis. Most következzen egy mondat, ami nem ítélet: Hazudok. Ennek nem dönthető el a logikai értéke, hiszen: 1. ha igaz, akkor hazudok, tehát hamis 2. ha hamis, akkor igazat mondok, vagyis igaz. Az elemi ítélet és az ítélet Az elemi ítélet olyan ítélet, amely nem bontható tovább más ítéletekre. Minden ítélet egy vagy több elemi ítélet logikai műveletekkel való összekapcsolásával hozható létre. Egy összetett ítélet: A 2 páros és prím. Ez két elemi ítélet összekapcsolása az ÉS logikai művelettel. Az elemi ítélet és az ítélet Knoch László: Információelmélet LOGIKA A logikai műveletek Legyen A illetve B ítélet a következő. A: A gomba növény. (logikai értéke: h) B: A kukorica növény. (logikai értéke: i) C: A gorilla emlős. (logikai értéke: i) Ebből képezhetünk összetett ítéleteket. Például a következőket. 1
2 A negáció Jele:Ø A negáció az ítélet tagadása. Ha p igaz, akkor p hamis. Ha pedig p hamis, akkor p igaz. p: Süt a nap. Ha a "süt a nap" kijelentés igaz, akkor a "nem süt a nap" kijelentés hamis. Ha a "süt a nap" kijelentés hamis, akkor a "nem süt a nap" kijelentés igaz. A konjunkció Jele: Ù Ha két vagy több ítéletet összekapcsolunk az ÉS kötőszóval, új ítéletet kapunk. Ez a logikai művelet a konjunkció. Egy konjunkció logikai értéke csak akkor igaz, ha a benne szereplő ítéletek mindegyike igaz. Egyébként hamis. r: A hidrogén nemesgáz. s: A hidrogén vegyjele H. A hidrogén nem nemesgáz, tehát az állítások közül az első hamis. A hidrogén vegyjele H, tehát a második állítás igaz. Így a "hidrogén nemesgáz ÉS vegyjele H" állítás hamis lesz. A diszjunkció Jele: Ú Ha két vagy több ítéletet összekapcsolunk a VAGY kötőszóval, új ítéletet kapunk. Ez a logikai művelet a diszjunkció. Egy diszjunkció logikai értéke akkor igaz, ha a benne szereplő ítéletek közül legalább az egyik igaz. Egyébként hamis. r: A kukorica növény. s: A kukorica állat. A kukorica növény, tehát az állítások közül az első igaz. A kukorica nem állat, tehát a második állítás hamis. Így a "kukorica növény vagy állat" állítás igaz lesz, mivel legalább az egyik teljesült. 2
3 Az antivalencia Jele: Å Olyan vagy művelet, amely akkor igaz, ha a benne szereplő állítások közül pontosan egy igaz. Egyébként hamis. r: Rendet rakok a szobámban. s: Kimegyek görkorcsolyázni. A "VAGY rendet rakok a szobámban, VAGY kimegyek görkorcsolyázni." mondat hamis, ha mindkét állítás igaz. Azaz akkor igaz, ha rendet rakok a szobámban, de nem korcsolyázom, vagy ha korcsolyázom, de nem rakok rendet. Az implikáció Jele: Ha p és q két állítás, akkor a HA p, AKKOR q alakú új állítást implikációnak, vagy következtetésnek nevezzük, és azt jelenti, ha p igaz, akkor q is igaz. Ezt úgy mondjuk, hogy "p implikálja q-t". Az implikáció csak akkor hamis, ha a feltétel igaz, és a következmény hamis ( p igaz, de q hamis). Az implikáció tehát két részből áll: Tehát csak akkor hamis az implikáció, ha igaz feltételből hamis lesz a következtetés. 3 r: esik az eső s: vizes a járda A r s implikáció így hangzik: "Ha esik az eső, akkor vizes a járda". Ennek logikai értéke igaz. A s r implikáció, ami az előző megfordítása pedig így hangozhat: "Ha vizes a járda, akkor esik az eső". Amint látjuk ennek lehet hamis is a logikai értéke, például, ha egy locsoló kocsi járt arra. Láthatjuk tehát, hogy egy implikációnak és megfordításának nem feltétlenül egyezik meg a logikai értéke. Az ekvivalencia Jele: «Ha egy implikációnak és megfordításának logikai értéke megegyezik (vagy egyszerre igaz, vagy egyszerre hamis), akkor ezt ekvivalenciának nevezzük. Ha például p q igaz, és megfordítása q p is egyszerre igaz, akkor implikációnak nevezzük. Vagy ha r s hamis, és megfordítása s r is egyszerre hamis, akkor szintén implikációról beszélünk. Tehát az implikáció így írható fel: (p q) (q p) Az ekvivalenciát a "p akkor és csak akkor, ha q" alakban szoktuk megfogalmazni. Példa: p: A háromszög egyenlő oldalú q: A háromszög minden szöge egyenlő p q: A háromszög akkor és csak akkor egyenlő oldalú, ha minden szöge egyenlő.
4 Ezt megfogalmazhatnánk két implikáció formájában is: Ha a háromszög egyenlő oldalú, akkor minden szöge egyenlő. ÉS Ha a háromszög minden szöge egyenlő, akkor egyenlő oldalú. A Sheffer művelet Jele: Kizárásnak is szokás nevezni. A művelet logikai értéke csak akkor hamis, ha az ítéletek közül mindkettő igaz. Úgy is fogalmazhatunk, hogy a Sheffer művelet akkor igaz, ha legalább az egyik állítás hamis. A sem-sem művelet Jele: ~ A művelet logikai értéke csak akkor igaz, ha az ítéletek közül mindkettő hamis. MŰVELETEK: Legyenek p, q, r és s a következő ítéletek! p: Szép nap van. q: Még a rabkocsiból is nóta hangzik. r: Kutyák futkosnak az árokszélen. s: Mindenki remekül tölti az időt. 1. feladat: Fogalmazd meg a következő kijelentéseket! a) p Ù r b) p s Ù q c) r Å s Megoldás: a) Szép nap van és kutyák futkosnak az árokszélen. b) Ha szép nap van, akkor mindenki remekül tölti az időt, és még a rabkocsiból is nóta hangzik. c) Vagy kutyák futkosnak az árokszélen, vagy mindenki remekül tölti az időt. 4
5 Írd fel a következő mondatokat logikai jelek segítségével! a) Mindenki remekül tölti az időt, és kutyák futkosnak az árokszélen. b) Ha nem futkosnak kutyák az árokszélen, akkor mindenki remekül tölti az időt. c) Akkor és csak akkor tölti mindenki remekül az időt, ha még a rabkocsiból is nóta hangzik. Megoldás: a) s Ù r b) Ør s c) s «q Add meg a következő kifejezés logikai értékét, ha p igaz, q igaz, r hamis, s hamis. a) p q b) q Å s c) s p d) Ø s e) q Ú r f) s ~ r Megoldás: a) igaz, mert ha az implikáció feltétele és következménye is igaz, akkor az implikáció is igaz. b) igaz, mert az antivalencia akkor igaz, ha az ítéletek közül pontosan az egyik igaz, itt pedig q igaz, és s hamis. c) igaz, mert a Sheffer művelet csak akkor hamis, ha mindkét ítélet igaz, itt pedig az egyik (s) hamis. d) igaz, mert s hamis, ezért negációja (tagadása) igaz. e) igaz, mert a diszjunkció akkor igaz, ha legalább az egyik ítélet igaz. f) igaz, mert a sem-sem művelet csak akkor igaz, ha mindkét ítélet hamis. Itt pedig r és s is hamis. A műveletek sorrendje Egy többszörösen összetett művelet logikai értékét többféleképpen lehetne értelmezni, ha nem állítanánk fel egy műveleti sorrendet. A logika műveleteknél ez a következő. 1. negáció 2. konjunkció 3. diszjunkció 4. implikáció 5. ekvivalencia Egyenértékű jelek esetén pedig balról jobbra végezzük el a műveleteket. Nézzük meg, hogy milyen értékeket vehet fel a kifejezés attól függően, hogy milyen sorrendet határozunk meg. 1. Először a negációt végezzük el, azután a konjunkciót: 2. most nézzük meg milyen igazságértékeket kapunk, ha a konjunkciót végezzük el először, és csak azután a negációt: Láthatjuk, hogy két teljesen különböző eredményt kaptunk, tehát fontos, hogy figyeljünk a helyes műveleti sorrendre. 5
6 Logikai érték kiszámítása igazságtáblával A több állításból álló ítéletek logikai értékének kiszámítása nehezen követhető, ha segítség nélkül próbáljuk végiggondolni. Az igazságtábla segít rendszerezni a különböző műveletek logikai értékét. Példa: (pø q )Ú(pÙr) A logikai értékek meghatározásához tudnunk kell a pø q és a pùr kifejezések logikai értékét. A pùr meghatározható közvetlenül a p és az r logikai értékeiből, de a pø q meghatározásához még szükségünk van a q értékeire is. Először beírjuk p, q és r összes variációját. Majd q alapján Øq-t határozzuk meg. Így könnyen megadható pø q kifejezés. Ezután megadjuk pùr logikai értékeit. pø q és pùr alapján meghatározható a végeredmény. Határozd meg a következő ítéletek lehetséges logikai értékeit igazságtábla segítségével! a) (AÙB) (ØAÚB) b) (ØpØÙ q)ú(q r) 6
7 7
1. 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é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észletesebbenA logika, és a matematikai logika alapjait is neves görög tudós filozófus Arisztotelész rakta le "Analitika" című művében, Kr.e. IV. században.
LOGIKA A logika tudománnyá válása az ókori Görögországban kezdődött. Maga a logika szó is görög eredetű, a logosz szó jelentése: szó, fogalom, ész, szabály. Már az első tudósok, filozófusok, és politikusok
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é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é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é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é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é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észletesebbenMatematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1
3. fejezet Matematikai logika Logikai m veletek, kvantorok D 3.1 A P és Q elemi ítéletekre vonatkozó logikai alapm veleteket (konjunkció ( ), diszjunkció ( ), implikáció ( ), ekvivalencia ( ), negáció
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é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észletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Megoldás
Megoldás 1. Melyik mondat állítás a következőek közül? A: Szép idő van ma? B: A 100 szép szám. C: Minden prímszám páratlan. D: Bárcsak újra nyár lenne! Az állítás olyan kijelentő mondat, melyről egyértelműen
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é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észletesebbenKijelentéslogika I. 2004. szeptember 24.
Kijelentéslogika I. 2004. szeptember 24. Funktorok A természetesnyelvi mondatok gyakran összetettek: további mondatokból, végső soron pedig atomi mondatokból épülnek fel. Az összetevő mondatokat mondatkonnektívumok
RészletesebbenMatematika Logika
Matematika Logika 1 Állítások - Kijelentések Az alábbi kijelentő mondatok közül válaszd ki az állításokat! 1. Minden prímszám páratlan 2. Holnap jó műsor lesz a tv-ben. 3. Az óvodában a legszebb lány Veronika.
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é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észletesebbenMatematikai logika. Jegyzet. Összeállította: Faludi Anita 2011.
Matematikai logika Jegyzet Összeállította: Faludi Anita 2011. Tartalomjegyzék Bevezetés... 3 Előzmények... 3 Augustus de Morgan (1806-1871)... 3 George Boole(1815-1864)... 3 Claude Elwood Shannon(1916-2001)...
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észletesebbenBevezetés a Formális Logikába Érveléstechnika-logika 7.
Bevezetés a Formális Logikába Érveléstechnika-logika 7. Elemi és összetett állítások Elemi állítások Állítás: Jelentéssel bíró kijelentő mondat, amely információt közöl a világról. Az állítás vagy igaz
RészletesebbenBizonyítási módszerek ÉV ELEJI FELADATOK
Bizonyítási módszerek ÉV ELEJI FELADATOK Év eleji feladatok Szükséges eszközök: A4-es négyzetrácsos füzet Letölthető tananyag: Emelt szintű matematika érettségi témakörök (2016) Forrás: www.mozaik.info.hu
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é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é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é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 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észletesebbenÁTVÁLTÁSOK SZÁMRENDSZEREK KÖZÖTT, SZÁMÁBRÁZOLÁS, BOOLE-ALGEBRA
1. Tízes (decimális) számrendszerből: a. Kettes (bináris) számrendszerbe: Vegyük a 2634 10 -es számot, és váltsuk át bináris (kettes) számrendszerbe! A legegyszerűbb módszer: írjuk fel a számot, és húzzunk
RészletesebbenA 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észletesebben25. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel
5. tétel: Bizonyítási módszerek és bemutatásuk tételek bizonyításában, tétel és megfordítása, szükséges és elégséges feltétel Axióma: Bizonyítás: olyan állítás, amelynek igazságát bizonyítás nélkül elfogadjuk.
RészletesebbenLOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 1. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa
RészletesebbenSULINOVA PROGRAMTANTERVÉHEZ ILLESZKEDŐ TANMENET 9. ÉVFOLYAM SZÁMÁRA
1 SULINOVA PROGRAMTANTERVÉHEZ ILLESZKEDŐ TANMENET 9. ÉVFOLYAM SZÁMÁRA Heti óraszám: 3 Éves óraszám: 37 x 3 = 111 A tanmenet 101 óra beosztását tartalmazza. A dolgozatok írása és javítása 10 órát foglal
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észletesebbenI. Matematikai logika
I. Matematikai logika Az előző években már hallhattunk róla, hogy a gondolkodás tudománya a logika már az ókorban is megjelent, mert a tudományok fejlődése szükségessé tette. Fontossága miatt itt is utalunk
RészletesebbenÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
Í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
RészletesebbenÖSSZEVONT ÓRÁK A MÁSIK CSOPORTTAL. tartósság, megerősítés, visszacsatolás, differenciálás, rendszerezés. SZÁMTANI ÉS MÉRTANI SOROZATOK (25 óra)
Tantárgy: MATEMATIKA Készítette: KRISTÓF GÁBOR, KÁDÁR JUTKA Osztály: 12. évfolyam, fakultációs csoport Vetési Albert Gimnázium, Veszprém Heti óraszám: 6 Éves óraszám: 180 Tankönyv: MATEMATIKA 11 és MATEMATIKA
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észletesebbenOsztályozó- és javítóvizsga témakörei MATEMATIKA tantárgyból
Osztályozó- és javítóvizsga témakörei MATEMATIKA tantárgyból 9. évfolyam I. Halmazok 1. Alapfogalmak, jelölések 2. Halmaz, részhalmaz fogalma, részhalmazok száma, jelölések 3. Nevezetes számhalmazok (N,
RészletesebbenKOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 4 IV. FÜGGVÉNYEk 1. LEkÉPEZÉSEk, függvények Definíció Legyen és két halmaz. Egy függvény -ből -ba egy olyan szabály, amely minden elemhez pontosan egy elemet rendel hozzá. Az
Részletesebben10-es számrendszer, 2-es számrendszer, 8-as számrendszer, 16-os számr. Számjegyek, alapműveletek.
Számrendszerek: 10-es számrendszer, 2-es számrendszer, 8-as számrendszer, 16-os számr. Számjegyek, alapműveletek. ritmetikai műveletek egész számokkal 1. Összeadás, kivonás (egész számokkal) 2. Negatív
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 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é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 logika szó hétköznapi jelentése: rendszeresség, következetesség Ez logikus beszéd
RészletesebbenMit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? 4/14/2014. propozicionális logikát
roozicionális logikát roozicionális logikát Legfontosabb logikai konnektívumok: roozíció=állítás nem néztünk a tagmondatok belsejébe, csak a logikai kacsolatuk érdekelt minket Legfontosabb logikai konnektívumok:
RészletesebbenSzámelmélet, műveletek, egyenletek, algebrai kifejezések, egyéb
Számelmélet, műveletek, egyenletek, algebrai kifejezések, egyéb 2004_02/4 Tegyél * jelet a táblázat megfelelő rovataiba! Biztosan Lehet hogy, de nem biztos Lehetetlen a) b) c) Négy egymást követő természetes
RészletesebbenÖsszefüggések. kondicionális jelentése
Összefüggések kondicionális jelentése p q ~pvq Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p Kontrapozíció
RészletesebbenAz osztályozóvizsgák követelményrendszere 9. évfolyam
Az osztályozóvizsgák követelményrendszere 9. évfolyam Kombinatorika, halmazok Összeszámlálási feladatok Halmazok, halmazműveletek, halmazok elemszáma Logikai szita Számegyenesek intervallumok Algebra és
RészletesebbenADATBÁZIS-KEZELÉS. Relációalgebra, 5NF
ADATBÁZIS-KEZELÉS Relációalgebra, 5NF ABSZTRAKT LEKÉRDEZŐ NYELVEK relációalgebra relációkalkulus rekord alapú tartomány alapú Relációalgebra a matematikai halmazelméleten alapuló lekérdező nyelv a lekérdezés
RészletesebbenElektronikai műszerész Elektronikai műszerész
A 10/007 (II. 7.) SzMM rendelettel módosított 1/006 (II. 17.) OM rendelet Országos Képzési Jegyzékről és az Országos Képzési Jegyzékbe történő felvétel és törlés eljárási rendjéről alapján. Szakképesítés,
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 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é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észletesebbenEgyenletek, egyenlőtlenségek, egyenletrendszerek I.
Egyenletek, egyenlőtlenségek, egyenletrendszerek I. DEFINÍCIÓ: (Nyitott mondat) Az olyan állítást, amelyben az alany helyén változó szerepel, nyitott mondatnak nevezzük. A nyitott mondatba írt változót
RészletesebbenMatematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek
Matematikai logika A logika tudománnyá válása az ókori Görögországban kezd dött. Maga a logika szó is görög eredet, a logosz szó jelentése: szó, fogalom, ész, szabály. Kialakulása ahhoz köthet, hogy már
RészletesebbenBevezetés a számításelméletbe (MS1 BS)
Matematika szigorlat - konzultációs szeminárium Azoknak, akik másodszorra vagy többedszerre veszik fel a Matematika szigorlat (NAMMS1SAND) tárgyat. Bevezetés a számításelméletbe (MS1 BS) FŐBB TÉMAKÖRÖK
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észletesebbenAbszolútértékes egyenlôtlenségek
Abszolútértékes egyenlôtlenségek 575. a) $, $ ; b) < - vagy $, # - vagy > 4. 5 576. a) =, =- 6, 5 =, =-, 7 =, 4 = 5; b) nincs megoldás;! c), = - ; d) =-. Abszolútértékes egyenlôtlenségek 577. a) - # #,
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észletesebbenBevezetés a matematikába (2009. ősz) 1. röpdolgozat
Bevezetés a matematikába (2009. ősz) 1. röpdolgozat 1. feladat. Fogalmazza meg a következő ítélet kontrapozícióját: Ha a sorozat csökkenő és alulról korlátos, akkor konvergens. 2. feladat. Vezessük be
RészletesebbenMATEMATIKA TANMENET SZAKKÖZÉPISKOLA 12.E ÉS 13.A OSZTÁLY HETI 4 ÓRA 31 HÉT/ ÖSSZ 124 ÓRA
MINŐSÉGIRÁNYÍTÁSI ELJÁRÁS MELLÉKLET Tanmenetborító Azonosító: ME-III.1./1 Változatszám: 2 Érvényesség 2013. 09. 01. kezdete: Oldal/összes: 1/6 Fájlnév: ME- III.1.1.Tanmenetborító SZK- DC-2013 MATEMATIKA
RészletesebbenINFORMATIKA ALAPJAI-II
INFORMATIKA ALAPJAI-II Tartalomjegyzék BEVEZETŐ... RELÁCIÓ- ÉS LOGIKAI EGYENLETEK... 4. RELÁCIÓ EGYENLETEK... 4. LOGIKAI EGYENLETEK... 4.. Egyszerű logikai művelet... 5.. Elemi logikai függvények azonosságai...
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észletesebben1. Halmazok, számhalmazok, alapműveletek
1. Halmazok, számhalmazok, alapműveletek I. Nulladik ZH-ban láttuk: 1. Határozza meg az (A B)\C halmaz elemszámát, ha A tartalmazza az összes 19-nél kisebb természetes számot, továbbá B a prímszámok halmaza
RészletesebbenOSZTHATÓSÁG. Osztók és többszörösök : a 3 többszörösei : a 4 többszörösei Ahol mindkét jel megtalálható a 12 többszöröseit találjuk.
Osztók és többszörösök 1783. A megadott számok elsõ tíz többszöröse: 3: 3 6 9 12 15 18 21 24 27 30 4: 4 8 12 16 20 24 28 32 36 40 5: 5 10 15 20 25 30 35 40 45 50 6: 6 12 18 24 30 36 42 48 54 60 1784. :
RészletesebbenVarga Tamás Matematikaverseny Javítási útmutató Iskolai forduló 2018/ osztály
1. Dóri a könyveit két polcon tartotta úgy, hogy a felső polcon volt könyveinek egyharmada. Egyszer átrendezte a könyveket: az alsó polcon lévő könyvek egyharmadát feltette a felső polcra, majd az eredetileg
RészletesebbenNULLADIK MATEMATIKA ZÁRTHELYI szeptember 13.
6A NULLADIK MATEMATIKA ZÁRTHELYI 00. szeptember. Terem: Munkaidő: 0 perc. A dolgozat megírásához íróeszközön kívül semmilyen segédeszköz nem használható. Válaszait csak az üres mezőkbe írja! A javítók
RészletesebbenRelációk Függvények. A diákon megjelenő szövegek és képek csak a szerző (Kocsis Imre, DE MFK) engedélyével használhatók fel!
függvények RE 1 Relációk Függvények függvények RE 2 Definíció Ha A, B és ρ A B, akkor azt mondjuk, hogy ρ reláció A és B között, vagy azt, hogy ρ leképezés A-ból B-be. Ha speciálisan A=B, azaz ρ A A, akkor
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észletesebbenAz Országos Középiskolai Tanulmányi Verseny 2005-2006. tanévi első fordulójának feladatmegoldásai. 81f 2 + 90l 2 f 2 + l 2
Az Országos Középiskolai Tanulmányi Verseny 2005-2006. tanévi első fordulójának feladatmegoldásai matematikából, a II. kategória számára 1. Két iskola tanulói műveltségi vetélkedőn vettek részt. A 100
RészletesebbenNagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 017. ősz 1. Diszkrét matematika 1. középszint. 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észletesebbenSorozatok I. Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma)
Sorozatok I. DEFINÍCIÓ: (Számsorozat) A számsorozat olyan függvény, amelynek értelmezési tartománya a pozitív egész számok halmaza, értékkészlete a valós számok egy részhalmaza. Jelölés: (a n ), {a n }.
RészletesebbenA matematikai logika alapjai
A matematikai logika alapjai A logika a gondolkodás törvényeivel foglalkozó tudomány A matematikai logika a logikának az az ága, amely a formális logika vizsgálatára matematikai módszereket alkalmaz. Tárgya
Részletesebben3. előadás. Programozás-elmélet. A változó fogalma Kiterjesztések A feladat kiterjesztése A program kiterjesztése Kiterjesztési tételek Példa
A változó fogalma Definíció Legyen A = A 1 A 2... A n állapottér. A pr Ai projekciós függvényeket változóknak nevezzük: : A A i pr Ai (a) = a i ( a = (a 1, a 2,..., a n ) A). A változók jelölése: v i =
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é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észletesebbenAz egyenlőtlenség mindkét oldalát szorozzuk meg 4 16-al:
Bevezető matematika kémikusoknak., 04. ősz. feladatlap. Ábrázoljuk számegyenesen a következő egyenlőtlenségek megoldáshalmazát! (a) x 5 < 3 5 x < 3 x 5 < (d) 5 x
RészletesebbenWebprogramozás szakkör
Webprogramozás szakkör Előadás 5 (2012.04.09) Programozás alapok Eddig amit láttunk: Programozás lépései o Feladat leírása (specifikáció) o Algoritmizálás, tervezés (folyamatábra, pszeudokód) o Programozás
RészletesebbenExponenciális, logaritmikus függvények
Exponenciális, logaritmikus függvények DEFINÍCIÓ: (Összetett függvény) Ha az értékkészlet elemeihez, mint értelmezési tartományhoz egy újabb egyértelmű hozzárendelést adunk meg, akkor összetett (közvetett)
RészletesebbenDunaújvárosi Főiskola Informatikai Intézet
Dunaújvárosi Főiskola Informatikai Intézet Bizonytalanságkezelés Dr. Seebauer Márta főiskolai tanár seebauer.marta@szgti.bmf.hu Bizonytalan tudás forrása A klasszikus logikában a kijelentések vagy igazak
RészletesebbenI.4. BALATONI NYARALÁS. A feladatsor jellemzői
I.4. BALATONI NYARALÁS Tárgy, téma A feladatsor jellemzői Logikai fogalmak: logikai kijelentés; minden; van olyan; ha, akkor; és; vagy kifejezések jelentése. Egyszerű logikai kapcsolatok mondatok között.
RészletesebbenXXIV. NEMZETKÖZI MAGYAR MATEMATIKAVERSENY Szabadka, április 8-12.
XXIV. NEMZETKÖZI MGYR MTEMTIKVERSENY Szabadka, 05. április 8-. IX. évfolyam. Egy -as négyzetháló négyzeteibe a bal felső mezőből indulva soronként sorra beirjuk az,,3,,400 pozitív egész számokat. Ezután
RészletesebbenOrszágos Középiskolai Tanulmányi Verseny 2009/2010 Matematika I. kategória (SZAKKÖZÉPISKOLA) 2. forduló feladatainak megoldása
Oktatási Hivatal Országos Középiskolai Tanulmányi Verseny / Matematika I. kategória (SZAKKÖZÉPISKOLA) 2. forduló feladatainak megoldása. Oldja meg a valós számok legbővebb részhalmazán a egyenlőtlenséget!
RészletesebbenAz Országos Középiskolai Tanulmányi Verseny 2006-2007. tanévi első fordulójának feladatmegoldásai
Az Országos Középiskolai Tanulmányi Verseny 006-007. tanévi első fordulójának feladatmegoldásai matematikából, a II. kategória számára 1. Melyek azok a pozitív egészek, amelyeknek pontosan négy pozitív
Részletesebben2016/2017. Matematika 9.Kny
2016/2017. Matematika 9.Kny Gondolkodási módszerek 1. Számhalmazok: N, Z, Q, Q*, R a számhalmazok kapcsolata, halmazábra 2. Ponthalmazok: o 4. oldal K I. fejezet: 172-178., 180-185., 191. feladat távolsággal
RészletesebbenEgész számok. pozitív egész számok: 1; 2; 3; 4;... negatív egész számok: 1; 2; 3; 4;...
Egész számok természetes számok ( ) pozitív egész számok: 1; 2; 3; 4;... 0 negatív egész számok: 1; 2; 3; 4;... egész számok ( ) 1. Írd a következõ számokat a halmazábra megfelelõ helyére! 3; 7; +6 ; (
RészletesebbenNév:... Kód:... 1. LEVÉL INFORMATIKA TEHETSÉGGONDOZÁS 2011
Név:... Kód:... Szeretettel üdvözlünk Benneteket abból az alkalomból, hogy az informatika tehetséggondozás első levelét olvassátok. A tehetséggondozással az a célunk, hogy egy kicsit megmutassuk, hogy
RészletesebbenAz ellenpéldával történő cáfolás az elemi matematikában
Az ellenpéldával történő cáfolás az elemi matematikában Tuzson Zoltán, Székelyudvarhely Ismeretes, hogy a logika a helyes gondolkodás törvényeit leíró tudomány, ezért más tudományágakban sem nélkülözhető.
RészletesebbenOktatási Hivatal. 1 pont. A feltételek alapján felírhatók az. összevonás után az. 1 pont
Oktatási Hivatal Öt pozitív egész szám egy számtani sorozat első öt eleme A sorozatnak a különbsége prímszám Tudjuk hogy az első négy szám köbének összege megegyezik az ezen öt tag közül vett páros sorszámú
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. Példák Az alábbi világokban állításokat akarunk megfogalmazni: A táblára színes karikákat
RészletesebbenLáthatjuk, hogy az els szám a 19, amelyre pontosan 4 állítás teljesül, tehát ez lesz a legnagyobb. 1/5
D1. Egy pozitív egész számról az alábbi 7 állítást tették: I. A szám kisebb, mint 23. II. A szám kisebb, mint 25. III. A szám kisebb, mint 27. IV. A szám kisebb, mint 29. V. A szám páros. VI. A szám hárommal
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észletesebbenMatematika szóbeli érettségi témakörök 2017/2018-as tanév
Matematika szóbeli érettségi témakörök 2017/2018-as tanév 1. GONDOLKODÁSI MÓDSZEREK, HALMAZOK, LOGIKA, KOMBINATORIKA, GRÁFOK 1.1. HALMAZOK 1.1.1. Halmazok megadásának módjai 1.1.2. Halmazok egyenlősége,
RészletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Számelmélet I.
Számelmélet I. DEFINÍCIÓ: (Osztó, többszörös) Ha egy a szám felírható egy b szám és egy másik egész szám szorzataként, akkor a b számot az a osztójának, az a számot a b többszörösének nevezzük. Megjegyzés:
RészletesebbenTANMENET. a matematika tantárgy tanításához 10. E.osztályok számára
Az iskola fejbélyegzője TANMENET a matematika tantárgy tanításához 10. E.osztályok számára Készítette: Természettudományi Munkaközösség matematikát tanító tanárai Készült: a gimnáziumi tanterv alapján
RészletesebbenIII. Vályi Gyula Emlékverseny december
III. Vályi Gyula Emlékverseny 1996. december 14 15. VI osztály A feladatok szövege után öt lehetséges válasz (A, B, C, D és E) található, amelyek közül csak pontosan egy helyes. A helyes válasz betűjelét
RészletesebbenÉrveléstechnika-logika 5. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2.
Érveléstechnika-logika 5. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Elemi állítás Állítás: Jelentéssel bíró kijelentő mondat, amely információt közöl a világról.
RészletesebbenKalkulus I. gyakorlat Fizika BSc I/1.
. Ábrázoljuk a következő halmazokat a síkon! {, y) R 2 : + y < }, b) {, y) R 2 : 2 + y 2 < 4}, c) {, y) R 2 : 2 + y 2 < 4, + y < }, {, y) R 2 : + y < }. Kalkulus I. gyakorlat Fizika BSc I/.. gyakorlat
RészletesebbenInduktív következtetés. Deduktív következtetés. Induktív és deduktív következtetések. Induktív és deduktív következtetések 02/03/2015
(1) Daninak jövőre a szociológiát vagy az antropológiát kell felvennie. Mivel (2) mindig a lazábbat választja, és (3) a szociológia jövőre laza lesz, mert (4) dr. Laza adja elő, (5) nem kétséges, melyiket
RészletesebbenI. Egyenlet fogalma, algebrai megoldása
11 modul: EGYENLETEK, EGYENLŐTLENSÉGEK MEGOLDÁSA 6 I Egyenlet fogalma, algebrai megoldása Módszertani megjegyzés: Az egyenletek alaphalmazát, értelmezési tartományát később vezetjük be, a törtes egyenletekkel
Részletesebben