Logikai műveletek.

Slides:



Advertisements
Hasonló előadás
Átváltás decimális számrendszerből bináris számrendszerbe.
Advertisements

Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
Extenzionális mondatfunktorok
Kondicionális Eddig: Boole-konnektívumok ( , ,  ) Ezek igazságkonnektívumok (truth-functional connectives) A megfelelő köznyelvi konnektívumok: nem.
A matematikai logika alapfogalmai
Matematikai logika.
Az információ olyan új ismeret, amely megszerzőjének szükséges és érthető. Az adat az információ megjelenésének formája.  Az adat lehet: Szöveg Szám Logikai.
A matematikai logika alapjai
É: Pali is, Pista is jól sakkozik. T: Nem igaz. É: Bizonyítsd be. Mi nem igaz? T: Nem igaz, hogy Pali jól sakkozik. Nyertem É: Pali vagy Pista.
PTE-FEEK Informatikus-könyvtáros Bsc 2007
Matematikai logika A diasorozat az Analízis 1. (Mozaik Kiadó 2005.) c. könyvhöz készült. Készítette: Dr. Ábrahám István.
Logika 3. Logikai műveletek Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 24.
A Venn-diagram használata
Kétértékűség és kontextusfüggőség Kijelentéseink igazak vagy hamisak (mindig az egyik és csak az egyik) Kijelentés: kijelentő mondat (tartalma), amivel.
Kocsisné Dr. Szilágyi Gyöngyi
Kocsisné Dr. Szilágyi Gyöngyi
Kocsisné Dr. Szilágyi Gyöngyi
Boole- féle algebra Készítette: Halász Rita I. István Szakképző Iskola szeptember 19.
Logika Érettségi követelmények:
Logikai műveletek
Az informatika logikai alapjai
Bevezetés a digitális technikába
ARISZTOTELÉSZ (Kr. e ).
Logika 5. Logikai állítások Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 10.
Characteristica universalis
PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS október 10. I. ELŐADÓ.
Az érvelés.
Halmazelmélet és matematikai logika
Filozófia és Tudománytörténet Tanszék 1111 Budapest, Sztoczek J. u fsz. 2. Érveléstechnika-logika 8.
Jogszabálytárak, jogi adatbázisok Groma Sarolt1 Jogszabálytárak, jogi adatbázisok KODIFIKÁTOR SZAKJOGÁSZKÉPZÉS október 12. III. ELŐADÓ.
Boole-algebra (formális logika).
A számítógép működésének alapjai
Logika 2. Klasszikus logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 17.
Érvelés, bizonyítás, következmény, helyesség
Henkin-Hintikka játék (részben ismétlés) Alapfelállás: -Két játékos van, Én és a Természet (TW képviseli). - A játék tárgya egy zárt mondat: P. - Választanom.
Első Analitika I.1. Az állításelmélet újrafogalmazása „Protaszisz az a mondat, ami valamit valamiről állít vagy tagad.” „Lehet egyetemes, részleges (en.
Nem igaz, hogy a kocka vagy tetraéder. Nem igaz, hogy a kicsi és piros. a nem kocka és nem tetraéder. a nem kicsi vagy nem piros. Általában: "  (A  B)
A logika centrális fogalmai a kijelentéslogikában Propositional logic Nulladrendű logika Általában Logikai igazság Logikai ekvivalencia Logikai következmény.
(nyelv-családhoz képest!!!
Characteristica universalis 3. Logikai alapfogalmak.
Logika.
Könyörülj rajtam kegyelmeddel, Istenem, töröld el hûtlenségemet nagy irgalmaddal!
PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS október 16. I. ELŐADÓ.
Kijelentések könyve: mindegyik oldalon egy kijelentés. Egyes igaz kijelentések axiómák. Az axiómákból bizonyítható kijelentések mind igazak, és a cáfolható.
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Az informatika logikai alapjai
Három hetet meghaladó projekt-hét Neked, rólad, hozzád szól a dal
57. Az egyik:Ha Subidam vagyok, akkor ő Subidu. A másik:Ha ő Subidu, akkor én Subidam vagyok. Mit lehet ebből megtudni? 56. Az egyik: Ma hazudok, vagy.
Algebrai struktúrák: csoport, gyűrű, test. RSA Cryptosystem/ Titkosítási rendszer Rivest, Shamir, Adelman (1978) RSA a neten leggyakrabban használt.
Henkin-Hintikka-játék szabályai, kvantoros formulákra, még egyszer: Aki ‘  xA(x)’ igazságára fogad, annak kell mutatnia egy objektumot, amire az ‘A(x)’
Új szigetre érkeztünk, itt normálisak is laknak. Ők hol igazat mondanak, hol hazudnak. 39. A, B és C közül egy lovag, egy lókötő, egy normális. A: Normális.
1 „Még korunk szélhámosainak is tudósnak kell magukat színlelni, mert különben senki sem hinne nekik.” C.F. Weizsacker.
BIOLÓGUS INFORMATIKA 2008 – 2009 (1. évfolyam/1.félév) 3. Előadás.
Erdélyben járunk, a bennszülöttek egy része vámpír. Az emberek mindig azt mondják, amit igaznak hisznek, a vámpírok az ellenkezőjét. De az embereknek és.
INFORMATIKA ELŐADÁS október 15. I. ELŐADÓ Informatika
INFORMATIKA ELŐADÁS október 20. I. ELŐADÓ Informatika
Logika.
Analitikus fák kondicionálissal
Analitikus fák a kijelentéslogikában
Demonstrátorok: Sulyok Ági Tóth  István
Fordítás (formalizálás, interpretáció)
Tudás- és konfirmációs paradoxonok Hempel- avagy holló-paradoxon
15. óra Logikai függvények
Érvelések (helyességének) cáfolata
Új történet: Alice Csodaországban
INFORMATIKA ELŐADÁS október 19. I. ELŐADÓ Informatika
Nulladrendű formulák átalakításai
Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
A piros sál a leghosszabb.
Előadás másolata:

Logikai műveletek

A fogalomalkotás folyamata Piaget Pólya György Szemléletes cselekvő Felderítés Szemléletes képszerű Felismerés Műveleti gondolkodás Formalizálás – fogalomalkotás Absztrakt fogalmi műveletek Asszimilálás – rendszerbe illesztés

Logikai állítás Értéke: igaz, vagy hamis. Példák: ma szombat van; fáradtak vagyunk; most süt a nap; esik az eső A logikai állítás negálása: értéke ellentétes Példák: Ma nem szombat van és nem vagyunk fáradtak. Most nem süt a nap, nem esik az eső.

Konjunkció, diszjunkció, negáció Legyen P: Panni sokat sír Legyen Q: Panni nem jött óvodába P^Q: PVQ:

igazságtábla A B A és B A vagy B I H

A logikai művelet idempotens (önmagára ható) , ha p művelet p = p. Az azonosan igaz és az azonosan hamis műveletek nem idempotensek. kommutatív (felcserélhető), ha p művelet q = q művelet p. Az azonosan igaz és az azonosan hamis logikai műveletek kommutatívok. asszociativ (társítható), ha (p művelet q) művelet r = p művelet (q művelet r).

feladatok Feladat: Fogalmazzuk át a „Nem zörög a haraszt, ha nem fújja a szél.” ítélet „Nem igaz az, hogy nem zörög a haraszt, ha nem fújja a szél,” tagadását! Megoldás: A 10. Feladat jelöléseit használva a 11.Feladatban bizonyított formula alapján: . A ítélet szavakban „Nem igaz, hogy nem zörög a haraszt”=”Zörög a haraszt.”, ezért a keresett tagadás a „Nem fújja a szél és (mégis) zörög a haraszt.”= „Zörög a haraszt, pedig nem fújja a szél.” 13. Feladat: Fogalmazzuk át a „Ki korán kel, aranyat lel.” ítélet „Nem igaz, hogy aki korán kel az aranyat lel.” tagadását! Megoldás:Legyen a p ítélet: „Valaki korán kel”.Legyen a q ítélet: „Valaki aranyat lel.” Ekkor „Ki korán kel, aranyat lel”=.A 11. Feladatban bizonyított formula szerint ”Korán kel és nem lel aranyat.” Ez nem azonos a „Nem kel korán és aranyat lel.”, Nem kel korán és nem lel aranyat.” ítéletekkel.

Szövegértés – pontos fogalmazás. Kék és nagy vagy piros és kicsi. Van rajta fekete szín és kicsi.

Piros és kör Piros, vagy kör Nem(piros és kör) Nem piros és nem kör

Konklúzió A logika végső célja, hogy kiindulva előre bocsátott ítéletekből, amelyeket premisszáknak nevezünk, következtetésre, konklúzióra, jussunk. Ennek érdekében a logikai műveletek közül kiemeljük az összes logikai művelet igazság – táblájából az ötödik oszlopot, amelynek az implikáció (belevonás) nevet adjuk. Jele:

műveletek A B A B A B I H

feladat Egy teremben három egyforma külsejű személy ült. A vándor megkérdezte őket: Kik vagytok? Mi vagyunk az Igazság (I), a Hazugság (H) és a Bölcsesség (B). Az Igazság mindig igazat mind, a hazugság mindig hamis állítást mond, a bölcsesség hol igazat mind, hol hazudik. Találd ki, hogy ki – kicsoda! A baloldali (x) azt állította, hogy a mellette levő az igazság, a középső (y) azt állította magáról, hogy ő a bölcsesség, a szélső (z) állítása szerint mellette a hazugság ül.

megoldás Állítás Az állítás értéke: Következtetések Eredmény x   Állítás Az állítás értéke: Következtetések Eredmény x 1. Y=I (mellette az igazság ül) IGAZ X nem lehet H, tehát X=B, Y=I és Z=H Y≠B Elvetve, hiszen I nem hazudik HAMIS a. X=B, és Y=I, vagy Y≠I a.a.) X=B és Y=I, akkor Z=H Elvetve hiszen I nem hazudik b. X=B a.b.) Megoldás X=B és Y=H, Z=I

Megoldás folytatása Y 2. Y=B IGAZ a. X=I Y=I-nek Elvetve, hiszen I nem hazudik (y-ról állította, hogy I)   b. X=H, Y=B, Z=I Ellentmond annak, hogy Y=H Elvetve, hiszen I nem hazudik HAMIS Y=I Már vizsgáltuk Y=H X=B és Z=I Megoldás Z 3. Y=H