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:
|
|
- Zsuzsanna Feketené
- 5 évvel ezelőtt
- Látták:
Átírás
1 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. t Aladár szereti Beát. u Bea szereti Aladárt. Formalizálja ezek segítségével a következő mondatokat: (a) Aladár gőgős és szereti Beát. Megoldás: p t (b) Aladár nem gőgös, de szereti Beát. Megoldás: p t (c) Bea zsémbes, de Aladár szereti őt. Megoldás: s t (d) Ha Bea gőgös, akkor Aladár szereti őt. Megoldás: r t (e) Ha Aladár gőgös, akkor Bea nem szereti őt. Megoldás: p u (f) Vagy Aladár gőgös, vagy Bea zsémbes és szereti őt. Megoldás: p s u (g) Albert csak akkor gőgös és zsémbes, ha Bea nem szereti őt. Megoldás: p q u (h) Ha Albert vagy gőgös vagy zsémbes, akkor nem szereti Beát. Megoldás: (p q) t (i) Ha Albert gőgös vagy zsémbes, akkor nem szereti Beát. Megoldás: (p q) t
2 INBK gyakorlat 2/15 2. Formalizálja a következő mondatot: Megeszed a spenótot, vagy kapsz egyet! Megoldás: Jelölje p: Megeszed a spenótot. és q: Kapsz egyet.. A megoldás: p q. 3. Formalizálja a következő mondatot: Ha nem eszed meg a spenótot, kapsz egyet! Megoldás: Jelölje p: megeszed a spenótot és q: kapsz egyet. A megoldás: p q. 4. Formalizálja a következő mondatot: Akár esik, akár nem, elmegyek futni. Megoldás: Jelölje p: esik és q: elmegyek futni. A megoldás: p p q. 5. Formalizálja a következő mondatot: Ha esik, nem megyek futni. Megoldás: Jelölje p: esik és q: elmegyek futni. A megoldás: p q. 6. Formalizálja a következő mondatot: Ha vénasszonyok potyognak az égből, akkor megeszem a kalapom, de nem megyek futni Megoldás: Jelölje p: vénasszonyok potyognak az égből, q: megeszem a kalapomat és r: elmegyek futni. A megoldás: p q r. 7. Formalizálja a következő mondatot: Ha vénasszonyok potyognak az égből, amíg futok, akkor megeszem a kalapomat. Megoldás: Jelölje p: vénasszonyok potyognak az égből, q: megeszem a kalapomat és r: elmegyek futni. A megoldás: p r q Logikai következménye? 8. Formalizálja az alábbi állításokat, és ezek után döntse el, hogy premisszák logikai következménye-e a konklúzió! 1. Vagy Anna, vagy Balázs bűnös. 2. Ha Balázs bűnös, akkor Anna is. 3. Ezért Anna bűnös. Megoldás: Jelölje p, hogy Anna bűnös, és q, hogy Balázs bűnös. Az állítások formalizált alakja ezek után a
3 INBK gyakorlat 3/15 1. p q 2. q p 3. p p q p q q p p Az egyetlen interpretációban, ahol a premisszák igazak, igaz a konklúzió is. Így a konklúzió a premisszák logikai következménye. 9. Formalizálja az alábbi állításokat, és ezek után döntse el, hogy premisszák logikai következménye-e a konklúzió! 1. Vagy Cecil hazudik, vagy Dia otthon van. 2. Ha Emesének igaza van, akkor Cecil hazudik. 3. Így vagy Emesének nincs igaza, vagy Dia otthon van. Megoldás: Jelölje p, hogy Cecil hazudik; q, hogy Dia otthon van, és r, hogy Emesének igaza van. Az állítások formalizált alakja ezek után a 1. p q 2. r p 3. r q Tekintsük azt az ρ interpretációt, amikor p ρ = r ρ = 1 és q ρ = 0. Ekkor a premisszák igazak, míg a konklúzió hamis. Így a konklúzió nem logikai következménye a premisszáknak. 10. Formalizálja az alábbi állításokat, és ezek után döntse el, hogy premisszák logikai következménye-e a konklúzió! 1. Ha Feri nem játszott, akkor Gabi sem. 2. Gabi játszott. 3. Ezért Feri és Gabi is játszott. Megoldás: Jelölje p, hogy Feri játszott, és q, hogy Gabi játszott. Az állítások formalizált alakja ezek után a 1. p q 2. q 3. p q
4 INBK gyakorlat 4/15 p q p q q p q Az egyetlen interpretációban, ahol a premisszák igazak, igaz a konklúzió is. Így a konklúzió a premisszák logikai következménye. 11. Formalizálja az alábbi állításokat, és ezek után döntse el, hogy premisszák logikai következménye-e a konklúzió! 1. Ha Hugó hazament, akkor Imi is. 2. Ha Imi hazament, akkor Jancsi is. 3. Ha Jancsi hazament, akkor Imi nem. 4. Ezért se Imi, se Hugó nem ment haza Megoldás: Jelölje p, hogy Hugó hazament, p, hogy Imi hazament, és r, hogy Jancsi hazament. Az állítások formalizált alakja ezek után a 1. p q 2. q r 3. r q 4. p q p q r p q q r r q p q Abban a két interpretációban, ahol a premisszák igazak, igaz a konklúzió is. Így a konklúzió a premisszák logikai következménye. 12. Formalizálja az alábbi állításokat, és ezek után döntse el, hogy premisszák logikai következménye-e a konklúzió! 1. Ha Károlynak van kocsija, akkor Lajosnak is. 2. Ha Lajosnak van kocsija, akkor Miklósnak is. 3. Ha Miklósnak van kocsija, akkor Károlynak nincs. 4. Ezért se Lajosnak, se Károlynak nincs kocsija.
5 INBK gyakorlat 5/15 Megoldás: Jelölje p, hogy Károlynak van kocsija; q, hogy Lajosnak van kocsija,és r, hogy Miklósnak van kocsija. Az állítások formalizált alakja ezek után a 1. p q 2. q r 3. r p 4. q p Tekintsük azt az ρ interpretációt, amikor q ρ = r ρ = 1 és p ρ = 0. Ekkor a premisszák igazak, míg a konklúzió hamis. Így a konklúzió nem logikai következménye a premisszáknak. 13. Formalizálja az alábbi állításokat, és ezek után döntse el, hogy premisszák logikai következménye-e a konklúzió! 1. Vagy Nóra gazdag, vagy Ottót átejtették. 2. Ha Ottót átejtették, akkor Nóra hazudott. 3. Nóra nem hazudott és nem gazdag. 4. Ezért Ottónak el kell hagyni Nórát Petráért. Megoldás: Jelölje p, hogy Nóra gazdag; q, hogy Ottót átejtették; r, hogy Nóra hazudott; és s, hogy Ottónak el kell hagynia Nórát Petráért. Az állítások formalizált alakja ezek után a 1. p q 2. p r 3. r p 4. s Könnyű belátni, hogy az első három formulából álló formulahalmaz kielégíthetetlen, ezért belőle bármely formula következik. Így a konklúzió a premisszák logikai következménye. 14. Formalizálja az alábbi állításokat, és ezek után döntse el, hogy premisszák logikai következménye-e a konklúzió! 1. Ha Batman képes, és hajlandó lenne megmenteni bennünket a gonosztól, akkor megtenné. 2. Ha Batman nem képes megmenteni bennünket a gonosztól, akkor tehetetlen. 3. Ha Batman nem hajlandó megmenteni bennünket a gonosztól, akkor rosszindulatú. 4. Batman nem ment meg bennünket a gonosztól. 5. Ha Batman létezne, akkor nem lenne sem tehetetlen, sem rosszindulatú. 6. Ezért Batman nem létezik. Megoldás: Jelölje p, hogy Batman képes megmenteni bennünket a gonosztól; q, hogy Batman hajlandó megmenteni bennünket a gonosztól; r, hogy Batman nem ment meg bennünket a gonosztól; s, hogy Batman tehetetlen; t, hogy Batman rosszindulatú; és u, hogy Batman létezik. Az állítások formalizált alakja ezek után a
6 INBK gyakorlat 6/15 1. p q r 2. p s 3. q t 4. r 5. u s t 6. u A hat állítás miatt 64 soros igazságtáblára lenne szükség, így egy más módszert használunk. Tekintsük a premisszákat elemi diszjunkciókként: (1) p q r (2) p s (3) q t (4) r (5) u s és u t A konklúzió tagadása az egyszerűsítés után az u formula, melyre (6)-ként hivatkozunk. Bővítéssel kapjuk a következő elemi diszjunkciókat (7) p q, bővítéssel (1) és (4) állításokból (8) q s, bővítéssel a (2) és (7) állításokból (9) s t, bővítéssel a (3) és (8) állításokból (10) u t, bővítéssel a (5a) és (9) állításokból (11) u, bővítéssel a (5b) és (10) állításokból A (11)-es formula a (6) tagadása, így a teljes formula ellentmondást tartalmaz, így kielégíthetetlen, azaz a konklúzió valóban logikai következménye a premisszáknak. 15. Formalizálja az alábbi állításokat! A. Ha Béla busszal megy, akkor lemarad a találkozóról, ha a busz késik. B. Béla nem jön haza, ha lemarad a találkozóról és szomorú lesz. C. Ha Béla nem kapja meg a munkát, akkor szomorú lesz, és nem jön haza. Döntse el, hogy az előbbi premisszáknak a következő konklúziók közül melyik lesz logikai következménye! 1. Ha Béla busszal megy, akkor Béla megkapja a munkát, ha a busz késik. 2. Béla megkapja a munkát, ha lemarad a találkozóról és nem jön haza. 3. Ha a busz késik, Béla szomorú lesz és hazajön, akkor nem busszal megy. 4. Béla nem busszal megy, ha a busz késik és nem kapja meg a munkát. 5. Ha Béla nem marad le a találkozóról, akkor nem jön haza és nem kapja meg a munkát. 6. Béla szomorú lesz, ha a busz késik, vagy Béla lemarad a találkozóról.
7 INBK gyakorlat 7/15 7. Ha Béla busszal megy, a busz késik és Béla hazajön, akkor megkapja a munkát. 8. Ha Béla busszal megy, de nem kapja meg a munkát, akkor vagy a nem késik a busz vagy Béla nem jön haza. Megoldás: Jelölje p, hogy Béla busszal megy; q, hogy Béla lemarad a találkozóról; r, hogy a busz késik; s, hogy Béla szomorú lesz; t, hogy Béla megkapja a munkát; és u, hogy Béla hazajön. A premisszák formalizált alakja ezek után a A. p r q B. q s u C. t s u 1. p r t 2. q u t 3. r s u p 4. r t p 5. q u t 6. r q s 7. p r u t 8. p t (r u) A három premissza elemi diszjunkcióra átalakítva a következő formulákat szolgáltatja: (a) p r q (b) q s u (c 1 ) t s (c 2 ) t u A bővítést alkalmazva a (a) és (b) formulákra, p r s u formulát adja, ami pontosan a 3. konklúzió elemi diszjunkcióra átírva. Erre, és a (c 1 ) formulára alkalmazva a bővítést, a p r t u formulát kapjuk, ami pedig a 7. konklúzió elemi diszjunktív alakja. Ezek alapján a premisszáknak csak a 3. és 7. konklúzió a logikai következménye. Könnyű ellenőrizni, hogy az alábbi interpretációk esetén a premisszák mind igazak, míg a megfelelő konklúzió hamis. Ekkor a konklúzió nem teljesül. formula p q r s t u Aki nem akarja az igazságtáblázat mind a 64 sorát kiszámolni, az alkalmazhatja a következő módszert, melyet csak az első konklúzió esetén mutatunk meg.
8 INBK gyakorlat 8/15 Ahhoz hogy belássuk, hogy a konklúzió a premisszák logikai következménye, elegendő azt belátni, hogy a konklúzió tagadását a premisszákhoz véve ellentmondáshoz jutunk. Tekintsük azt az interpretációt, melyben a premisszák igazak, és az első konklúzió hamis! p r t akkor lesz hamis, ha p igaz, és r t hamis, azaz r igaz és t hamis. Ezekből és az (a) formulából azt kapjuk, hogy q igaz. t hamisságából és (c 1 )-ből adódik, hogy s igaz, míg hasonlóképpen (c 2 )-ből, hogy u hamis. Az interpretációt meg tudtuk adni az összes nemlogikai konstansra, és ebben az interpretációban a premisszák igazak, míg a konklúzió hamis. Így az nem lehet a premisszák logikai következménye Craig felügyelő feljegyzéseiből Ezek a feladatok R. M. Smullyan Mi a címe ennek a könyvnek könyve alapján készültek. A megoldásokban formalizálja a leírásban szereplő állításokat, és annak segítségével válaszolja meg a feladat kérdését! 16. Hatalmas mennyiségű árút loptak el egy áruházból. A tettes (vagy tettesek) autóval szállította (vagy szállították) el a zsákmányt. Három jól ismert bűnözőt vittek be a Scotland Yard-ra kihallgatni, P -t, Q-t és R-t. A következők derültek ki: 1. P -n, Q-n és R-n kívül senki nem vehetett részt a rablásban. 2. R sosem dolgozik P (és esetleg más) tettestársak nélkül. 3. Q nem tud autót vezetni. P bűnös, vagy ártatlan? Megoldás: Jelölje p, q és r, hogy a megfelelő személy bűnös.. Az állítások formalizált alakja ezek után a 1. p q r 2. r p 3. q (p r) Írjuk fel a premisszák igazságtáblázatát! p q r p q r r p q p r Ebből látható, hogy pontosan akkor igaz mindhárom feladatban szereplő állítás, ha p értéke igaz. Így ezen premisszák logikai következménye a p konklúzió, azaz P bűnös. 17. Egy másik egyszerű eset, megint rablás. P -t, Q-t és R-t kihallgatták, és a következők derültek ki: 1. P -n, Q-n és R-n kívül senki nem vehetett részt a rablásban.
9 INBK gyakorlat 9/15 2. P sohasem dolgozik legalább egy bűntárs nélkül. 3. R ártatlan. Q ártatlan vagy bűnös? Megoldás: Jelölje p, q és r, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. p q r 2. p q r 3. r p q r p q r p q r r Két olyan interpretáció is van, melyben mind a három premissza igaz, és mindkét interpretációban a q is igaz. Így a Q konklúzió logikai következménye a premisszáknak. 18. Három jól ismert bűnözőt hallgattak ki, P -t, Q-t és R-t. P és Q történetesen egypetéjű ikrek, és kevés ember tudja őket megkülönböztetni. Mindhárom gyanúsítottnak volt már priusza, és sok mindent meg lehetett tudni róluk és a szokásaikról. Az ikrek például meglehetősen félénkek voltak, és egyikük sem mert soha bűntárs nélkül dolgozni. Q viszont igen merész volt, és mindig egyedül dolgozott. Néhányan tanúsították, hogy a rablás idején az ikrek egyikét inni látták Doverben egy bárban, de hogy melyiket, azt nem tudták. Feltéve, hogy P -n, Q-n és R-en kívül más nem vehetett részt a rablásban, ki ártatlan és ki bűnös? Megoldás: Jelölje p, q és r, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. P -n, Q-n és R-en kívül más nem vehetett részt a rablásban: p q r 2. Az ikrek nem mernek bűntárs nélkül dolgozni: (p q r) (r q p) 3. Q mindig egyedül dolgozott: q p r 4. Az ikrek egyikét látták egyedül inni: p r p q r p q r (p q r) (r q p) q p r p r
10 INBK gyakorlat 10/15 Látható, hogy csak egy olyan interpretáció van, melyben a premisszák mind igazak. Ekkor q igaz, míg p és r hamis, így csak Q bűnös, a többiek ártatlanok. 19. Mire következtethet ezekből a tényekből? kérdezte Craig felügyelő McPherson őrmestert. 1. Ha P bűnös, és Q ártatlan, akkor R bűnös. 2. R sosem dolgozik egyedül. 3. P sosem dolgozik R-rel. 4. P -n, Q-n és R-n kívül senki más nem vehetett részt a bűntényben, és legalább az egyikük bűnös. Az őrmester megvakarta a fejét, és így szólt: Attól tartok uram, hogy nem sokra. Ön meg tudja állapítani ennyiből, hogy ki ártatlan és ki bűnös? Nem. válaszolta Craig, de ahhoz ennyi is elég, hogy egyikük ellen vádat emeljünk. Melyikük az, aki biztosan bűnös? Formalizálja az alábbi állításokat, és ezek után döntse el, hogy premisszák logikai következménye-e a konklúzió! Megoldás: Jelölje p, q és r, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. p q r 2. r p q 3. (p r) 4. p q r p q r p q r r p q (p r) p q r Abban a három interpretációban, melyben a premisszák mind igazak, a q formula is igaz. Ez viszont nem mondható el a p és r formulákról. Így a premisszáknak csak a q konklúzió logikai következménye. Tehát a Q biztosan bűnös. 20. Mr. McGregor, egy londoni boltos, felhívta a Scotland Yardot, hogy kirabolták a boltját. Három gyanúsítottat hallgattak ki, P -t, Q-t és R-t. A következők derültek ki: 1. P, Q és R mindegyike jár a boltban a rablás napján, és senki más nem volt aznap a boltban. 2. Ha P bűnös, akkor pontosan egy bűntársa volt. 3. Ha Q ártatlan, akkor R is az. 4. Ha pontosan két tettes volt, akkor P az egyik.
11 INBK gyakorlat 11/15 5. Ha R ártatlan, akkor Q is az. Vajon kit vádolt Craig felügyelő? Megoldás: Jelölje p, q és r, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. p q r 2. p ( q r) 3. q r 4. (p q q) (p q r) ( p q r) p 5. r q p q r p q r p ( q r) q r (p q r) (p q r) ( p q r) p r q A premisszák halmaza kielégíthetetlen, így a feltételek ellentmondásosak. Ezért Craig felügyelő McGregor-t vádolta biztosítási csalással, amit az hamarosan be is ismert. 21. Ezúttal négy gyanúsítottat hallgattak ki egy rablással kapcsolatban, P -t, Q-t, R-t és S-et. Biztos volt, hogy legalább az egyikük bűnös, és hogy négyükön kívül senki más nem vehetett részt a rablásban. A következők derültek ki: 1. P biztosan ártatlan. 2. Ha Q bűnös, akkor pontosan egy bűntársa volt. 3. Ha R bűnös, akkor pontosan két bűntársa volt. Craig felügyelőt főleg az érdekelte, hogy vajon S ártatlan vagy bűnös, mivel S különösen veszélyes bűnöző volt. Szerencsére a fenti tények elegendőek ennek eldöntéséhez. Bűnös D vagy nem? Megoldás: Jelölje p, q, r és s, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. p 2. q (p r s) ( p r s) ( p r s) 3. r (p q s) (p q s) ( p r s) 4. p q r s (négyükön kívül más nem vehetett részt a rablásban)
12 INBK gyakorlat 12/15 p q r s p q r p q r s Most a következők derültek ki: 1. Hármójuk közül legalább az egyik bűnös. 2. Ha P bűnös és Q ártatlan, akkor C bűnös. Ennyi bizonyíték nem elég ahhoz, hogy bármelyiküket is bűnösnek nyilvánítsuk, de ezek alapján ki tudunk választani két embert úgy, hogy ezek egyike biztosan bűnös. Melyik kettőt? Megoldás: Jelölje p, q és r, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. p q r 2. p q r p q r p q r p q r Az igazságtáblázatból leolvasható, hogy a két premisszának a q r konklúzió lesz a logikai következménye. Így Q vagy R egyike biztosan bűnös. 23. Ebben a még érdekesebb esetben négy vádlott szerepel, P, Q, R és S. A következők derültek ki:
13 INBK gyakorlat 13/15 1. Ha P és Q mindketten bűnösek, akkor R bűntárs. 2. Ha P bűnös, akkor Q és R közül legalább az egyik bűntárs. 3. Ha R bűnös, akkor S bűntárs. 4. Ha P ártatlan, akkor S bűnös. Kik azok, akik biztosan bűnösek, és kik azok, akiknek kétséges a bűnösségük? Megoldás: Jelölje p, q, r és s, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. p q r 2. p q r 3. r s 4. p s p q r s p q r p q r r s p s Ha alaposabban megfigyeljük az igazságtáblázatot, amikor a négy premissza igaz, akkor az s is igaz. Viszont vannak olyan interpretációk, amikor a premisszák igazak, és p igaz, de olyan is, hogy ekkor p hamis. Hasonló állítás igaz q-ra és r-re. Így S biztosan bűnös, a többiek bűnössége kétséges. Másik megoldás: írjuk fel a premisszákat elemi diszjunkciókként! Majd nézzük ezekből a bővítés szabályával nyert további elemi diszjunkciókat! (1) p q r (2) p q r (3) r s (4) p s (5) q r s, (1) és (4) formulákból (6) q s, (3) és (5) formulákból
14 INBK gyakorlat 14/15 (7) p q s, (2) és (3) formulákból (8) p s, (6) és (7) formulákból (9) s, (4) és (8) formulákból Mivel az (1)-(9) tagok diszjunkciója adja ki feladatot leíró formula konjunktív normál formáját, a ez a formula pontosan akkor lesz igaz, amikor minden elemi diszjunkciója azaz ha a premisszák együtt igazak, akkor s is. 24. Ebben az esetben ismét négy vádlott szerepel P, Q, R és S. A következők derültek ki. 1. Ha P bűnös, akkor Q bűntárs. 2. Ha Q bűnös, akkor vagy R bűntárs vagy P ártatlan. 3. Ha S ártatlan, akkor P bűnös és R ártatlan. 4. Ha S bűnös, akkor P is az. Ki ártatlan és ki bűnös. Megoldás: Jelölje p, q, r és s, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. p q 2. q (r p) 3. s p r 4. s p p q r s p q q (r p) s p r s p A táblázat alapján egy interpretációban igaz az összes premissza. Ekkor mindegyik nem logikai konstans igaz értékkel rendelkezik, így mindegyikük bűnös.
15 INBK gyakorlat 15/ P -t, Q-t és R-t rablásban való részvétellel vádolták. Ezúttal a következő két tényre derült fény: 1. Ha P ártatlan, vagy Q bűnös, akkor R bűnös. 2. Ha P ártatlan, akkor R ártatlan. Megállapítható-e valamelyikük bűnössége? Megoldás: Jelölje p, q és r, hogy a megfelelő személy bűnös. Az állítások formalizált alakja ezek után a 1. p q r 2. p r p q r p q r p r A táblázat alapján amikor két premissza igaz, akkor p is igaz. Így P bűnössége megállapítható. Q és R lehet bűnös is és ártatlan is. Más megoldás. Abból a feltételezésből kiindulva, hogy P ártatlan, egyrészt azt kapjuk, hogy R bűnös, másrészt azt, hogy R ártatlan. Az ellentmondás kiküszöbölhető azzal, hogy azt tételezzük fel, hogy P bűnös.
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ő.
Részletesebben1. Logikailag ekvivalens
Informatikai logikai alapjai Mérnök informatikus 4. gyakorlat 1. Logikailag ekvivalens 1. Az alábbi formulák közül melyek logikailag ekvivalensek a ( p p) formulával? A. ((q p) q) B. (q q) C. ( p q) D.
RészletesebbenA logikai következmény
Logika 3 A logikai következmény A logika egyik feladata: helyes következtetési sémák kialakítása. Példa következtetésekre : Minden veréb madár. Minden madár gerinces. Minden veréb gerinces 1.Feltétel 2.Feltétel
RészletesebbenAZ INFORMATIKA LOGIKAI ALAPJAI
AZ INFORMATIKA LOGIKAI ALAPJAI Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 4. gyakorlat Interpretáció A ϱ függvényt az L (0) = LC, Con, Form nulladrendű nyelv egy
Részletesebben3. Magyarország legmagasabb hegycsúcsa az Istállós-kő.
1. Bevezetés A logika a görög,,logosz szóból származik, melynek jelentése gondolkodás, beszéd, szó. A logika az emberi gondolkodás vizsgálatával foglalkozik, célja pedig a gondolkodás során használt helyes
RészletesebbenMatematika Logika
Matematika Logika 1 Állítások - Kijelentések Az alábbi kijelentő mondatok közül válaszd ki az állításokat! 1. Minden prímszám páratlan 2. Holnap jó műsor lesz a tv-ben. 3. Az óvodában a legszebb lány Veronika.
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika M asodik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Második előadás Tartalom 2/26 Ítéletlogika - Szemantika (folytatás) Formulák és formulahalmazok szemantikus tulajdonságai Szemantikus következményfogalom Formalizálás
Részletesebben3. 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
RészletesebbenÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
ÍTÉLETKALKULUS SZINTAXIS ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) jelkészlet elválasztó jelek: ( ) logikai műveleti jelek: ítéletváltozók (logikai változók): p, q, r,... ítéletkonstansok: T, F szintaxis szabályai
RészletesebbenLOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 3. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa
Részletesebben1. A matematikai logika alapfogalmai. 2. A matematikai logika műveletei
1. A matematikai logika alapfogalmai Megjegyzések: a) A logikában az állítás (kijelentés), valamint annak igaz vagy hamis voltát alapfogalomnak tekintjük, nem definiáljuk. b) Minden állítással kapcsolatban
RészletesebbenMagyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László
MATEMATIKAI LOGIKA A gondolkodás tudománya Diszkrét matematika Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey,
RészletesebbenLOGIKA. Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László.
MATEMATIKAI A gondolkodás tudománya Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey, Tarski, Ramsey, Russel,
RészletesebbenMatematikai logika NULLADRENDŰ LOGIKA
Matematikai logika NULLADRENDŰ LOGIKA Kijelentő mondatokhoz, melyeket nagy betűkkel jelölünk, interpretáció (egy függvény) segítségével igazságértéket rendelünk (I,H). Szintaxisból (nyelvtani szabályok,
RészletesebbenNegáció igazságtáblája. Propozicionális logika -- levezetések. Diszjunkció igazságtáblája. Konjunkció igazságtáblája. Kondicionális igazságtáblája
Negáció igazságtáblája Propozicionális logika -- levezetések p ~p I H H I Konjunkció igazságtáblája Diszjunkció igazságtáblája p q p&q I I I I H H H I H H H H p q pvq I I I I H I H I I H H H Megengedő
RészletesebbenBevezetés a Formális Logikába Érveléstechnika-logika 7.
Bevezetés a Formális Logikába Érveléstechnika-logika 7. Elemi és összetett állítások Elemi állítások Állítás: Jelentéssel bíró kijelentő mondat, amely információt közöl a világról. Az állítás vagy igaz
Részletesebben4. 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Ítéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
RészletesebbenA matematika nyelvér l bevezetés
A matematika nyelvér l bevezetés Wettl Ferenc 2012-09-06 Wettl Ferenc () A matematika nyelvér l bevezetés 2012-09-06 1 / 19 Tartalom 1 Matematika Matematikai kijelentések 2 Logikai m veletek Állítások
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika Negyedik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Negyedik előadás Tartalom 2/26 Az elsőrendű logika szemantikája Formulák és formulahalmazok szemantikus tulajdonságai Elsőrendű logikai nyelv interpretációja
Részletesebben2. 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ó
RészletesebbenA 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA (a speciális tanterv szerint haladó gimnazisták)
A 205/206. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA a speciális tanterv szerint haladó gimnazisták Javítási-értékelési útmutató. feladat Az {,2,...,n} halmaz
RészletesebbenMATEMATIKA C 9. évfolyam
MATEMATIKA C 9. évfolyam 6. modul GONDOLKODOM, TEHÁT VAGYOK Készítette: Kovács Károlyné MATEMATIKA C 9. ÉVFOLYAM 6. MODUL: GONDOLKODOM, TEHÁT VAGYOK TANÁRI ÚTMUTATÓ 2 MODULLEÍRÁS A modul célja Időkeret
RészletesebbenMatematikai logika és halmazelmélet
Matematikai logika és halmazelmélet Wettl Ferenc előadása alapján 2015-09-07 Wettl Ferenc előadása alapján Matematikai logika és halmazelmélet 2015-09-07 1 / 21 Tartalom 1 Matematikai kijelentések szerkezete
RészletesebbenLogika kiskáté. Mihálydeák Tamás és Aszalós László
Logika kiskáté Mihálydeák Tamás és Aszalós László 2012 1. Definíciók 1. Adja meg a klasszikus nulladrendű nyel definícióját! Klasszikus nulladrendű nyelen az L (0) = LC, Con, F orm rendezett hármast értjük,
RészletesebbenLogikai ágensek. Mesterséges intelligencia március 21.
Logikai ágensek Mesterséges intelligencia 2014. március 21. Bevezetés Eddigi példák tudásra: állapotok halmaza, lehetséges operátorok, ezek költségei, heurisztikák Feltételezés: a világ (lehetséges állapotok
RészletesebbenÖsszefüggések. kondicionális jelentése
Összefüggések kondicionális jelentése p q ~pvq Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p Ha esik az eső, vizes az út. p q Ha nem vizes az út, nem esik az eső. ~q ~p Kontrapozíció
RészletesebbenA matematika nyelvéről bevezetés
A matematika nyelvéről bevezetés Wettl Ferenc 2006. szeptember 19. Wettl Ferenc () A matematika nyelvéről bevezetés 2006. szeptember 19. 1 / 17 Tartalom 1 Matematika Kijelentő mondatok Matematikai kijelentések
RészletesebbenDiszkrét Matematika. Ha Picur akkor és csak akkor szabadítja ki a kalitkából Gombóc Artúrt, ha Artúr
FELADATOK AZ ÍTÉLETKALKULUS TÉMAKÖRHÖZ Diszkrét Matematika 3.1. Feladat. Döntse el, hogy az (a) A ( ( B) (C B) ) ( ) (b) A ( B) (C B) ( ) ( ) (c) (A ( B)) C B (d) A ( B) (C B) formulák közül a prímítéletek
RészletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Az elsőrendű logikai nyelv interpretációja L interpretációja egy I-vel jelölt függvénynégyes,
RészletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Megoldás
Megoldás 1. Melyik mondat állítás a következőek közül? A: Szép idő van ma? B: A 100 szép szám. C: Minden prímszám páratlan. D: Bárcsak újra nyár lenne! Az állítás olyan kijelentő mondat, melyről egyértelműen
RészletesebbenLogika kiskáté. Mihálydeák Tamás és Aszalós László
Logika kiskáté Mihálydeák Tamás és Aszalós László 2012 1. Definíciók 1. Adja meg a klasszikus nulladrendű nyel definícióját! Klasszikus nulladrendű nyelen az L (0) = LC, Con, F orm rendezett hármast értjük,
RészletesebbenMindenki 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észletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika
Logika Indukció: A fogalomalkotásnak azt a módját, amikor a konkrét tapasztalatokra támaszkodva jutunk el az általános fogalomhoz, indukciónak nevezzük. Dedukció: A fogalomalkotásnak azt a módját, amikor
RészletesebbenÍtéletkalkulus. 1. Bevezet. 2. Ítéletkalkulus
Ítéletkalkulus Logikai alapfogalmak, m veletek, formalizálás, logikai ekvivalencia, teljes diszjunktív normálforma, tautológia. 1. Bevezet A matematikai logikában az állításoknak nem a tényleges jelentésével,
RészletesebbenMatematikai logika. 3. fejezet. Logikai m veletek, kvantorok 3-1
3. fejezet Matematikai logika Logikai m veletek, kvantorok D 3.1 A P és Q elemi ítéletekre vonatkozó logikai alapm veleteket (konjunkció ( ), diszjunkció ( ), implikáció ( ), ekvivalencia ( ), negáció
RészletesebbenPredikátumkalkulus. 1. Bevezet. 2. Predikátumkalkulus, formalizálás. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák.
Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Nézzük meg a következ két kijelentést: Minden almához tartozik egy fa, amir l leesett. Bármely
RészletesebbenLogikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák
08EMVI3b.nb 1 In[2]:= Theorema Ítéletlogika 1 Ismétlés Szintaxis Szemantika Logikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák 2 Kalkulusok Kalkulus Levezethetõség Dedukciós
RészletesebbenKnoch 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észletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. A logika szó hétköznapi jelentése: rendszeresség, következetesség Ez logikus beszéd
RészletesebbenEgy probléma, többféle kifutással
KOMPLE FELADATOK Egy probléma, többféle kifutással 4.2 Alapfeladat Egy probléma, többféle kifutással 2. feladatcsomag a szövegértés fejlesztése és az értelmezés mélyítése matematikai modellek keresése
RészletesebbenAz informatika logikai alapjai 1
Az informatika logikai alapjai 1 1.1. Az alábbi idézetek 1 közül melyek fejeznek ki állítást? Miért, illetve miért nem? (a) Ez volt ám az ember, ha kellett, a gáton. (b) Szép öcsém, miért állsz ott a nap
RészletesebbenMegoldások 7. gyakorlat Síkgráfok, dualitás, gyenge izomorfia, Whitney-tételei
Számítástudomány alapjai Megoldások 7. gyakorlat Síkgráfok, dualitás, gyenge izomorfia, Whitney-tételei 90. A konvex poliéder egyes lapjait határoló élek száma legyen k! Egy konvex poliéder egy tetszőleges
RészletesebbenÉrveléstechnika-logika 5. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2.
Érveléstechnika-logika 5. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Elemi állítás Állítás: Jelentéssel bíró kijelentő mondat, amely információt közöl a világról.
RészletesebbenBrósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Logika
Logika Indukció: A fogalomalkotásnak azt a módját, amikor a konkrét tapasztalatokra támaszkodva jutunk el az általános fogalomhoz, indukciónak nevezzük. Dedukció: A fogalomalkotásnak azt a módját, amikor
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika Hatodik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Hatodik előadás Tartalom 2/33 Elsőrendű rezolúciós kalkulus - előkészítő fogalmak Prenex formula, Skolem normálforma 3/33 Eldönthető formulaosztályok keresése
RészletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Formulahalmaz kielégíthetősége Ezen az előadáson Γ-val egy elsőrendű logikai nyelv
RészletesebbenDiszkrét matematika I.
Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 2. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Matematikai logika Diszkrét matematika I. középszint
RészletesebbenGyakorló feladatok: Formális modellek, temporális logikák, modellellenőrzés. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék
Gyakorló feladatok: Formális modellek, temporális logikák, modellellenőrzés Majzik István BME Méréstechnika és Információs Rendszerek Tanszék Formális modellek használata és értelmezése Formális modellek
RészletesebbenBizonyítási módszerek - megoldások. 1. Igazoljuk, hogy menden természetes szám esetén ha. Megoldás: 9 n n = 9k = 3 3k 3 n.
Bizonyítási módszerek - megoldások 1. Igazoljuk, hogy menden természetes szám esetén ha (a) 9 n 3 n (b) 4 n 2 n (c) 21 n 3 n (d) 21 n 7 n (e) 5 n 25 n (f) 4 n 16 n (g) 15 n (3 n 5 n) 9 n n = 9k = 3 3k
RészletesebbenDiszkrét matematika MATEMATIKAI LOGIKA
NULLADRENDŰ LOGIKA (ÍTÉLETKALKULUS) A logikát, mint a filozófia egy részét, már az ókori a görög tudósok is igen magas szinten művelték, pl. Platón (Kr. e. 427- Kr. e. 347), Arisztotelész (Kr.e. 384- Kr.
RészletesebbenAz informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. A logikai ekvivalencia Az A és a B elsőrendű formulák logikailag ekvivalensek, ha
RészletesebbenFeladatok és megoldások. Kincsesláda: 10 pontos
Feladatok és megoldások Kincsesláda: Hogyan kell a térképen található hét aranypénz közül kettőt áthelyezni úgy, hogy mind Észak - Dél, mind pedig Kelet Nyugat irányban 5 pénzérme legyen? É K Ny Megoldás:
RészletesebbenBevezetés. 3. Egy ötfős társaságban Mindenkinek legalább 1 ismerőse van. Rajzoljon meg néhány lehetőséget!
Bevezetés A megoldásokat a feladatsor végén találod! 1. Hencidát út köti össze Kukutyimmal, Boncidával, Lustafalvával és Dágványoshetyével. Boncidáról Álmossarokra is vezet út. Lustafalvát út köti össze
RészletesebbenDiszkrét matematika I. gyakorlat
Diszkrét matematika I. gyakorlat 2. ZH 2014. november 28. A csoport 1. Feladat. (5 pont) Határozza meg a z 1 = 2 + 2i komplex szám trigonometrikus alakját, majd adja meg a z 1 z 2 és z 1 z 2 komplex számok
RészletesebbenMit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? Mit tanultunk eddig? 4/14/2014. propozicionális logikát
roozicionális logikát roozicionális logikát Legfontosabb logikai konnektívumok: roozíció=állítás nem néztünk a tagmondatok belsejébe, csak a logikai kacsolatuk érdekelt minket Legfontosabb logikai konnektívumok:
RészletesebbenÉ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
Részletesebbenb, Van olyan makacs ember, a senki más tanácsára nem hallgat. (Univerzum az emberek halmaza)
Elsőrendű logika. Formalizálja az alábbi mondatokat: a, Aki másnak vermet ás, maga esik verembe. (Univerzum az emberek halmaza) ( yv ( E( ) E(: verembe esik, V(: vermet ás y-nak b, Van olyan makacs ember,
RészletesebbenPredikátumkalkulus. Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. Vizsgáljuk meg a következ két kijelentést.
Predikátumkalkulus Predikátumkalkulus alapfogalmai, formalizálás, tagadás, logikailag igaz formulák. 1. Bevezet Vizsgáljuk meg a következ két kijelentést. Minden almához tartozik egy fa, amir l leesett.
RészletesebbenLogika feladatgyűjtemény
Debreceni Egyetem Informatikai Kar Logika feladatgyűjtemény 2005. május 19. Készítette: Lengyel Zoltán lengyelz@inf.unideb.hu Tartalomjegyzék 1. Ítéletlogika 2 2. Elsőrendű logika 17 2.1. Prenex alak......................................
RészletesebbenI.4. BALATONI NYARALÁS. A feladatsor jellemzői
I.4. BALATONI NYARALÁS Tárgy, téma A feladatsor jellemzői Logikai fogalmak: logikai kijelentés; minden; van olyan; ha, akkor; és; vagy kifejezések jelentése. Egyszerű logikai kapcsolatok mondatok között.
RészletesebbenKOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 4 IV. FÜGGVÉNYEk 1. LEkÉPEZÉSEk, függvények Definíció Legyen és két halmaz. Egy függvény -ből -ba egy olyan szabály, amely minden elemhez pontosan egy elemet rendel hozzá. Az
RészletesebbenDeníciók és tételek a beugró vizsgára
Deníciók és tételek a beugró vizsgára (a szóbeli viszgázás jogáért) Utolsó módosítás: 2008. december 2. 2 Bevezetés Számítási problémának nevezünk egy olyan, a matematika nyelvén megfogalmazott kérdést,
Részletesebben1. Az adott kapcsolást rajzolja le a lehető legkevesebb elemmel, a legegyszerűbben. MEGOLDÁS:
1. Az adott kapcsolást rajzolja le a lehető legkevesebb elemmel, a legegyszerűbben. MEGOLDÁS: A legegyszerűbb alak megtalálása valamilyen egyszerűsítéssel lehetséges (algebrai, Karnaugh, Quine stb.). Célszerű
RészletesebbenI. 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
RészletesebbenCsima Judit BME, VIK, november 9. és 16.
Adatbáziskezelés Függőségőrzés, 3NF-re bontás Csima Judit BME, VIK, Számítástudományi és Információelméleti Tanszék 2018. november 9. és 16. Csima Judit Adatbáziskezelés Függőségőrzés, 3NF-re bontás 1
RészletesebbenElektronikai műszerész Elektronikai műszerész
A 10/007 (II. 7.) SzMM rendelettel módosított 1/006 (II. 17.) OM rendelet Országos Képzési Jegyzékről és az Országos Képzési Jegyzékbe történő felvétel és törlés eljárási rendjéről alapján. Szakképesítés,
RészletesebbenMATEMATIKA ÉRETTSÉGI 2008. október 21. KÖZÉPSZINT I.
MATEMATIKA ÉRETTSÉGI 008. október 1. KÖZÉPSZINT I. 1) Adja meg a 4 egyjegyű pozitív osztóinak halmazát! A keresett halmaz: {1 4 6 8}. ) Hányszorosára nő egy cm sugarú kör területe, ha a sugarát háromszorosára
RészletesebbenÉ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
RészletesebbenÉrveléstechnika-logika 7. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2.
Érveléstechnika-logika 7. Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u. 2-4. fsz. 2. Induktív érvek Az induktív érvnél a premisszákból sosem következik szükségszerűen a konklúzió.
RészletesebbenLogika es sz am ıt aselm elet I. r esz Logika 1/36
1/36 Logika és számításelmélet I. rész Logika 2/36 Elérhetőségek Tejfel Máté Déli épület, 2.606 matej@inf.elte.hu http://matej.web.elte.hu Tankönyv 3/36 Tartalom 4/36 Bevezető fogalmak Ítéletlogika Ítéletlogika
Részletesebben? szimmetrikus antiszimmetrikus reflexív tranzitív egyik sem?
Czédli Gábor: Diszkr.mat. I. (új) Feladatsor azonosítója: Olvaható név= EHAkód= Tisztelt Vizsgázó! Minden egyes feladatnál a választ, illetve a végeredményt a feladathoz tartozó, előre nyomtatott téglalap(ok)ban
Részletesebben6. Függvények. 1. Az alábbi függvények közül melyik szigorúan monoton növekvő a 0;1 intervallumban?
6. Függvények I. Nulladik ZH-ban láttuk: 1. Az alábbi függvények közül melyik szigorúan monoton növekvő a 0;1 intervallumban? f x g x cos x h x x ( ) sin x (A) Az f és a h. (B) Mindhárom. (C) Csak az f.
RészletesebbenLogika, gráfok. megtalált.
1) Egy rejtvényújságban egymás mellett két, szinte azonos rajz található, amelyek között 23 apró eltérés van. Ezek megtalálása a feladat. Először Ádám és Tamás nézték meg figyelmesen az ábrákat: Ádám 11,
RészletesebbenA 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észletesebbenDiszkrét matematika I.
Diszkrét matematika I. középszint 2013 ősz 1. Diszkrét matematika I. középszint 8. előadás Mérai László merai@compalg.inf.elte.hu compalg.inf.elte.hu/ merai Komputeralgebra Tanszék 2013 ősz Kombinatorika
RészletesebbenLOGIKA ÉS ÉRVELÉSTECHNIKA
LOGIKA ÉS ÉRVELÉSTECHNIKA ELTE TáTK Közgazdaságtudományi Tanszék Logika és érveléstechnika NULLADREND LOGIKA 1. Készítette: Szakmai felel s: 2011. február Készült a következ m felhasználásával: Ruzsa
RészletesebbenDuncan Shelley Íróakadémia
Duncan Shelley Íróakadémia ÍRÁSTANULÁS az interneten 1. A távoktatás nagyon kényelmessé teszi a tanulást, de csak bizonyos tárgyak tanulhatók ezen a módon. Minden olyan mesterség, amely nagyfokú veszéllyel
RészletesebbenMint a nyomozó, rakosgatom a részleteket a fejemben
Kelemen Emese Mint a nyomozó, rakosgatom a részleteket a fejemben Tóth Krisztina: Pixel. Magvetõ Kiadó, Budapest, 2011 Az Idegen szavak és kifejezések szótára szerint a pixel jelentése elemi képpont, amelyek
RészletesebbenMindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé.
HA 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) HA 2 Halmazok HA 3 Megjegyzések A halmaz, az elem és az eleme fogalmakat nem definiáljuk, hanem alapfogalmaknak
RészletesebbenAz R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.
2. A VALÓS SZÁMOK 2.1 A valós számok aximómarendszere Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 1.Testaxiómák R-ben két művelet van értelmezve, az
RészletesebbenHHF0CX. k darab halmaz sorbarendezésének a lehetősége k! Így adódik az alábbi képlet:
Gábor Miklós HHF0CX 5.7-16. Vegyük úgy, hogy a feleségek akkor vannak a helyükön, ha a saját férjeikkel táncolnak. Ekkor már látszik, hogy azon esetek száma, amikor senki sem táncol a saját férjével, megegyezik
RészletesebbenDiszkrét matematika I. gyakorlat
Vizsgafeladatok megoldása 2012. december 5. Tartalom Teljes feladatsor #1 1 Teljes feladatsor #1 2 Teljes feladatsor #2 3 Teljes feladatsor #3 4 Teljes feladatsor #4 5 Válogatott feladatok 6 Végső bölcsesség
RészletesebbenÉ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észletesebbenSHk rövidítéssel fogunk hivatkozni.
Nevezetes függvény-határértékek Az alábbiakban a k sorszámú függvény-határértékek)re az FHk rövidítéssel, a kompozíció határértékéről szóló első, illetve második tételre a KL1, illetve a KL rövidítéssel,
RészletesebbenGá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észletesebbenMatematikai logika Arisztotelész Organon logika feladata Leibniz Boole De Morgan Frege dedukció indukció kijelentésnek
Matematikai logika A logika tudománnyá válása az ókori Görögországban kezd dött. Maga a logika szó is görög eredet, a logosz szó jelentése: szó, fogalom, ész, szabály. Kialakulása ahhoz köthet, hogy már
RészletesebbenHa, 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,
Részletesebben1. Számológép és táblázat használata nélkül számítsd ki a következő számokat, majd. ; 8. (7 pont) függvényt! (9 pont)
I..negyedéves témazáró.évfolyam A csoport. Számológép és táblázat használata nélkül számítsd ki a következő számokat, majd rendezd növekvő sorrendbe: 9 ; 8 ; 8. (7 pont). Ábrázold és jellemezd az f ( )
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 6. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
RészletesebbenMindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 1
Halmazok 1 Mindent olyan egyszerűvé kell tenni, amennyire csak lehet, de nem egyszerűbbé. (Albert Einstein) Halmazok 2 A fejezet legfontosabb elemei Halmaz megadási módjai Halmazok közti műveletek (metszet,
RészletesebbenHalmazelmélet és logika
Halmazelmélet és logika Dr. Szilágyi Ibolya szibolya@ektf.hu Matematika és Informatika Intézet EKF, Eger 2006/07 I. szemeszter Dr. Szilágyi Ibolya (EKF) Logika 2006/007 1 / 58 Outline A halmazelmélet és
RészletesebbenDiszkrét matematika 2.
Diszkrét matematika 2. 2018. szeptember 21. 1. Diszkrét matematika 2. 2. előadás Fancsali Szabolcs Levente nudniq@cs.elte.hu www.cs.elte.hu/ nudniq Komputeralgebra Tanszék 2018. szeptember 21. Gráfelmélet
RészletesebbenLogika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Követelmények A tárgy (ea+gyak) teljesítésének követlményeit
RészletesebbenTizenkettedik lecke. Az ajtóban
Tizenkettedik lecke Az ajtóban Gulyás Szia, édes! Szia, kicsim! Egy picit korán jössz... Hát... én el is mehetek... Jaj, nem úgy értem! Bocsánat! Csak még nincs kész a vacsora. A vacsora a mai meglepetés.
RészletesebbenHáromszögek fedése két körrel
SZTE Bolyai Intézet, Geometria Tanszék 2010. április 24. Motiváció Jól ismert a kerületi szögek tétele, vagy más megfogalmazásban a látókörív tétel. Motiváció A tételből a következő állítás adódik: Motiváció
RészletesebbenFelmentések. Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21
Felmentések Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21 Felmentések Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat
Részletesebben