Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? 4/14/2014. propozicionális logikát

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? 4/14/2014. propozicionális logikát"

Á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. 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.

Részletesebben

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. 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észletesebben

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. 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

Részletesebben

A matematika nyelvér l bevezetés

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

Részletesebben

A matematika nyelvéről bevezetés

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

Részletesebben

LOGIKA ÉS ÉRVELÉSTECHNIKA

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

Részletesebben

Kijelentéslogika I. 2004. szeptember 24.

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

Részletesebben

Mindenki tud úszni. Nincs olyan, aki ne tudna úszni.

Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. Kvantoros logikai ekvivalenciák Mindenki tud úszni. Nincs olyan, aki ne tudna úszni. x(úx) ~ x(~úx) Kvantoros logikai ekvivalenciák Mindenki tud úszni.

Részletesebben

LOGIKA ÉS ÉRVELÉSTECHNIKA

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

Részletesebben

A deduktív logika elemei. Érveléselmélet, 2015. 10. 12.

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

Részletesebben

A deduktív logika elemei

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ó.

Részletesebben

LOGIKA ÉS ÉRVELÉSTECHNIKA

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

Részletesebben

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika

Bró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

Matematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1

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ó

Részletesebben

Halmazelmélet és logika

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

Részletesebben

Knoch László: Információelmélet LOGIKA

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

Részletesebben

Logika. Mihálydeák Tamás szeptember 27. Tartalomjegyzék. 1.

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

Részletesebben

Diszkrét matematika I.

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

Részletesebben

Bevezetés a logikába és az érveléselméletbe

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

Részletesebben

A matematikai logika alapjai

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

Részletesebben

A logikai következmény

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észletesebben

Logikai alapok a programozáshoz. Nagy Károly 2014

Logikai 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észletesebben

Intelligens Rendszerek I. Tudásábrázolás formális logikával

Intelligens 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észletesebben

A matematika alapjai. Nagy Károly 2014

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

Részletesebben

VII. Keretalapú ismeretábrázolás

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

Részletesebben

Érveléstechnika-logika 8. óra

É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ó

Részletesebben

Csikós Pajor Gizella Péics Hajnalka ALGEBRA. Bolyai Farkas Alapítvány Zenta 2011.

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

Részletesebben

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 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észletesebben

Margitay Tihamér Az érvelés mestersége

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

Részletesebben

Diszkrét Matematika. Ha Picur akkor és csak akkor szabadítja ki a kalitkából Gombóc Artúrt, ha Artúr

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

Részletesebben

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. 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

Részletesebben

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 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

Részletesebben

I.2. ROZSOMÁK. A feladatsor jellemzői

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

Részletesebben

Bevezetés a nyelvtudományba. 5. Szintaxis

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?

Részletesebben

Matematikai logika. Nagy Károly 2009

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ű

Részletesebben

Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László

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,

Részletesebben

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ó.

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,

Részletesebben

A CSALÁD. Következzen tehát a család:

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

Részletesebben

Emelt szintű feladatok

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

Részletesebben

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. 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

Részletesebben

Logika és számításelmélet. 2011/11 11

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

Részletesebben

A birtokos szerkezet

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

Részletesebben

Az informatika logikai alapjai előadások

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...............................................

Részletesebben

TUDOMÁNYOS MÓDSZERTAN ÉS ÉRVELÉSTECHNIKA

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

Részletesebben

Válogatott fejezetek a logikai programozásból ASP. Answer Set Programming Kelemen Attila

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),

Részletesebben

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. 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ő,

Részletesebben

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. 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é

Részletesebben

MAGYAR NYELVÉSZETI TÁRGYAK ISMERTETÉSE BA NYELVTECHNOLÓGIAI SZAKIRÁNY

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

Részletesebben

A kondicionálisok problémája jogszabályszövegekben

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

Részletesebben

Temporális logikák és modell ellenırzés

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,

Részletesebben

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. 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

Részletesebben

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 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

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 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észletesebben

Az 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 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észletesebben

BOOLE ALGEBRA Logika: A konjunkció és diszjunkció tulajdonságai

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

Részletesebben

ESSZÉÍRÁS június

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

Részletesebben

TEST IZ MAĐARSKOG JEZIKA

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

Részletesebben

Példa 1. A majom és banán problémája

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?

Részletesebben

LOGIKA. A logika feladata tehát a premisszák és a konklúzió

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

Részletesebben

Matematikai logika. Jegyzet. Összeállította: Faludi Anita 2011.

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)...

Részletesebben

Halmazok; a matematikai logika elemei 1.1. A halmaz fogalma; jelölések

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

Részletesebben

MATEMATIKA I. JEGYZET 1. RÉSZ

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

Részletesebben

Kaposi Ambrus. University of Nottingham Functional Programming Lab. Hackerspace Budapest 2015. január 6.

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ő

Részletesebben

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

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.

Részletesebben

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 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

Részletesebben

Megoldások. 2001. augusztus 8.

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

Részletesebben

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 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

Részletesebben

Érvelés-Meggyőzés-Tárgyalástechnika Gyakorló feladatok, 1 ZH

É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

Részletesebben

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. 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

Részletesebben

Logika és informatikai alkalmazásai

Logika é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 2008 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit

Részletesebben

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?

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,

Részletesebben

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. 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ó

Részletesebben

PANNON NYELVVIZSGA. (alapfokú) szóbeli vizsga

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

Részletesebben

Mesterséges Intelligencia MI

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?

Részletesebben

Adatbázis, adatbázis-kezelő

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,

Részletesebben

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 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

Részletesebben

Instabilitás a logikában

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

Részletesebben

Ésik Zoltán (SZTE Informatikai Tanszékcsoport) Logika a számtastudományban Logika és informatikai alkalmazásai Varterész Magdolna, Uni-Deb

É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észletesebben

A logikai táblázat módszere III.

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

Részletesebben

1A DE Kossuth Lajos Gyakorló Gimnáziuma és Általános Iskolája, Csengő u. 4., Debrecen 114

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,,

Részletesebben

MONDATTAN SZEMINÁRIUM A mellérendelő szintagma

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.

Részletesebben

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! 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

Részletesebben

Tizenegyedik lecke. lecsónak. salátanak. betegnek lánynak

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

Részletesebben

É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. É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.

Részletesebben

ÉRVELÉSTECHNIKA-LOGIKA GYAKORLÓ FELADATOK, 1. ZH

É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

Részletesebben

Gárdonyi Géza. Az ablak

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,

Részletesebben

Dr`avni izpitni center MAGYAR NYELV ÉS IRODALOM. 1. feladatlap. Nem művészi szöveg elemzése. Péntek, augusztus 27. / 60 perc

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:

Részletesebben

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 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

Részletesebben

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 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

Részletesebben

Matematikai logika 1 A MATEMATIKAI LOGIKA ALAPJAI. Pécsi Tudományegyetem, 2005. Bevezetés

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

Részletesebben

DISZKRÉT MATEMATIKA. Elsőrendű Logika. Minden madár gerinces.

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

Részletesebben

A melléknevek képzése

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

Részletesebben

Bevezetés a nyelvtudományba Mondattan (szintaxis) Kiegészítés

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.

Részletesebben

2. (3) Lakás bérlője szolgálati lakás kivételével csak európai uniós állampolgár lehet.

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.)

Részletesebben

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 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

Részletesebben

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 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

Részletesebben

III. Szabályalapú logikai következtetés

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

Részletesebben

Diszkrét matematika MATEMATIKAI LOGIKA

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.

Részletesebben

Bevezetés a matematikai logikába

Bevezetés a matematikai logikába Bevezetés a matematikai logikába E. Szabó László MTA-ELTE Elméleti Fizika Kutatócsoport Tudománytörténet és Tudományfilozófia Tanszék E-mail: leszabo@hps.elte.hu http://hps.elte.hu/leszabo 2007. december

Részletesebben