Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? 4/14/2014. propozicionális logikát
|
|
|
- Márta Horváthné
- 1 évvel ezelőtt
- Látták:
Átírás
1 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: levezetéseket vizsgáltunk negáció konjunkció diszjunkció kondicionális bikondicionális 1
2 levezetéseket vizsgáltunk levezetéseket vizsgáltunk érvényesség logikai szerkezeten múlik érvényesség logikai szerkezeten múlik konkluzivitás kell hozzá a remisszák igazsága konkluzivitás kell hozzá a remisszák igazsága Utótag állítása: Modus onens: ÉRVÉNYTELEN! ÉRVÉNYES! Előtag tagadása: Modus tollens: ~ ~ ~ ~ r ÉRVÉNYTELEN! r ÉRVÉNYES! r r 2
3 A budakeszi vagy a telki házat vesszük meg. Ha a budakeszit, akkor szenvedünk a felújítással. Ha a telkit, akkor sokat utazunk. Tehát vagy a felújítással szenvedünk, vagy sokat utazunk. v r s r v s Konstruktív dilemma v r s r v s ÉRVÉNYES! - Nézze, a miniszter úr vagy tudott arról, hogy a légierő egy része országgyűlési felhatalmazás nélkül törvénytelenül külföldön tartózkodik, vagy nem tudott róla. Harmadik eset ugyebár nincs. Ha tudott róla, akkor hazudott, amikor azt állította a arlamenti vitában, hogy nem volt tudomása a külföldi hadgyakorlaton való részvételről; ha viszont nem tudott róla, akkor alkalmatlan miniszternek. Az ország védelme és katonai kacsolatai szemontjából ilyen fontosságú ügyről a miniszternek tudnia kell. Tehát a miniszter úr hazudik vagy inkometens. Akár így, akár úgy van, a miniszternek le kell mondania. Most belenézünk a tagmondat belsejébe > gazdagabb kéet kaunk 3
4 Minden magyar lány szé. Minden magyar lány szé. Babett magyar lány. Babett magyar lány. r (Tehát) Babett szé. r (Tehát) Babett szé. r Minden magyar lány szé. Babett magyar lány. (Tehát) Babett szé. Individuumkonstansok Individuumváltozók gazdagabb nyelv kell: Ez így érvénytelen Predikátumkonstansok Predikátumváltozók gazdagabb nyelv kell: Pista jól beszél angolul Individuumkonstansok Individuumváltozók gmvmi,de A nmeee Predikátumkonstansok Predikátumváltozók 4
5 Pista jól beszél angolul Pista jól beszél angolul gmvmi,de A nmeee így fogjuk felírni: A gmvmi,de A nmeee így fogjuk felírni: A egy argumentum van Reláció Reláció Debrecen nagyobb, mint Szolnok. Reláció Debrecen nagyobb, mint Szolnok. Nds (dns) 5
6 Reláció Debrecen nagyobb, mint Szolnok. Nds Változóval: Nxy x nagyobb, mint y Mi mindenre jók a változók? KVANTOROS állítások (kvantifikáció) Mindenki jól beszél angolul. Mindenki jól beszél angolul. x(ax) Mindenki jól beszél angolul. x(ax) (minden x-re Ax) Van olyan, aki jól beszél angolul. univerzális kvantor 6
7 Van olyan, aki jól beszél angolul. x(ax) (létezik x, hogy Ax) Van olyan, aki jól beszél angolul. x(ax) egzisztenciális kvantor Mondataink Csak individuumváltozók felett kvantifikálunk! elsőrendű logika Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. x(úx) zárt mondat Mondataink Kategóriáink Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. x(úx) zárt mondat Individuum: egyedi név, leírás Sándor, József, Benedek, a kedvenc zeném, Attila főnöke, az ország legnagyobb bankja 7
8 Kategóriáink Állítások fordítása redikátumlogikában Individuum: egyedi név, leírás Sándor, József, Benedek, a kedvenc zeném, Attila főnöke, az ország legnagyobb bankja Predikátum: tulajdonság, reláció Úszik, áratlan szám, szé lány, tud angolul, nagyobb, szereti, testvérek Kovács műszaki végzettségű éítési vállalkozó. Péter szabadságra ment, de nem utazott el. János éhes marad, ha Kati nem főz vacsorát. Éhes marad, ha nem főz vacsorát. A legjobb autó is csak akkor működik, ha karbantartják. Ha megcsináltatja a fűtést és a csatornát, összkomfortos lakásban fog lakni. Állítások fordítása redikátumlogikában Állítások fordítása redikátumlogikában Mézga család tagjai: Géza, Paula, Kriszta, Aladár Állítások fordítása redikátumlogikában Van remény. Vannak még jó emberek. Sok jó film van. Néhányan elkéstek. Néhányan félreértik a helyzetet. Nem mindenki érti a helyzetet. Semmi sem jó. Minden jó. Minden bálna emlős. Minden magyar lány szé. 8
Kondicionális. Konverz (retro) kondicionális. Predikátumlogika. Predikátumlogika 22/05/2014. p q
Kondicionális p q Ha esik az eső, (akkor) vizes út. Ha felhívsz holnap, (akkor) találkozunk. Ha adsz pénzt, (akkor) veszek fagyit. Akkor vizes az út, ha esik az eső. Akkor találkozunk, ha felhívsz holnap.
Negá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ő
Tartalomjegyzék. Pragmatikai és logikai alapok. Első rész A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika
Tartalomjegyzék ELSŐ FEJEZET Bevezetés 1.1. A könyv célja, használata 1.2 Elméleti keretek: pragmatika és logika 15 15 17 Első rész Pragmatikai és logikai alapok MÁSODIK FEJEZET A vita 2.1 A vita: megközelítési
A 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
A 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
Kijelenté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
LOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA Készült a TÁMOP-4.1.2-08/2/a/KMR-2009-0041 pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék az MTA
A deduktív logika elemei. Érveléselmélet, 2015. 10. 12.
A deduktív logika elemei Érveléselmélet, 2015. 10. 12. Ismétlés: Deduktív érvelés Deduktív érvelés: A premisszák igazsága szükségszerűen maga után vonja a konklúzió igazságát. Minden magyar adócsaló. Pityu
A deduktív logika elemei
Ismétlés 1: Deduktív érvelés A deduktív logika elemei Érveléselmélet, 2006. 10. 24. Deduktív érvelés: A premisszák igazsága szükségszerűen maga után vonja a konklúzió igazságát. Minden magyar adócsaló.
LOGIKA É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
Matematikai 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ó
Halmazelmé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
Knoch László: Információelmélet LOGIKA
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
Logika. Mihálydeák Tamás szeptember 27. Tartalomjegyzék. 1.
Logika Mihálydeák Tamás mihalydeak@inf.unideb.hu www.inf.unideb.hu/szamtud/tagok/?mihalydeak 2007. szeptember 27. Tartalomjegyzék 1. Irodalom 3 2. A logika feladata 3 3. A helyes következtetés 3 4. Történeti
Diszkré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
Bevezetés a logikába és az érveléselméletbe
Kutrovátz Gábor Bevezetés a logikába és az érveléselméletbe (nemhivatalos jegyzet) Ez a jegyzet az ELTE Társadalomtudományi Karán tanuló elsőévesek számára meghirdetett Bevezetés a logikába és a tudományfilozófiába
A 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
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
A matematika alapjai. Nagy Károly 2014
A matematika alapjai 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 egyértelműen
VII. Keretalapú ismeretábrázolás
Collins és Quillian kísérlete VII. Keretalapú ismeretábrázolás Tud-e a kanári énekelni? 1.3 mp Képes-e a kanári? 1.4 mp Van-e a kanárinak bőre? 1.5 mp A kanári egy kanári? 1.0 mp A kanári egy madár? 1.2
Csikós Pajor Gizella Péics Hajnalka ALGEBRA. Bolyai Farkas Alapítvány Zenta 2011.
Béres Zoltán Csikós Pajor Gizella Péics Hajnalka ALGEBRA elméleti összefoglaló és példatár Bolyai Farkas Alapítvány Zenta 0. Szerzők: Béres Zoltán, középiskolai tanár, Bolyai Tehetséggondozó Gimnázium
Érveléstechnika-logika 8. óra
Érveléstechnika-logika 8. óra BME Filozófia és Tudománytörténet Tanszék http://www.filozofia.bme.hu/ Tartalom Wason-teszt és a józan paraszti ész Kondicionális jellemzői felcserélhetőség, kontrapozíció
MATEMATIK 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
Margitay Tihamér Az érvelés mestersége
Margitay Tihamér Az érvelés mestersége Margitay Tihamér Az érvelés mestersége Érvelések elemzése, értékelése és kritikája Budapest, 2007 A könyv első kiadása az OTKA (T037504), az MTA BME Tudományfilozófiai
Diszkré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
Logika nyelvészeknek, 12. óra A típuselmélet alapjai. Lehetőség van a kvantorfogalom mellett a funktorfogalom általánosítására is.
Logika nyelvészeknek, 12. óra A típuselmélet alapjai Lehetőség van a kvantorfogalom mellett a funktorfogalom általánosítására is. Az L 1 elsőrendű nyelvben csak bizonyos típusú funktoraink voltak: ami
Logika nyelvészeknek, 11. óra A kvantifikáció kezelése a klasszikus és az általánosított kvantifikációelméletben
Logika nyelvészeknek, 11. óra A kvantifikáció kezelése a klasszikus és az általánosított kvantifikációelméletben I. A kvantifikáció a klasszikus Frege-féle kvantifikációelméletben A kvantifikáció klasszikus
I.2. ROZSOMÁK. A feladatsor jellemzői
I.2. ROZSOMÁK Tárgy, téma A feladatsor jellemzői Kombinatorikai alapfeladatok, halmazok használata. Logikai kijelentések vizsgálata, értelmezése. A szövegértés képességének fejlesztése. Előzmények Cél
Bevezetés a nyelvtudományba. 5. Szintaxis
Bevezetés a nyelvtudományba 5. Szintaxis Gerstner Károly Magyar Nyelvészeti Tanszék Szintaxis Mondattan Hangok véges elemei a nyelvnek Szavak sok, de nyilván véges szám Mondatok végtelen sok Mi a mondat?
Érveléstechnika-logika 7. óra
Érveléstechnika-logika 7. óra BME Filozófia és Tudománytörténet Tanszék http://www.filozofia.bme.hu/ Tartalom Elemi és összetett állítások Logikai műveletek: Negáció Konjunkció Alternáció, megengedő, kizáró
Matematikai 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ű
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 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,
LOGIKA. 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,
A CSALÁD. Következzen tehát a család:
A CSALÁD 2013. február. Eljutottam végre ide is - hogy összeismertessem a rokonokat. A több ezernyi kép közül majdnem mindegyik régi Aputól származik, az újak túlnyomó része pedig tőlem. Igyekeztem őket
Emelt szintű feladatok
Emelt szintű feladatok 1. Bizonyítsa be, hogy (qr) = (q) (r)! 2. Van 5 ház, s mindegyiknek a színe különböző. Mindegyik házban különböző nemzetiségű személy lakik. Mindegyik lakó egy bizonyos italt részesít
4. fejezet Analitikus táblázatok a kijelentéslogikában Bevezetés A következtetések helyességének ellenőrzésére több eljárás is kínálkozik.
4. fejezet Analitikus táblázatok a kijelentéslogikában Bevezetés A következtetések helyességének ellenőrzésére több eljárás is kínálkozik. Az egyik az igazságtáblázatok módszere, amelyet az előző fejezetekben
Logika és számításelmélet. 2011/11 11
(Logika rész) Logika és számításelmélet. 2011/11 11 1. előadás 1. Bevezető rész Logika (és a matematikai logika) tárgya Logika (és a matematikai logika) tárgya az emberi gondolkodás vizsgálata. A gondolkodás
A birtokos szerkezet
A birtokos szerkezet Ha kérdése van, használja nonstop segélyvonalunkat: www.magyarora.com/grammar/birtokos_tablazat.pdf 1 ) Lássunk munkához Kezdjük megint a novellával Húzza alá a példákban az egyes
Az 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...............................................
TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA
TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi
Vá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),
A kötőszók. Mindenki jól ismeri a DE szócskát, amivel ellentétet fejezünk ki. Gyakori, jól és könnyen használható:
A kötőszók Előhang (prelúdium): DE Mindenki jól ismeri a DE szócskát, amivel ellentétet fejezünk ki. Gyakori, jól és könnyen használható: Vera csak 2 éves, de már 100-ig tud számolni. Ez az étterem kitűnő,
Filozófiai alapok. Varasdi Károly és Simonyi András. 2007. október 17.
Filozófiai alapok Varasdi Károly és Simonyi András 2007. október 17. Arbor Porphyrii (234 309) Petrus Ramus (1515 1572) John F. Sowa rendszere SUMO csúcskategóriák DOLCE csúcskategóriák Szóhasználat Univerzálé
MAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY
MAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY Tantárgy neve: BBNMT00300 Fonetika 3 A tantárgy célja, hogy az egyetemi tanulmányaik kezdetén levő magyar szakos hallgatókat megismertesse
A kondicionálisok problémája jogszabályszövegekben
Szeged, 2014. január 16 17. 295 A kondicionálisok problémája jogszabályszövegekben Markovich Réka 1, Hamp Gábor 2, Syi 2 1 ELTE Filozófiatudományi Doktori Iskola, Logika Tanszék 1088 Budapest, Múzeum körút
Temporális logikák és modell ellenırzés
Temporális logikák és modell ellenırzés Temporális logikák Modális logika: kijelentések különböző módjainak tanulmányozására vezették be (eredetileg filozófusok). Ilyen módok: esetleg, mindig, szükségszerűen,
Absztrakció a szoftvertervezésben az Alloy specifikációs nyelv segítségével
Absztrakció a szoftvertervezésben az Alloy specifikációs nyelv segítségével Németh L. Zoltán Számítástudomány Alapjai Tanszék SZTE, Informatikai Tanszékcsoport 2009. szeptember 15. Tartalom Röviden a formális
11. fejezet A logika nyelvtana. Már az első fejezetben felmerült, hogy a logika nyelvtana nem egyezik meg a szokásos értelemben vett nyelvtannal.
11. fejezet A logika nyelvtana Már az első fejezetben felmerült, hogy a logika nyelvtana nem egyezik meg a szokásos értelemben vett nyelvtannal. A #11.1 Néhány lány énekel és a #11.2 Kati énekel mondatok
É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.
BOOLE 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
ESSZÉÍRÁS június
ESSZÉÍRÁS Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projekt keretében Tartalomfejlesztés az ELTE TáTK Közgazdaságtudományi Tanszékén az ELTE Közgazdaságtudományi Tanszék az MTA Közgazdaságtudományi
TEST IZ MAĐARSKOG JEZIKA
Student's name : E-mail: Test štampajte i skeniranog ga vratite na e-mail office@centarzaedukaciju.com U slučaju da nemate tehničke mogućnosti, prihvata se i da na datu e-mail adresu pošaljete odgovore
Példa 1. A majom és banán problémája
Példa 1. A majom és banán problémája Egy majom ketrecében mennyezetről egy banánt lógatnak. Kézzel elérni lehetetlen, viszont egy faládát be is tesznek. Eléri-e a majom a banánt? Mit tudunk a majom képességeirõl?
LOGIKA. A logika feladata tehát a premisszák és a konklúzió
LOGIKA hétköznapi jelentése: a rendszeresség, következetesség szinonimája Ez logikus beszéd volt. Nincs benne logika. Más logika szerint gondolkodik. tudományszak elnevezése, melynek fő feladata a helyes
Matematikai 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)...
Halmazok; 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
MATEMATIKA I. JEGYZET 1. RÉSZ
MATEMATIKA I. JEGYZET 1. RÉSZ KÉZI CSABA GÁBOR Date: today. 1 KÉZI CSABA GÁBOR 1. Logikai állítások, műveletek 1.1. Definíció. Matematikai értelemben állításnak nevezünk egy olyan kijelentést, melynek
25. 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.
Kaposi Ambrus. University of Nottingham Functional Programming Lab. Hackerspace Budapest 2015. január 6.
Bizonyítás és programozás Kaposi Ambrus University of Nottingham Functional Programming Lab Hackerspace Budapest 2015. január 6. Bizonyítás, érvelés Példa: sáros a csizmám ha vizes a föld, esett az eső
BEVEZETÉS A MAGASABBSZINTŰ MATEMATIKÁBA ÉS ALKALMAZÁSAIBA KÉZI CSABA GÁBOR
BEVEZETÉS A MAGASABBSZINTŰ MATEMATIKÁBA ÉS ALKALMAZÁSAIBA KÉZI CSABA GÁBOR 1 KÉZI CSABA GÁBOR Előszó Ez a jegyzet egy többrészes sorozat első kötete, mely elsősorban a Debrecen Egyetem Műszaki Karának
Megoldások. 2001. augusztus 8.
Megoldások 2001. augusztus 8. 1 1. El zetes tudnivalók a különböz matematikai logikai nyelvekr l 1.1. (a) Igen (b) Igen (c) Nem, mert nem kijelent mondat. (d) Nem fejez ki önmagában állítást. "Ádám azt
Tartalomjegyzék TARTALOMJEGYZÉK SZÁMOK B MENNYISÉGEK, BECSLÉS, MÉRÉS. A SZÁMOK témakörének sz akmódszertani alapjai
Tartalomjegyzék A SZÁMOK Az Ön könyve tartalmazza Tartalomjegyzék Szerzők Használati útmutató A megjelenés dátuma 2013. június A SZÁMOK témakörének sz akmódszertani alapjai (C. Neményi Eszter) 1 Számláld
Érvelés-Meggyőzés-Tárgyalástechnika Gyakorló feladatok, 1 ZH
Érvelés-Meggyőzés-Tárgyalástechnika Gyakorló feladatok, 1 ZH Kidolgozta: Sipos-Takáts Bence 1. Mi a különbség a deduktív és az induktív érvek között? Ebben az érvben a premisszák és a konklúzió között
Cím: 6647 Csanytelek, Török Bálint u. Kádár Mihály 06 (30) 271-0400. Elérhetőség: Típus: Telek. Telekterület: 1440 m². Irányár: 200.
Cím: 6647 Csanytelek, Török Bálint u. Kádár Mihály 06 (30) 271-0400 Telek Telekterület: 1440 m² 200.000 Ft 1 Cím: 6647 Csanytelek, József Attila u. 24. Szántai Zoltán 06 (30) 540-1862 Felújításra szoruló/bontásra
Egészség: Készülünk a nyaralásra mindig Önnél van az európai egészségbiztosítási kártyája?
MEMO/11/406 Brüsszel, 2011. június 16. Egészség: Készülünk a nyaralásra mindig Önnél van az európai kártyája? Nyaralás: álljunk készen a váratlan helyzetekre! Utazást tervez az EU területén, Izlandra,
Cím: 6647 Csanytelek, Török Bálint u. Kádár Mihály 06 (30) 271-0400. Elérhetőség: Típus: Telek. Telekterület: 1440 m². Irányár: 200.
Cím: 6647 Csanytelek, Török Bálint u. Kádár Mihály 06 (30) 271-0400 Telek Telekterület: 1440 m² 200.000 Ft 1 Cím: 6647 Csanytelek, József Attila u. 24. Szántai Zoltán 06 (30) 540-1862 Felújításra szoruló
PANNON NYELVVIZSGA. (alapfokú) szóbeli vizsga
PANNON NYELVVIZSGA B1 szint (alapfokú) szóbeli vizsga A felkészülés m egkezdése el tt a vizsgázó kihúzza vizsga-feladatsorát, amelyen m agyar nyelven szerepelnek a feladatra vonatkozó utasítások és az
Mestersé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?
Instabilitás a logikában
Instabilitás a logikában Molnár Zoltán 2009 Kivonat Az instabilitás matematikai logikai fogalmának segítségével mutatok be két logikafilozófiai kérdést. Előadásom első felében röviden kitérek az önreferenciális
Adatbázis, adatbázis-kezelő
Adatbázisok I. rész Adatbázis, adatbázis-kezelő Adatbázis: Nagy adathalmaz Közvetlenül elérhető háttértárolón (pl. merevlemez) Jól szervezett Osztott Adatbázis-kezelő szoftver hozzáadás, lekérdezés, módosítás,
Dr. Jelasity Márk. Mesterséges Intelligencia I. Előadás Jegyzet (2008. október 6) Készítette: Filkus Dominik Martin
Dr. Jelasity Márk Mesterséges Intelligencia I Előadás Jegyzet (2008. október 6) Készítette: Filkus Dominik Martin Elsőrendű logika -Ítéletkalkulus : Az elsőrendű logika egy speciális esete, itt csak nullad
É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)
A logikai táblázat módszere III.
A logikai táblázat módszere III. 1. feladat: Rifi, Röfi és Rufi, három kismalac, egy tortaevő versenyen vett részt. A nagymama előtte a következőket mondta: a) Rifi a második díjat szerzi meg b) Röfi nem
1A DE Kossuth Lajos Gyakorló Gimnáziuma és Általános Iskolája, Csengő u. 4., Debrecen 114
A DE Kossuth Lajos Gyakorló Gimnáziuma és Általános Iskolája, Csengő u.., Debrecen : - : I I I I I I I I I / i I I I 9: - :, I I I I : - : : - : : - : / / / ef Kat / GKat,,,8, + / / / ef / Kat / GKat,,,8,,
MONDATTAN SZEMINÁRIUM A mellérendelő szintagma
MONDATTAN SZEMINÁRIUM A mellérendelő szintagma Ajánlott irodalom: K. Balogh Judit 1989. A mellérendelő szószerkezetek és határeseteik. In: Rácz Endre (szerk.) Fejezetek a magyar leíró nyelvtan köréből.
Tizenegyedik lecke. lecsónak. salátanak. betegnek lánynak
Tizenegyedik lecke A piacon Jó napot kívánok! Mennyibe kerül ez a paradicsom? Üdvözlöm, uram! Nagyon olcsó. Csak háromszáznegyven forint. Az olcsó? Hm. Lecsónak lesz? Mert akkor van itt százhetven forintos
3.1 JÁRJ NYITOTT SZEMMEL! Az alábbi képek az iskolánk területén készültek.
3.1 JÁRJ NYITOTT SZEMMEL!.... 3.2 JÁRJ NYITOTT SZEMMEL! 3.3 JÁRJ NYITOTT SZEMMEL! 3.4 JÁRJ NYITOTT SZEMMEL! 3.5 JÁRJ NYITOTT SZEMMEL! 3.6 JÁRJ NYITOTT SZEMMEL! 3.7 JÁRJ NYITOTT SZEMMEL! 3.8 JÁRJ NYITOTT
Érveléstechnika-logika 2. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2.
Érveléstechnika-logika 2. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Racionális vita, mint érvelési helyzet A racionális (érvelő) vitát tekinthetjük az érvelési alaphelyzetnek.
ÉRVELÉSTECHNIKA-LOGIKA GYAKORLÓ FELADATOK, 1. ZH
ÉRVELÉSTECHNIKA-LOGIKA GYAKORLÓ FELADATOK, 1. ZH 1. Mi a különbség a veszekedés és a racionális vita között? 2. Mit nevezünk premisszának a logikában? 3. Mi a hasonlóság és mi a különbség a veszekedés
Gárdonyi Géza. Az ablak
Gárdonyi Géza Az ablak Egy tizenöt éves fiú is járt az iskolába. Daninak hívták. Leány is volt három olyan nagyocska. De azok mind vidámak voltak és kedvesek. Csak ez a Dani! Ült fakó arccal az első helyen,
Dr`avni izpitni center MAGYAR NYELV ÉS IRODALOM. 1. feladatlap. Nem művészi szöveg elemzése. Péntek, augusztus 27. / 60 perc
A jelölt kódszáma: Dr`avni izpitni center *P042A10311* ŐSZI IDŐSZAK MAGYAR NYELV ÉS IRODALOM 1. feladatlap Nem művészi szöveg elemzése Péntek, 2004. augusztus 27. / 60 perc Engedélyezett segédeszközök:
Fejlesztı neve: GARAMSZEGI RITA. Tanóra / modul címe: IDİUTAZÁS A KÖZÉPKORBA
Fejlesztı neve: GARAMSZEGI RITA Tanóra / modul címe: IDİUTAZÁS A KÖZÉPKORBA 1. Az óra tartalma A tanulási téma bemutatása; A téma és a módszer összekapcsolásának indoklása: A tanítási órákon elsajátított
A 2011/2012-es iskolaév érettségi vizsgakatalógusa. Logika. LOGIKA 2012 mad.indd 1 13.4.2012 13:45:44
A 2011/2012-es iskolaév érettségi vizsgakatalógusa Logika LOGIKA 2012 mad.indd 1 13.4.2012 13:45:44 A logika vizsgaanyagát kidolgozó szakcsoport tagjai: Krešimir Gracin, prof., vezető, X. Gimnázium Ivan
DISZKRÉ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
Matematikai logika 1 A MATEMATIKAI LOGIKA ALAPJAI. Pécsi Tudományegyetem, 2005. Bevezetés
Matematikai logika 1 A MATEMATIKAI LOGIKA ALAPJAI Dr. Tóth László Pécsi Tudományegyetem, 2005 Bevezetés A logika a gondolkodás általános törvényszerűségeit, szabályait vizsgálja. A matematikai logika a
A melléknevek képzése
A melléknevek képzése 1 ) Helyezkedjen el kényelmesen, először mesélni fogunk... Egyszer volt, hol nem volt, volt egyszer a magyar nyelv, benne sok szóval, kifejezéssel és szabállyal, amelyeket persze
Bevezetés a nyelvtudományba Mondattan (szintaxis) Kiegészítés
Bevezetés a nyelvtudományba Mondattan (szintaxis) Kiegészítés Az egyszerű mondat szerkezete (É. Kiss 1992) a fő összetevők lehetséges sorrendje: Imre ismeri Erzsit. Erzsit ismeri Imre. Imre Erzsit ismeri.
2. (3) Lakás bérlője szolgálati lakás kivételével csak európai uniós állampolgár lehet.
Szeged Megyei Jogú Város Közgyűlésének 36/2009. (XI.11.) Kgy. rendelete az önkormányzat tulajdonában álló önkormányzati lakások bérletéről, a lakbérek mértékéről és a lakbértámogatásról szóló 45/2006.(XII.13.)
A DEDUKTÍV GONDOLKODÁS DIAGNOSZTIKUS VIZSGÁLATA AZ 5., 7. ÉS 9. ÉVFOLYAMON
A DEDUKTÍV GONDOLKODÁS DIAGNOSZTIKUS VIZSGÁLATA AZ 5., 7. ÉS 9. ÉVFOLYAMON A deduktív gondolkodás komplex készségrendszerre épül, melynek legfontosabb összetevői közé tartoznak a kétváltozós műveletek
4.2. Tétel: Legyen gyenge rendezés az X halmazon. Legyen továbbá B X, amelyre
4.2. Tétel: Legyen gyenge rendezés az X halmazon. Legyen továbbá B X, amelyre Az értékelő függvény létezése (folytatás) p. 1/8 4.2. Tétel: Legyen gyenge rendezés az X halmazon. Legyen továbbá B X, amelyre
III. Szabályalapú logikai következtetés
Speciális szabályalapú következtetés III. Szabályalapú logikai következtetés Ismeretek (tények, szabályok, cél) elsőrendű logikai formulák. Ezek az állítások eredeti formájukat megőrzik, ami másodlagos
Diszkré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.
A matematika alapjai 1 A MATEMATIKA ALAPJAI. Pécsi Tudományegyetem, 2006
A matematika alapjai 1 A MATEMATIKA ALAPJAI Dr. Tóth László Pécsi Tudományegyetem, 2006 Köszönöm Koós Gabriella végzős hallgatónak, hogy felhívta a figyelmemet az anyag előző változatában szereplő néhány
Mesterséges Intelligencia (Artificial Intelligence)
Mesterséges Intelligencia (Artificial Intelligence) Bevezetés (ágens típusok, környezet tulajdonságai) Ágens: Környezetébe ágyazott (érzékelések, beavatkozások) autonóm rendszer (minimum válasz). [Bármi
SULINOVA 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
MILOVÁN ANDREA VALÓ KEZELÉSÉNEK LEHETİSÉGEIRİL
MILOVÁN ANDREA A SZEMANTIKA ÉS A PRAGMATIKA HATÁRÁN A PRESZUPPOZÍCIÓK ÉS AZ IMLIKATÚRÁK EGYSÉGES, SZEMANTIKAI KERETBEN VALÓ KEZELÉSÉNEK LEHETİSÉGEIRİL Az elıfeltevés (preszuppozíció) fogalma Hispániai
Arisztotelesz Kr.e. 350 körül írta logikai műveit, melyek egyrésze elveszett, a többit 300 évvel később
Slide 1 Induktív következtetés Érvelési hibák Ajánlott források: Lakatos László Kutrovátz Gábor Bognár - Forrai Slide Arisztotelesz Kr.e. 350 körül írta logikai műveit, melyek egyrésze elveszett, a többit
Logika szeminárium 4,5
Logika szeminárium 4,5 Molnár ttila 2008. október 9. vastag betű új fogalmat, a dőlt betű edig hangsúlyt jelez. 1. nalitikus fák 1.1. Bevezető élda Ez történt velem a reggel: 1. Kakaót ittam vagy nem ettem
MagyarOK 1.: munkalapok 3
1. Mi a tárgy neve? kártyák telefon lámpa számítógép / laptop kulcs pénz igazolvány toll nyomtató asztal szék szemüveg könyv kávéfőző bögre buszjegy papír zsebkendő mobiltelefon ceruza Szita Szilvia és