2016.

sz Logika s nyelvszet Kleiber Judit

TEMATIKA
1. Bevezets, alapfogalmak
2. Kijelentslogika (extenzionlis mondatfunktorok)
3. Kvetkeztetsek helyessgnek eldntse a kijelentslogikban (analitikus tblzat)
4. Prediktumlogika (kvantifikci)
5. Kvetkeztetsek helyessgnek eldntse a prediktumlogikban (Venn-diagramm)

Teljests:
jegyszerzs felttele: aktv rai rszvtel + 3 ZH (elmlet, analitikus tblzat, Venn-diagramm)

Ajnlott irodalom:
Madarsz Tiborn, Plos Lszl, Ruzsa Imre: A logika elemei, Osiris, Budapest, 1999.
(Plos, Ruzsa: A logika elemei, Tanknyvkiad, Budapest, 1987.)
Ruzsa Imre, Mt Andrs: Bevezets a modern logikba, Osiris, Budapest, 1997. 9126.
Smullyan, Raymond: Mi a cme ennek a knyvnek? TYPOTEX, Budapest, 1996.

NMAGUKRA REFERL MONDATOK (S EGYB RDEKESSGEK)

Ez a mondat hamis.
Ne engedelmeskedj ennek a parancsnak!
Lgy spontn!
Ebben a mondatba harom hiba van.
Eszedbe jut errl a mondatrl Agatha Christie?
Ha ez a mondat nem ltezne, valaki mr kitallta volna.
.dnsavlo yg ,anlov lrebh tadnom a ze aH
Amikor ppen nem nzel r, akkor ez a mondat spanyolul van.
Mondd, nem rtl mr le engem korbban valahol mshol?
Nem n vagyok ennek a mondatnak az alanya.
Ha ez a mondat knaiul lenne, valami mst mondana.
Ha befejeztem volna ezt a mondatot,
T is the first, fourth, eleventh, sixteenth, twenty-fourth, twenty-ninth, thirty-third,

KEDVCSINL FELADATOK
Hrom ldik
Hrom ldik mindegyikben 2-2 goly van: fehr-fehr, piros-piros, fehr-piros, s mindegyik ldn
felirat: FF, PP, FP, ami a ldban lv golyk sznt jelzi. Azonban mindegyik felirat hamis.
Valamelyik ltalunk vlasztott ldikbl kivehetnk egy golyt, s ezek utn meg kell mondani,
hogy az egyes ldikkban milyen golyk vannak.
Hogyan lehet ezt megtenni?

Felems Flix
Flix a felemsok kz tartozik: htfn, kedden, szerdn hazudik, ms napokon igazat mond. Ma
reggel a kvetkezt mondta:
Tegnap hazudtam. Hrom nap mlva ismt hazudni fogok.
Milyen nap van ma?

Smullyan (1996): 26.o. A lovagok s lktk szigete:

Rejtvnyek hossz sora szl egy szigetrl, amelynek bizonyos laki, a lovagok mindig igazat
mondanak, mg a tbbiek, a lktk, mindig hazudnak. Feltesszk, hogy a sziget minden lakja
vagy lovag, vagy lkt.

1
2016. sz Logika s nyelvszet Kleiber Judit

26: Hrom lakos A, B s C egytt lldogl egy kertben. Egy arra jr idegen megkrdezi A-t: n
lovag vagy lkt? vlaszol, de olyan rthetetlenl, hogy az idegen nem tudja kivenni, mit is
mondott. Megkrdezi B-t: Mit mondott A? B vlasza: Azt mondta, hogy lkt. Ekkor
kzbeszl C, a harmadik ember: Ne higgyen B-nek, hazudik!
A krds az, hogy mifle B ill. C?

Farkasemberek jnnek
A lovagok s lktk szigetn vagy, ahol minden lovag csakis igazat mond, s minden lkt csakis
hazudik. Emellett brki fggetlenl attl, hogy lovag vagy lkt lehet farkasember is.
Hrom emberrel beszlgetsz, annyit tudsz rluk, hogy pontosan egyikk farkasember.
A: Farkasember vagyok.
B: n is.
C: Legfeljebb egyiknk lovag.
Melyikk micsoda (lovag vagy lkt, ill. farkasember vagy nem)? Indoklst is adjatok!

HF: most meg vmprok

Egy olyan szigeten vagyunk, ahol vannak
emberek, akik mindig igazat mondanak s
vmprok, akik mindig hazudnak.
Ezen kvl vannak kztk
egszsgesek, akik olyannak rzkelik a vilgot, amilyen valjban s
rltek, akiknek tvkpzeteik vannak, s pont fordtva ltjk a vilgot, mint amilyen.
Teht sszesen 4 fle lny. Soroljuk fel ket, s rjuk oda, hogy igazat vagy hamisat lltanak-e!
A szigeten csak egynem hzassg van (ember emberrel, vmpr vmprral).
Tallkozunk egy hzasprral, akik ezt mondjk:
Frj: Mindketten vmprok vagyunk.
Felesg: Ez igaz.
Frj: Mindkettnk elmellapota ugyanolyan.
Krds: emberek vagy vmprok, illetve egszsgesek vagy rltek. Indoklst is adjatok!

FELADATOK
llaptsuk meg az albbi kvetkeztetsek helyessgt!

1. P1. Minden ember haland. 4. P1. Pter malris.

P2. Szkratsz ember. K. Pternek kinint kell szednie.
K. Szkratsz haland.
5. P1. Zakaris agglegny.
2. P1. Minden bogr emls. K. Zakarisnak nincs felesge.
P2. Minden emls madr.
K. Minden bogr madr. 6. P1. Ha esik az es, nedves lesz a fld.
P2. Nedves a fld.
3. P1. A kutyk ugatnak. K. Esett az es.
P2. A macskk dorombolnak.
K. Esik az es. 7. P1. Ha hideg van, fzom.
P2. Hideg van.
K. Fzom.

2
2016.09.06. Logika s nyelvszet Kleiber Judit

EXTENZIONLIS MONDATFUNKTOROK

1. Negci
Jele: ~ nem igaz, hogy
10, 01. ~~pp

2. Konjunkci (Pter olvasgat, S Mari varr.)

Jele: & s kommutatv, asszociatv, idempotens
& 1 0 p&qp p&qq
1 1 0 ~ (p & ~ p)
0 0 0

3. Alternci (Az kap tst, aki minden feladatot hibtlanul megold, VAGY csontot hoz a kutymnak.)
Jele: V (megenged) vagy kommutatv, asszociatv, idempotens
V 1 0 ppvq
1 1 1 {p v q, ~p} q {p v q, ~q} p
0 1 0 pv~p

de-Morgan azonossgok:
~ (p & q) ~ p v ~ q ~ (p v q) ~ p & ~ q

4. Kondicionlis (HA nyerek a lottn, AKKOR adok neked 1 millit.)

Jele: ha akkor nem kommutatv, nem asszociatv, nem idempotens
1 0 p q ~ (p & ~ q) ~p v q pp
1 1 0 Modus Ponens: {p q, p} q Modus Tollens: {p q, ~q} ~p
0 1 1 Kontrapozci: p q ~q ~p Lncszably: {p q, q r} p r

5. Bikondicionlis (AKKOR S CSAK AKKOR nyersz, ha ktszer egyms utn 6-ost dobsz.)

Jele: akkor s csak akkor kommutatv, asszociatv, de nem idempotens

1 0 p q (p q) & (q p) (p & q) v (~p & ~q)
1 1 0 {p q, p} q {p q, ~p} ~q
0 0 1 pp

3
2016.09.06. Logika s nyelvszet Kleiber Judit

Formalizljuk a kvetkez mondatokat!

1. Tveds, hogy nem ll az, miszerint boszorknyok nem lteznek.

2. Nem igaz, hogy tveds annak lehetetlensge, hogy a vonat nem ksik.
3. Tl van, de nem lehet hembert pteni, s sznkzni sem.
4. Bagoly, aki tud replni, rivalizl Nyuszival, aki a fld alatt lakik.
5. Malacka vagy Fles otthon van, de nincs otthon mind a kett.
6. Ma vagy holnap, de nem mindkt nap, felkereslek.
7. Ha szeretsz, veszel nekem fagyit meg tortt, s elviszel moziba.
8. Htvgn kirndulni megynk, feltve hogy nem esik az es s nem lesz hideg.
9. Csak akkor kapsz diplomt, ha kifizeted a tandjat.
10. Ha esik az es s st a nap, akkor szivrvny van, kivve, ha ppen dl van.
HF1: Nem igaz, hogy tveds hamisnak tartani a hbor megakadlyozsnak lehetetlensgt. (Lesz?)
HF2: Ha megveszed a knyvet s el is olvasod, akkor t fogsz menni a vizsgn s megkapod a rollert.

Dntsk el analitikus tblzattal, hogy helyesek-e az albbi kvetkeztetsek!

1. P1: Ha stt van, akkor senki sincs otthon, vagy alszanak.
P2: Stt van, pedig valaki otthon van.
K: Alszanak.

2. P1: Ha a jegyz hallgat, a visszalsre nem derl fny.

P2: Ha fny derl a visszalsre, a laksgyi eladt kirgjk.
K: Ha a jegyz nem hallgat, a laksgyi eladt kirgjk.

3. P1: Prizsba vagy Rmba vagy Milnba megyek.

P2: Ha Milnba megyek, akkor Prizsba is.
P3: Rmba nem megyek.
K: Prizsba megyek.

4. P1: Ha az ldozat rdija nem szlt, akkor a tettes n volt, s idegen akcentussal beszlt.
P2: Ha a tettes Mexikbl rkezett, s idegen akcentussal beszlt, akkor csak Hoolig Ann lehetett.
P3: Az ldozat rdija nem szlt.
P4: A tettes Mexikbl rkezett.
K: A tettes csak Hoolig Ann lehetett.

5. P1: Ha holnap szp id lesz, lemegynk a Balcsipartra, ha elrjk a vonatot.

P2: Ha fel tudok kelni korn, elrjk a vonatot.
P3: Ha idben lefekszem, fel tudok kelni korn.
P4: Holnap szp id lesz.
K: Ha idben lefekszem, megynk a Balcsipartra.

HF: P1: Ha st a nap s nem esik az es, akkor megynk horgszni.

P2: Ha nincs szivrvny, akkor nem megynk horgszni.
P3: Ha van szivrvny, akkor esik az es.
P4: St a nap.
K: Ha nem esik az es, nem megynk horgszni.

4
2016.09.06. Logika s nyelvszet Kleiber Judit

Prediktumlogika

1. Formalizljuk!
a. A titkr nem kedveli az elnkt.
b. Bla bartja Andrsnak, aki jogsz.
c. Anna vagy Bella megltogatja Cilit.
d. Ha Feri megcskolja Julit, Andrs megveri Ferit.

2. Formalizljuk!
a. Jlit mindenki szereti. e. Mindenki szeret valakit.
b. Jlia mindenkit szeret. f. Valakit mindenki szeret.
c. Jlia szeret valakit. g. Mindenki szeret mindenkit.
d. Valaki szereti Jlit. h. Mindenki szereti nmagt.

3. rjuk t a prediktumlogika nyelvre a kvetkez kijelentseket ktflekppen!

a. Minden ember haland. c. Nincsen rzsa tvis nlkl.
b. Az oroszlnok nem nvnyevk. d. Aki nem klubtag, nem fizet tagdjat.
HF1: Aki megmoccan, az kiesik a jtkbl.
HF2: Nem minden fi szereti a srt.
HF3: Nincsenek buta magyarosok.
HF4: Ha valaki nem rja meg a ZH-t, megbukik.

4. Oldjuk meg Venn-diagrammal a kvetkez feladatokat!

a. P1: Akinek legett a hza, az hajlktalan.
P2: Akinek legett a hza, annak fizetett a biztost.
P3: A biztost egyetlen hajlktalannak sem fizetett.
K: Senkinek sem gett le a hza.
b. P1: A marslakk szeretik az egresmrtst.
P2: Aki kvncsi, az nem szereti az egresmrtst.
K: A marslakk nem kvncsiak.
c. P1: Minden gitros tagja a szakkrnek.
P2: A szakkrben nincs sakkoz gitros.
P3: Alajos gitros.
K: Alajos szakkri tag, de nem sakkoz.
d. P1: A dikok busszal jrnak.
P2: Akinek van autja, az nem jr busszal.
P3: Pter nem jr busszal.
K: Pternek van autja.

HF: a. P1: Aki sok csokit eszik, annak elromlanak a fogai.

P2: Az oroszlnoknak nem romlanak el a fogaik.
P3: Le oroszln.
K: Le nem eszik sok csokit.

b. P1: Rbert Gida bartai a Szzholdas Pagonyban laknak.

P2: Aki szereti a mzet, az bartja Rbert Gidnak.
P3: Micimack szereti a mzet.
K: Micimack bartja Rbert Gidnak, s a Szzholdas Pagonyban lakik.