Összefüggések. kondicionális jelentése
|
|
|
- Benedek Vörös
- 5 évvel ezelőtt
- Látták:
Átírás
1 Összefüggések kondicionális jelentése p q ~pvq
2 Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p
3 Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p
4 Kontrapozíció Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p
5 Mire jók? Állításokat, összetett állítások vizsgáltunk Hogyan vizsgálhatunk ezekkel következtetéseket? Levezetési szabályokkal
6 Mire jók? Állításokat, összetett állítások vizsgáltunk Hogyan vizsgálhatunk ezekkel következtetéseket? Levezetési szabályokkal
7 Mire jók? Állításokat, összetett állítások vizsgáltunk Hogyan vizsgálhatunk ezekkel következtetéseket? Levezetési szabályokkal
8 Mire jók? Állításokat, összetett állítások vizsgáltunk Hogyan vizsgálhatunk ezekkel következtetéseket? Levezetési (következtetési) szabályokkal
9 Következtetés konjunkcióval P1: Berlinben fúj a szél P2: Berlinben esik az eső K: (Tehát) Berlinben fúj a szél és esik az eső
10 Következtetés konjunkcióval P1: Berlinben fúj a szél P2: Berlinben esik az eső K: (Tehát) Berlinben fúj a szél és esik az eső
11 Következtetés konjunkcióval P1: Berlinben fúj a szél és esik az eső K: (Tehát) Berlinben fúj a szél
12 Következtetés konjunkcióval P1: Berlinben fúj a szél és esik az eső K: (Tehát) Berlinben esik az eső
13 Következtetés diszjunkcióval P1: Berlinben fúj a szél vagy esik az eső P2: Berlinben nem fúj a szél K: (Tehát) Berlinben esik az eső
14 Következtetés diszjunkcióval P1: Berlinben fúj a szél vagy esik az eső P2: Berlinben nem fúj a szél K: (Tehát) Berlinben esik az eső
15 Következtetés diszjunkcióval P1: Berlinben fúj a szél K: (Tehát) Berlinben esik az eső
16 Következtetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy esik az eső K: (Tehát) Berlinben esik az eső
17 Következtetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy esik az eső K: Berlinben fúj a szél vagy süt a nap K: (Tehát) Berlinben esik az eső
18 Következtetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy esik az eső K: Berlinben fúj a szél vagy süt a nap K: Berlinben fúj a szél vagy jön a Rózsaszín Párduc K: (Tehát) Berlinben esik az eső
19 Következtetés kondicionálissal P1: Ha esik az eső, akkor vizes az út P2: Esik az eső K: (Tehát) vizes az út
20 Következtetés kondicionálissal P1: Ha esik az eső, akkor vizes az út P2: Esik az eső K: (Tehát) vizes az út
21 Következtetés kondicionálissal P1: Ha esik az eső, akkor vizes az út P2: Esik az eső K: (Tehát) vizes az út
22 Következtetés kondicionálissal P1: Ha esik az eső, akkor vizes az út P2: Esik az eső K: (Tehát) vizes az út MODUS PONENS
23 Következtetés kondicionálissal P1: Ha esik az eső, akkor vizes az út P2: Nem vizes az út K: (Tehát) nem esik az eső
24 Következtetés kondicionálissal P1: Ha esik az eső, akkor vizes az út P2: Nem vizes az út K: (Tehát) nem esik az eső MODUS TOLLENS
25 Következtetés kondicionálissal P1: Ha esik az eső, akkor vizes az út P2: Nem vizes az út K: (Tehát) nem esik az eső MODUS TOLLENS
26
27
28
29
30 Lovagok: mindig igazat mondanak Lókötők: mindig hazudnak
31 Lovagok: mindig igazat mondanak Lókötők: mindig hazudnak Normálisok: néha igazat mondanak, néha hazudnak
32 Feladat Tegyük fel, hogy a Furcsa Sziget lakosa vagy, beleszeretsz egy helybéli lányba és szeretnéd feleségül venni. A lány valamilyen különös okból csak lókötőhöz hajlandó hozzámenni, ráadásul gazdag lókötőt akar, szegényet nem. (Tfh: mki vagy gazdag, vagy szegény.) Tegyük fel, hogy Te épp gazdag lókötő vagy! Egy mondatot mondhatsz a lánynak, amivel meggyőzöd erről mi lesz az?
33 Feladat És ha csak gazdag lovaghoz hajlandó hozzámenni (s Te épp az vagy) mi lesz az az egy mondat?
34 Feladat Tegyük fel, hogy ismert tény: a tettes lókötő! Azt is tegyük fel, hogy Te lókötő vagy (bár ezt a bíróság nem tudja), de ebben a bűntényben teljesen ártatlan! Egy mondatot mondhatsz. Az a feladat, hogy meggyőzd az esküdteket, hogy ártatlan vagy (arról nem kell meggyőzni őket, hogy nem vagy lókötő). Mi lesz az a mondat?
35 Feladat (Mostantól normálisok is vannak) A tettes nem normális, Te az vagy. Hogyan lehet meggyőzni egy mondattal az esküdteket arról, hogy Te ártatlan vagy?
36 Feladat A király normálishoz akarja adni a lányát, Te az vagy. Győzd meg erről a királyt egy igaz mondattal!
37 Feladat A király normálishoz akarja adni a lányát, Te az vagy. Győzd meg erről a királyt egy igaz mondattal! Győzd meg erről a királyt egy hamis mondattal!
38 Feladat (Most megint nincsenek normálisok, viszont vannak kondicionálisok) A ezt állítja: Ha én lovag vagyok, akkor B is az. Mit tudtunk meg ebből?
39 Feladat Valaki megkérdezi A-tól: Ön lovag? A válasza: Ha lovag vagyok, megeszem a kalapom Bizonyítsuk be, hogy kénytelen megenni!
40 Feladat A azt mondja: Ha lovag vagyok, akkor 2+2=4. A lovag vagy lókötő?
41 Feladat A azt mondja: Ha lovag vagyok, akkor 2+2=5. A lovag vagy lókötő?
42 Szerelem és logika Törpilla szereti Törperőst vagy Hamit. Ha szereti Törperőst, akkor szereti Hamit. Következik ebből, hogy szereti Törperőst? Következik ebből, hogy szereti Hamit?
43 Szerelem és logika Tegyük fel, hogy valaki megkérdezi Bobbytól: - Tényleg igaz, hogy ha szereted Pamelát, akkor szereted Aprilt is? - Ha igaz, akkor szeretem Pamelát. Következik ebből, hogy szereti Pamelát? Következik ebből, hogy szereti Aprilt?
44
45 Szerelem és logika Azt mondja Ross: 1. A három lány közül legalább egyet szeretek. 2. Ha Rachelt szeretem, de Phoebet nem, akkor Monicat is szeretem. 3. Vagy Phoebet és Monicat szeretem, vagy egyiküket sem. 4. Ha szeretem Phoebet, akkor Rachelt is.
46 A lift A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém.
47 A lift A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém. F: Drágám, ha én valakit szeretek, akkor mindent megteszek érte, és érted bármit megtennék. Hisz tudod! 1.
48 A lift A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém. 2. F: Drágám, ha én valakit szeretek, akkor mindent megteszek érte. N: Nos, akkor megszerzed nekem a TS 2 dossziét? -- tér a lényegre a nő F: Értsd meg, ezt nem tehetem Az állásom, a becsületem, az életem
49 A lift A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém. 3. F: Drágám, ha én valakit szeretek, akkor mindent megteszek érte. N: És tényleg szeretsz, Drágám? akar egyértelmű helyzetet teremteni a nő F: Hisz tudod, hogy mennyire!
50 A lift A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém. 4. F: Drágám, ha én valakit szeretek, akkor mindent megteszek érte. N: És tényleg szeretsz, Drágám? akar egyértelmű helyzetet teremteni a nő F: Hát tudod, persze nagyszerű veled, de nekem ott a család
51 A lift A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém. Megválaszolandó kérdések mind a négy esetben: a) Megszerzi a dossziét? b) Szereti?
52 p q q p
53 p q q p p q ~p ~q
54 Utótag állítása: p q q p Előtag tagadása: p q ~p ~q
55 Utótag állítása: p q q p Előtag tagadása: p q ~p ~q ÉRVÉNYTELEN!
56 Modus ponens: p q p q Modus tollens: p q ~q ~p
57 Modus ponens: p q p q Modus tollens: p q ~q ~p ÉRVÉNYES!
58 Ha gyorsul az infláció, drágulnak a hitelek. Ha drágulnak a hitelek, akkor viszont csökkennek a beruházások. Következésképpen ha a kormány és a jegybank nem tesz valamit az infláció ellen, akkor csökkenni fognak a beruházások.
59 p q q r p r
60 p q q r p r ÉRVÉNYES!
61 Ha jó könyveket olvasol, akkor sokat tudsz. Ha jól vizsgázol, akkor nyilván sokat tudsz. Tehát ha jó könyveket olvasol, akkor jól vizsgázol.
62 p q r q p r
63 p q r q p r ÉRVÉNYTELEN!
64 Ha meghízom, akkor depressziós vagyok. Ha pedig depressziós vagyok, akkor sokat eszem. Ha sokat eszem, akkor meghízom. Tehát mindenképpen meghízom.
65 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 a felújítással szenvedünk, vagy sokat utazunk.
66 pvq p r q s r v s
67 Konstruktív dilemma pvq p r q s r v s ÉRVÉNYES!
68 - 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. Ha tudott róla, akkor hazudott, amikor azt állította a parlamenti 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 kapcsolatai szempontjából ilyen fontosságú ügyről a miniszternek tudnia kell. Tehát a miniszter úr vagy hazudik vagy inkompetens. Akár így, akár úgy van, a miniszternek le kell mondania.
69 Példák: Smullyan, Raymond: Mi a címe ennek a könyvnek? Margitay Tihamér: Az érvelés mestersége.
70 Mit tanultunk eddig?
71 Mit tanultunk eddig? propozicionális logikát
72 Mit tanultunk eddig? propozicionális logikát propozíció=állítás nem néztünk a tagmondatok belsejébe, csak a logikai kapcsolatuk érdekelt minket
73 Predikátumlogika
74 Predikátumlogika Most belenézünk a tagmondat belsejébe > gazdagabb képet kapunk
75 p Minden magyar lány szép. q Babett magyar lány. r (Tehát) Babett szép.
76 p Minden magyar lány szép. q Babett magyar lány. r (Tehát) Babett szép.
77 p Minden magyar lány szép. q Babett magyar lány. r (Tehát) Babett szép. Ez így érvénytelen
78 Predikátumlogika gazdagabb nyelv kell: Individuumkonstansok Individuumváltozók Predikátumkonstansok Predikátumváltozók
79 Predikátumlogika gazdagabb nyelv kell: Individuumkonstansok Individuumváltozók Predikátumkonstansok Predikátumváltozók
80 Predikátumlogika Kata jól beszél angolul pkgmvmi,de A nmeee
81 Predikátumlogika Kata jól beszél angolul pkgmvmi,de A nmeee így fogjuk felírni: Ak
82 Predikátumlogika Kata jól beszél angolul pkgmvmi,de A nmeee így fogjuk felírni: Ak egy argumentum van
83 Predikátumlogika Hogyan lehet két argumentum?
84 Predikátumlogika Hogyan lehet két argumentum? Reláció
85 Predikátumlogika Hogyan lehet két argumentum? Reláció Debrecen nagyobb, mint Szolnok.
86 Predikátumlogika Hogyan lehet két argumentum? Reláció Debrecen nagyobb, mint Szolnok. Nds (dns)
87 Predikátumlogika Hogyan lehet két argumentum? Reláció Debrecen nagyobb, mint Szolnok. Nds Változóval: Nxy x nagyobb, mint y
88 Predikátumlogika Mi mindenre jók a változók? KVANTOROS állítások (kvantifikáció)
89 Kvantorok Mindenki jól beszél angolul.
90 Kvantorok Mindenki jól beszél angolul. x(ax)
91 Kvantorok Mindenki jól beszél angolul. x(ax) (minden x-re Ax) univerzális kvantor
92 Kvantorok Van olyan, aki jól beszél angolul.
93 Kvantorok Van olyan, aki jól beszél angolul. x(ax) (létezik x, hogy Ax) egzisztenciális kvantor
94 Kvantorok Van olyan, aki jól beszél angolul. x(ax)
95 Kvantorok Csak individuumváltozók felett kvantifikálunk! elsőrendű logika
96 Mondataink Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. x(úx) zárt mondat
97 Mondataink Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. x(úx) zárt mondat
98 Mondataink Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. x(úx) zárt mondat Valaki úszik helyes formalizálása: x(úx)
99 Kategóriáink 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
100 Kategóriáink 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, páratlan szám, szép lány, tud angolul, nagyobb, szereti, testvérek
101 Állítások fordítása predikátumlogikában Kovács műszaki végzettségű épí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.
102 Állítások fordítása prediká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ép.
Mit 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:
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ő
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.
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
Az 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
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
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
Prediká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
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.
Matematikai 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
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
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ó.
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
Első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ó)
Predikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.
Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Vizsgáljuk meg a következ két kijelentést. Minden almához tartozik egy fa, amir l leesett.
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ó
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
Matematika 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.
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
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
I. Igazolás és/vagy meggyőzés. Érvelés és elemzés A deduktív logika elemei. Ismétlés 2: Érvelési forma. Ismétlés 1: Deduktív érvelés
I. Igazolás és/vagy meggyőzés Érvelés és elemzés A deduktív logika elemei Érvelések elemzése milyen kérdésre keres választ Milyen cél alapján? / Mit tekint az érvelések funkciójának? Mi az igazsgág? Mi
Í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
Érveléstechnika-logika 9. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2.
Érveléstechnika-logika 9. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Következtetések Ha jön a postás, akkor ugat a kutya. Jön a postás. Ugat a kutya. Ha BME-n sportnap
AZ 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
LOGIKA É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
3. Portia ládikái: Portiának volt három ládikája (arany, ezüst, ólom), amelyek egyikébe elrejtette a képét.
1. Portia ládikái: Portiának volt három ládikája (arany, ezüst, ólom), amelyek egyikébe elrejtette a képét. Portia az intelligenciája alapján szeretett volna magának férjet választani, ezért a ládikákra
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
3. 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
Logikai á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
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
É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ó
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
Bevezeté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
A 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
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
Ha, akkor Kondicionálisok
Ha, akkor Kondicionálisok Miről lesz szó Wason-teszt és a józan paraszti ész Kondicionális jellemzői felcserélhetőség, kontrapozíció igazságtáblázat Példák: szerződések Modus ponens, modus ponens, hibák
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
1. Formalizálás. Informatikai logikai alapjai Mérnök informatikus 6. gyakorlat. 1. Jelöljék a következő nemlogikai konstansok a következőket:
Informatikai logikai alapjai Mérnök informatikus 6. gyakorlat 1. Formalizálás 1. Jelöljék a következő nemlogikai konstansok a következőket: p Aladár gőgös. q Aladár zsémbes. r Bea gőgös. s Bea zsémbes.
Ha, akkor Kondicionálisok Érveléstechnika-logika 8.
Ha, akkor Kondicionálisok Érveléstechnika-logika 8. Miről lesz szó Wason-teszt és a józan paraszti ész Kondicionális jellemzői felcserélhetőség, kontrapozíció igazságtáblázat Modus ponens, modus ponens,
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
Í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,
Kijelenté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
Kijelenté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,
Matematikai 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,
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
Bró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
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
ELTE TáTK Közgazdaságtudományi Tanszék ESSZÉÍRÁS. Készítette: Reich Orsolya. Szakmai felelős: Wessely Anna június
ESSZÉÍRÁS 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
Logika é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
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
Logika é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
Diszkrét matematika I.
Diszkrét matematika I. középszint 2013 ősz 1. Diszkrét matematika I. középszint 8. előadás Mérai László merai@compalg.inf.elte.hu compalg.inf.elte.hu/ merai Komputeralgebra Tanszék 2013 ősz Kombinatorika
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
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
Az informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Formulahalmaz kielégíthetősége Ezen az előadáson Γ-val egy elsőrendű logikai nyelv
Nagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2016. ősz 1. Diszkrét matematika 1. középszint 2. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
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,
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)...
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
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,
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
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
É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.
Logikai alapok a programozáshoz
Logikai alapok a programozáshoz Nagy Károly 2014 Nyíregyházi Főiskola Matematika és Informatika Intézet 1 Tartalomjegyzék 1. Kijelentés logika, ítéletkalkulus 2 2. A kijelentés logika törvényei 5 3. Logikai
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
HARMADIK RÉSZ / 5. FEJEZET A RUSSELL-FÉLE LÉTEZÉSI PARADOXON
HARMADIK RÉSZ / 5. FEJEZET A RUSSELL-FÉLE LÉTEZÉSI PARADOXON C: \ WORDWO80 SELENE PR_F_DIAMANT VVxxx vv05xxx.doc 97792 14327 2063 9 2011.08.11. 09:48:45 1 / 13 TARTALOMJEGYZÉK HARMADIK RÉSZ / 5. FEJEZET...1
I. Igazolás és/vagy meggyőzés. A deduktív logika elemei. Ismétlés 2: Érvelési forma. Ismétlés 1: Deduktív érvelés
I. Igazolás és/vagy meggyőzés Érvelés és elemzés A deduktív logika elemei Érvelések elemzése milyen kérdésre keres választ Milyen cél alapján? / Mit tekint az érvelések funkciójának? Mi az igazsgág? Mi
1.1. Alapfogalmak. Vektor: R 2 beli elemek vektorok. Pl.: (2, 3) egy olyan vektor aminek a kezdo pontja a (0, 0) pont és a végpontja a
1. 1. hét 1.1. Alapfogalmak Vektor: R 2 beli elemek vektorok. Pl.: (2, 3) egy olyan vektor aminek a kezdo pontja a (0, 0) pont és a végpontja a (2, 3) Egyenes normál vektora egy pontban: egy olyan vektor
Logika 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
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
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:
Diszkrét matematika 1. középszint
Diszkrét matematika 1. középszint 2017. sz 1. Diszkrét matematika 1. középszint 3. 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
2019/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
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
Logika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?
,,Alap kiskérdések Logika és informatikai alkalmazásai kiskérdések 2012. február 19. 1. Hogy hívjuk a 0 aritású függvényjeleket? 2. Definiálja a termek halmazát. 3. Definiálja a formulák halmazát. 4. Definiálja,
1. Definíciók. 2. Formulák. Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat
Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat 1. Definíciók A feladatokban bevezetünk két újabb logikai konstanst: a és jellel jelölteket. Ez a két konstans önmagában is formulának tekintendő.
... és amit kihagytunk a nyelvi cikkből
... és amit kihagytunk a nyelvi cikkből Tordai Renáta, Andréka Hajnal, Németi István Habár azzal az ígérettel zártuk a nyelvről szóló cikket, hogy nemsokára már a relativitás elméletét kezdjük felépíteni,
Í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,
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ő
1. gyakorlat ( ), Bevezető analízis 1., ősz (Besenyei Ádám csoportja)
1. gyakorlat (2016. 09. 12.), Bevezető analízis 1., 2016. ősz A színek jelentése: fekete az előzetes vázlat; piros, ami ehhez képest módosult. 1. Három matematikus bemegy egy kocsmába, és rendel. A nagy
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
Dunaú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
Logika es sz am ıt aselm elet I. r esz Logika Harmadik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Harmadik előadás Tartalom 2/33 Elsőrendű logika bevezetés Az elsőrendű logika szintaxisa 3/33 Nulladrendű állítás Az ítéletlogikában nem foglalkoztunk az álĺıtások
Arról, ami nincs A nemlétezés elméletei. 8. Nemlétezőkre vonatkozó mondatok november 4.
Arról, ami nincs A nemlétezés elméletei 8. Nemlétezőkre vonatkozó mondatok 2013. november 4. Tanulságok a múlt óráról A modern szimbolikus logika feltárja a kifejezések valódi szerkezetét, ami nem azonos
Mekis Péter A kijelentéslogika elemei
Mekis Péter A kijelentlogika elemei 1. Következtetek feltételes kijelentekkel (1) Ha jó idő van, nyitva tart a büfé. (2) Ha nem érem el a hét ötvenes buszt, nem érek be időben a munkahelyemre. (3) Ha Einsteinnek
Logika es sz am ıt aselm elet I. r esz Logika Hatodik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Hatodik előadás Tartalom 2/33 Elsőrendű rezolúciós kalkulus - előkészítő fogalmak Prenex formula, Skolem normálforma 3/33 Eldönthető formulaosztályok keresése
Kaposi Ambrus. Informatikai Kar. Pannonhalmi Bencés Gimnázium november 24.
Bizonyítás és programozás Kaposi Ambrus Eötvös Loránd Tudományegyetem Informatikai Kar Pannonhalmi Bencés Gimnázium 2017. november 24. A tökéletes operációs rendszer (i) BeOS Plan9 2 / 22 A tökéletes operációs
Memo: Az alábbi, "természetes", Gentzen típusú dedukciós rendszer szerint készítjük el a levezetéseket.
Untitled 2 1 Theorema Predikátumlogika 1 3 Natural Deduction (Gentzen mag/alap kalkulus) Cél: a logikai (szematikai) következményfogalom helyett a (szintaktikai) levethetõség vizsgálata. A bizonyítási
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),
Négy Hét Alatt Alapszinten Angolul
Négy Hét Alatt Alapszinten Angolul 5. Nap/Day five(déjfájv) Összevonás (Létigés Tagadó Mondatok) Ahogy azt előzőleg már megtanultuk, a mindennapi, beszélt nyelvben az összevont alakok használtak. Ma megtanuljuk
Automatikus tételbizonyítás
Automatikus tételbizonyítás előadások Várterz Magda Kádek Tamás Automatikus tételbizonyítás: előadások Várterz Magda Kádek Tamás Table of Contents 1 Előszó 1 2 Bevezet 2 1 Az elsőrendű nyelv szintaxisa
Mi az érvelés? tevékenység
Mi az érvelés? Mi az érvelés? tevékenység Mi az érvelés? tevékenység tevékenység eredménye Mi a vita? -- Ez citrom! -- Narancs. -- Citrom! -- Nem nyitok vitát. A tanú (1969) rendezte: Bacsó Péter Racionális
Nagy 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
Reported Speech Függő beszéd
~ T u d á s N y e l v i s k o l a ~ 4027 Debrecen, Lóverseny u. 22047/8. Fszt./2. Tel: +36 20 266 1989 www.tudasnyelviskola.hu tudas@tudasnyelviskola.hu Felnőttképzési nyilvántartási szám: 09-0018-06 Reported
A csúfolórigó nyomában
A csúfolórigó nyomában A logika világa Raymond Smullyan: A hölgy vagy a tigris? Raymond Smullyan: A tao hallgat Raymond Smullyan: Emlékek, történetek, paradoxonok Raymond Smullyan: Mi a címe ennek a könyvnek?
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
2. Logika gyakorlat Függvények és a teljes indukció
2. Logika gyakorlat Függvények és a teljes indukció Folláth János Debreceni Egyetem - Informatika Kar 2012/13. I. félév Áttekintés 1 Függvények Relációk Halmazok 2 Természetes számok Formulák Definíció
É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
Érveléstechnika 6. A Racionális vita eszközei
Érveléstechnika 6. A Racionális vita eszközei A racionális vita célja és eszközei A racionális vita célja: a helyes álláspont kialakítása (a véleménykülönbség feloldása). A racionális vita eszköze: bizonyítás