Professional Documents
Culture Documents
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.
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?
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!
FELADATOK
llaptsuk meg az albbi kvetkeztetsek helyessgt!
2
2016.09.06. Logika s nyelvszet Kleiber Judit
EXTENZIONLIS MONDATFUNKTOROK
1. Negci
Jele: ~ nem igaz, hogy
10, 01. ~~pp
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
5. Bikondicionlis (AKKOR S CSAK AKKOR nyersz, ha ktszer egyms utn 6-ost dobsz.)
3
2016.09.06. Logika s nyelvszet Kleiber Judit
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.
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.