Az

nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az nbeteljest hitek s a matematika

s az egyik legszebb logikai feladvny

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Molnr Attila
Diana teadlutn

2011. december

A klasszikus elsrend nyelv

Kezdetnek egy rmiszt plda

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

A klasszikus elsrend nyelv

Kezdetnek egy rmiszt plda

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x s van egy ettl klnbz y , melyre igaz, hogy, x a
buszmegllban ll s y a buszmegllban ll, s nincs ms, aki
a buszmegllban llna s x-tl s y -tl klnbzne.

A klasszikus elsrend nyelv

Kezdetnek egy rmiszt plda

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x s van egy ettl klnbz y , melyre igaz, hogy, x a
buszmegllban ll s y a buszmegllban ll, s nincs ms, aki
a buszmegllban llna s x-tl s y -tl klnbzne.
xy (x 6= y B(x) B(y ) z(B(z) z 6= x z 6= y ))

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x
x

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x
x
s van egy ettl klnbz y , melyre igaz, hogy
y (x 6= y

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x
x
s van egy ettl klnbz y , melyre igaz, hogy
y (x 6= y
x a buszmegllban ll
B(x)

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x
x
s van egy ettl klnbz y , melyre igaz, hogy
y (x 6= y
x a buszmegllban ll
s y a buszmegllban ll
B(x)
B(y )

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x
x
s van egy ettl klnbz y , melyre igaz, hogy
y (x 6= y
x a buszmegllban ll
s y a buszmegllban ll
B(x)
B(y )
s nincs ms ,
z(

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x
x
s van egy ettl klnbz y , melyre igaz, hogy
y (x 6= y
x a buszmegllban ll
s y a buszmegllban ll
B(x)
B(y )
s nincs ms ,
aki a buszmegllban llna
z(
B(z)

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x
x
s van egy ettl klnbz y , melyre igaz, hogy
y (x 6= y
x a buszmegllban ll
s y a buszmegllban ll
B(x)
B(y )
s nincs ms ,
aki a buszmegllban llna
z(
B(z)
s x-tl is s y -tl is klnbzne.
z 6= x z 6= y ))

A klasszikus elsrend nyelv

Ugyanez lpsrl lpsre

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ketten llnak a buszmegllban.

Van egy x
x
s van egy ettl klnbz y , melyre igaz, hogy
y (x 6= y
x a buszmegllban ll
s y a buszmegllban ll
B(x)
B(y )
s nincs ms ,
aki a buszmegllban llna
z(
B(z)
s x-tl is s y -tl is klnbzne.
z 6= x z 6= y ))
xy (x 6= y B(x) B(y ) z(B(z) z 6= x z 6= y ))

Formalizls: Tantsunk gpet!

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

ltalban is kpesek vagyunk a termszetes nyelvi

kijelentsek egy jelents rszt formalizlni.

Formalizls: Tantsunk gpet!

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

ltalban is kpesek vagyunk a termszetes nyelvi

kijelentsek egy jelents rszt formalizlni.
Erre tekinthetnk gy is, hogy egy gp szmra rthetv
tesszk a nyelvnk egy rszt.

Formalizls: Tantsunk gpet!

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

ltalban is kpesek vagyunk a termszetes nyelvi

kijelentsek egy jelents rszt formalizlni.
Erre tekinthetnk gy is, hogy egy gp szmra rthetv
tesszk a nyelvnk egy rszt.
Megtantjuk a gpet arra, hogy hogyan hasznljuk a nem,
s, vagy, minden, stb. alapvet ktszavainkat, azaz
megtantjuk ezek helyes hasznlatra; megtantjuk a szerepket
a helyes kvetkeztetsek krben.

Formalizls: Tantsunk gpet!

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

ltalban is kpesek vagyunk a termszetes nyelvi

kijelentsek egy jelents rszt formalizlni.
Erre tekinthetnk gy is, hogy egy gp szmra rthetv
tesszk a nyelvnk egy rszt.
Megtantjuk a gpet arra, hogy hogyan hasznljuk a nem,
s, vagy, minden, stb. alapvet ktszavainkat, azaz
megtantjuk ezek helyes hasznlatra; megtantjuk a szerepket
a helyes kvetkeztetsek krben.
Egy dia erejig ki is trnk arra, hogy hogyan tantjuk meg a
nem, s, vagy, ha . . . , akkor szavakat.

Alapvet logikai jtkszablyok

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug

AB
A
AB
B

A
B
AB

[A]
..
.

[B]
.. A B
.

A
AB

C
C

B
AB

A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
AB
B

[A]
..
.
B
AB

A
A
B

[A]
..
.
B B
A

Alapvet logikai jtkszablyok

s a kimaradt metafizika

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Alapvet logikai jtkszablyok

s a kimaradt metafizika

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A 20. szzad egyik legizgalmasabb matematikafilozfiai

vitjhoz vezet az, hogy a fenti kvetkeztetsi szablyok mg
nem tantjk meg egy gpnek teljesen azt a logikt, amit
hagyomnyosan hasznlni szoktunk.

Alapvet logikai jtkszablyok

s a kimaradt metafizika

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A 20. szzad egyik legizgalmasabb matematikafilozfiai

vitjhoz vezet az, hogy a fenti kvetkeztetsi szablyok mg
nem tantjk meg egy gpnek teljesen azt a logikt, amit
hagyomnyosan hasznlni szoktunk.
Az eddigiek nem azt a logikt adjk vissza, amiben az
igaz-hamis szavakat hasznlni szoktuk. Ez azt a logikt rja
le, amiben a bebizonytottuk-megcfoltuk s tudjuk,
hogy-tudjuk hogy nem kifejezseket szoktuk hasznlni.

Alapvet logikai jtkszablyok

s a kimaradt metafizika

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A 20. szzad egyik legizgalmasabb matematikafilozfiai

vitjhoz vezet az, hogy a fenti kvetkeztetsi szablyok mg
nem tantjk meg egy gpnek teljesen azt a logikt, amit
hagyomnyosan hasznlni szoktunk.
Az eddigiek nem azt a logikt adjk vissza, amiben az
igaz-hamis szavakat hasznlni szoktuk. Ez azt a logikt rja
le, amiben a bebizonytottuk-megcfoltuk s tudjuk,
hogy-tudjuk hogy nem kifejezseket szoktuk hasznlni.
Az igaz-hamis logikhoz egy tovbbi, (nem pusztn logikai,
hanem) metafizikai ambcival alaposan megvdolhat
alapszablyt kell mg megtantani a gpnek:

Alapvet logikai jtkszablyok

s a kimaradt metafizika

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A 20. szzad egyik legizgalmasabb matematikafilozfiai

vitjhoz vezet az, hogy a fenti kvetkeztetsi szablyok mg
nem tantjk meg egy gpnek teljesen azt a logikt, amit
hagyomnyosan hasznlni szoktunk.
Az eddigiek nem azt a logikt adjk vissza, amiben az
igaz-hamis szavakat hasznlni szoktuk. Ez azt a logikt rja
le, amiben a bebizonytottuk-megcfoltuk s tudjuk,
hogy-tudjuk hogy nem kifejezseket szoktuk hasznlni.
Az igaz-hamis logikhoz egy tovbbi, (nem pusztn logikai,
hanem) metafizikai ambcival alaposan megvdolhat
alapszablyt kell mg megtantani a gpnek:

A A

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.
A kontextus

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.
A kontextus
Az oksg (Jones meghalt, mert halat evett fagylalttal.)

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.
A kontextus
Az oksg (Jones meghalt, mert halat evett fagylalttal.)
Idbelisg (A Megette s kihnyta. nem ugyanaz, mint a
Kihnyta s megette.)

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.
A kontextus
Az oksg (Jones meghalt, mert halat evett fagylalttal.)
Idbelisg (A Megette s kihnyta. nem ugyanaz, mint a
Kihnyta s megette.)
a fiktv entitsok,

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.
A kontextus
Az oksg (Jones meghalt, mert halat evett fagylalttal.)
Idbelisg (A Megette s kihnyta. nem ugyanaz, mint a
Kihnyta s megette.)
a fiktv entitsok,
ide-oda mutat nvmsok,

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.
A kontextus
Az oksg (Jones meghalt, mert halat evett fagylalttal.)
Idbelisg (A Megette s kihnyta. nem ugyanaz, mint a
Kihnyta s megette.)
a fiktv entitsok,
ide-oda mutat nvmsok,
stb.

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.
A kontextus
Az oksg (Jones meghalt, mert halat evett fagylalttal.)
Idbelisg (A Megette s kihnyta. nem ugyanaz, mint a
Kihnyta s megette.)
a fiktv entitsok,
ide-oda mutat nvmsok,
stb.
A logikusok foglalkoznak azzal, hogy ezekre a jelensgekre
kln-kln rzkeny logikai elmletet alkossanak.

Amik vgkpp kimaradnak

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az itt bemutatottnl sokkal ersebb s legelterjedtebb

elmleteknek persze mg gy is tmrdek hibja akad mg, ha a
termszetes nyelv modellezsre akarnnk hasznlni.
A kontextus
Az oksg (Jones meghalt, mert halat evett fagylalttal.)
Idbelisg (A Megette s kihnyta. nem ugyanaz, mint a
Kihnyta s megette.)
a fiktv entitsok,
ide-oda mutat nvmsok,
stb.
A logikusok foglalkoznak azzal, hogy ezekre a jelensgekre
kln-kln rzkeny logikai elmletet alkossanak.
Mentsgnkre szolglhat, hogy ezek a logikk bizonyos
terleteken tkletesek: Pl. a matematika terletn a fenti
kifogsok mindegyike alaptalan.

A Flnyeg.
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A tovbbiakban arrl lesz sz, hogy hogyan kell a

kzpiskolainl egy kicsit tbbet mond logikt kszteni.

Az elbukott logika
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

De elbb megmutatjuk, hol bukott el egy igen mersz

vllalkozs.

A hazug paradoxona
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez a mondat hamis.

A hazug paradoxona
Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ez a mondat hamis.

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha igaz a mondat, akkor amit mond gy van, teht akkor hamis.

A hazug paradoxona
Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ez a mondat hamis.

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha igaz a mondat, akkor amit mond gy van, teht akkor hamis.

Ha pedig hamis, akkor amit mond, pont hogy nem gy van,
teht akkor igaz.

A hazug paradoxona
Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ez a mondat hamis.

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha igaz a mondat, akkor amit mond gy van, teht akkor hamis.

Ha pedig hamis, akkor amit mond, pont hogy nem gy van,
teht akkor igaz.
Krbertnk: Teht pontosan akkor hamis, ha igaz.

A hazug paradoxona
Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ez a mondat hamis.

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha igaz a mondat, akkor amit mond gy van, teht akkor hamis.

Ha pedig hamis, akkor amit mond, pont hogy nem gy van,
teht akkor igaz.
Krbertnk: Teht pontosan akkor hamis, ha igaz.
Ez a prototipikus logikai ellentmonds.

A hazug paradoxona
Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ez a mondat hamis.

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha igaz a mondat, akkor amit mond gy van, teht akkor hamis.

Ha pedig hamis, akkor amit mond, pont hogy nem gy van,
teht akkor igaz.
Krbertnk: Teht pontosan akkor hamis, ha igaz.
Ez a prototipikus logikai ellentmonds.
A klasszikus formlis logika szablyai szerint ilyenkor borul
minden: Minden formulra, igazra, hamisra lehet majd
rvnyesen kvetkeztetni.

A hazug paradoxona
Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ez a mondat hamis.

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha igaz a mondat, akkor amit mond gy van, teht akkor hamis.

Ha pedig hamis, akkor amit mond, pont hogy nem gy van,
teht akkor igaz.
Krbertnk: Teht pontosan akkor hamis, ha igaz.
Ez a prototipikus logikai ellentmonds.
A klasszikus formlis logika szablyai szerint ilyenkor borul
minden: Minden formulra, igazra, hamisra lehet majd
rvnyesen kvetkeztetni.
Ms szval kiresedik a kvetkezmnyfogalom.

A hazug paradoxona
Egy szomor trtnet ngy dudsrl.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez a mondat hamis.

A hazug paradoxona
Egy szomor trtnet ngy dudsrl.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez a mondat hamis.
A fenti rvels tbb olyan elvet is kvetett, amelyen rdemes
kicsit elidznnk.

A hazug paradoxona
Egy szomor trtnet ngy dudsrl.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez a mondat hamis.
A fenti rvels tbb olyan elvet is kvetett, amelyen rdemes
kicsit elidznnk.
1 Van egy olyan tulajdonsgunk, ami pontosan az igaz
mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.

A hazug paradoxona
Egy szomor trtnet ngy dudsrl.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez a mondat hamis.
A fenti rvels tbb olyan elvet is kvetett, amelyen rdemes
kicsit elidznnk.
1 Van egy olyan tulajdonsgunk, ami pontosan az igaz
mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
2 Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!

A hazug paradoxona
Egy szomor trtnet ngy dudsrl.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez a mondat hamis.
A fenti rvels tbb olyan elvet is kvetett, amelyen rdemes
kicsit elidznnk.
1 Van egy olyan tulajdonsgunk, ami pontosan az igaz
mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
2 Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
3 Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)

A hazug paradoxona
Egy szomor trtnet ngy dudsrl.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez a mondat hamis.
A fenti rvels tbb olyan elvet is kvetett, amelyen rdemes
kicsit elidznnk.
1 Van egy olyan tulajdonsgunk, ami pontosan az igaz
mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
2 Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
3 Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
4 Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)

A hazug paradoxona
Egy szomor trtnet ngy dudsrl.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez a mondat hamis.
A fenti rvels tbb olyan elvet is kvetett, amelyen rdemes
kicsit elidznnk.
1 Van egy olyan tulajdonsgunk, ami pontosan az igaz
mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
2 Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
3 Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
4 Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)
Ez egyfajta ttel: ez a ngy duds nem fr meg egy
csrdban.

Alapelvek itt, alapelvek ott. . .

Az
nbeteljest
hitek s a
matematika

Molnr Attila
2
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Van egy olyan tulajdonsgunk, ami pontosan az igaz

mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)

Alapelvek itt, alapelvek ott. . .

Az
nbeteljest
hitek s a
matematika

Molnr Attila
2
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Van egy olyan tulajdonsgunk, ami pontosan az igaz

mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)
A klasszikus matematikai logika vlasztsa:

Alapelvek itt, alapelvek ott. . .

Az
nbeteljest
hitek s a
matematika

Molnr Attila
2
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Van egy olyan tulajdonsgunk, ami pontosan az igaz

mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)
A klasszikus matematikai logika vlasztsa:
Kivgjuk (1)-et s (2)-t.

Alapelvek itt, alapelvek ott. . .

Az
nbeteljest
hitek s a
matematika

Molnr Attila
2
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Van egy olyan tulajdonsgunk, ami pontosan az igaz

mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)
A klasszikus matematikai logika vlasztsa:
Kivgjuk (1)-et s (2)-t.
A termszetes nyelv vlasztsa:

Alapelvek itt, alapelvek ott. . .

Az
nbeteljest
hitek s a
matematika

Molnr Attila
2
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Van egy olyan tulajdonsgunk, ami pontosan az igaz

mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)
A klasszikus matematikai logika vlasztsa:
Kivgjuk (1)-et s (2)-t.
A termszetes nyelv vlasztsa: ?

Alapelvek itt, alapelvek ott. . .

Az
nbeteljest
hitek s a
matematika

Molnr Attila
2
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Van egy olyan tulajdonsgunk, ami pontosan az igaz

mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)
A klasszikus matematikai logika vlasztsa:
Kivgjuk (1)-et s (2)-t.
A termszetes nyelv vlasztsa: ?
Mindenesetre senki sem akad fenn az (1)-(2) elven.

Alapelvek itt, alapelvek ott. . .

Az
nbeteljest
hitek s a
matematika

Molnr Attila
2
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Van egy olyan tulajdonsgunk, ami pontosan az igaz

mondatokat jellemzi. Azaz az igazsg ugyanolyan
tulajdonsg, mint a tbbi.
Ebben a prediktumban tetszleges mondat szerepelhet
akr sajt maga is!
Minden mondatnak kell legyen igazsgrtke, s ezek nem
lehetnek msok, mint az igaz s a hamis. (ez a Kizrt
harmadik elve)
Egy kijelents nem lehet egyszerre igaz s hamis. (ez az
Ellentmonds elve)
A klasszikus matematikai logika vlasztsa:
Kivgjuk (1)-et s (2)-t.
A termszetes nyelv vlasztsa: ?
Mindenesetre senki sem akad fenn az (1)-(2) elven. Igaz a keletkez
ellentmonds sem okoz akkora fejfjst, mint ahogy azt egy formlis
logikban tenn.

Az nreferencia visszacsempszse
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az nreferencia visszacsempszse
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Hogyan lehetne megmenteni mgis valamit abbl az

igazsg-tulajdontsbl (azaz (1)-bl), hogy korrekt formlis
logiknk maradjon?

Az nreferencia visszacsempszse
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Hogyan lehetne megmenteni mgis valamit abbl az

igazsg-tulajdontsbl (azaz (1)-bl), hogy korrekt formlis
logiknk maradjon?
Ltezik a logiknak egy tpusa, amelyik egy olyan opertort is
mkdtet, ami affirmatv;

Az nreferencia visszacsempszse
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Hogyan lehetne megmenteni mgis valamit abbl az

igazsg-tulajdontsbl (azaz (1)-bl), hogy korrekt formlis
logiknk maradjon?
Ltezik a logiknak egy tpusa, amelyik egy olyan opertort is
mkdtet, ami affirmatv;
Affirmatv: Valamilyen mdon megersti az lltst

Az nreferencia visszacsempszse
Az
nbeteljest
hitek s a
matematika
Molnr Attila

A ngy
duds

Hogyan lehetne megmenteni mgis valamit abbl az

igazsg-tulajdontsbl (azaz (1)-bl), hogy korrekt formlis
logiknk maradjon?
Ltezik a logiknak egy tpusa, amelyik egy olyan opertort is
mkdtet, ami affirmatv;
Affirmatv: Valamilyen mdon megersti az lltst

Modlis
logika

Most bemutatjuk, mi ez a logika.

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug

Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Igazsg s az igazsg mdja

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Igazsg s az igazsg mdja

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az elbukott logika: Melyik mondat igaz?

Igazsg s az igazsg mdja

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott logika: Melyik mondat igaz?

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Modlis logika: Melyik mondat igaz egy bizonyos

mdon?

Aximarendszer
nem, s, vagy, ha . . . , akkor

Az
nbeteljest
hitek s a
matematika

Ez a logika rszknt tartalmazza azt, amit anno a gpnknek

megtantottunk:

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug

AB
A
AB
B

A
B
AB

[A]
..
.

[B]
.. A B
.

A
AB

C
C

B
AB

A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
AB
B

[A]
..
.

A
A
B

B
AB
A A

[A]
..
.
B B
A

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Msrszt tudja mg a kvetkez kt szablyt:

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

A
A

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

A
A

Itt  az a bizonyos affirmci, az igaz egyfajta rnyka.

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

A
A

Itt  az a bizonyos affirmci, az igaz egyfajta rnyka.

Ezekbl mr sok minden kvetkezik! (A is egyfajta
(halvnyabb) rnyk: A def . A)

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Itt  az a bizonyos affirmci, az igaz egyfajta rnyka.

Ezekbl mr sok minden kvetkezik! (A is egyfajta
(halvnyabb) rnyk: A def . A)
(A B) (A B)

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Itt  az a bizonyos affirmci, az igaz egyfajta rnyka.

Ezekbl mr sok minden kvetkezik! (A is egyfajta
(halvnyabb) rnyk: A def . A)
(A B) (A B)
(A B) (A B)

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Itt  az a bizonyos affirmci, az igaz egyfajta rnyka.

Ezekbl mr sok minden kvetkezik! (A is egyfajta
(halvnyabb) rnyk: A def . A)
(A B) (A B)
(A B) (A B)
(A B) (A B)

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Itt  az a bizonyos affirmci, az igaz egyfajta rnyka.

Ezekbl mr sok minden kvetkezik! (A is egyfajta
(halvnyabb) rnyk: A def . A)
(A B) (A B)
(A B) (A B)
(A B) (A B)
(A B) (A B)

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Itt  az a bizonyos affirmci, az igaz egyfajta rnyka.

Ezekbl mr sok minden kvetkezik! (A is egyfajta
(halvnyabb) rnyk: A def . A)
(A B) (A B)
(A B) (A B)
(A B) (A B)
(A B) (A B)
(A B) (A B)

Aximarendszer
A modalitsra vonatkoz elvrsok

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Msrszt tudja mg a kvetkez kt szablyt:

(A B) (A B)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Itt  az a bizonyos affirmci, az igaz egyfajta rnyka.

Ezekbl mr sok minden kvetkezik! (A is egyfajta
(halvnyabb) rnyk: A def . A)
(A B) (A B)
(A B) (A B)
(A B) (A B)
(A B) (A B)
(A B) (A B)
(A B) (A B)

Modalitsok
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Modalitsok
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

(A B) (A B)

A
A

Modalitsok
Az
nbeteljest
hitek s a
matematika

(A B) (A B)

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Pl.:

A
A

Modalitsok
Az
nbeteljest
hitek s a
matematika

(A B) (A B)

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Pl.:
Hiszem, hogy: Ha elhiszem, hogy A esetn B van,
akkor ha elhiszem, hogy A van, akkor azt is elhiszem, hogy
B van. Ha belttam A-t, akkor belttam azt is, hogy
elhiszem, hogy A.

Modalitsok
Az
nbeteljest
hitek s a
matematika

(A B) (A B)

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Pl.:
Hiszem, hogy: Ha elhiszem, hogy A esetn B van,
akkor ha elhiszem, hogy A van, akkor azt is elhiszem, hogy
B van. Ha belttam A-t, akkor belttam azt is, hogy
elhiszem, hogy A.
Szksgszer, hogy:Ha szksgszer, hogy A esetn B
van, akkor ha szksgszeren van A, akkor szksgkpp
van B. Ha logikai mdon belttam A-t, akkor belttam azt
is, hogy szksgszer, hogy A.

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila

(A B) (A B)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila

(A B) (A B)

Formalizls

A
A

Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ktelez, hogy:Ha ktelez, hogy ha A, akkor B, akkor

ha A ktelez, akkor B is az. Ha logikailag belttam A-t,
akkor belttam azt is, hogy ktelez, hogy A legyen.

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila

(A B) (A B)

Formalizls

A
A

Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ktelez, hogy:Ha ktelez, hogy ha A, akkor B, akkor

ha A ktelez, akkor B is az. Ha logikailag belttam A-t,
akkor belttam azt is, hogy ktelez, hogy A legyen.
Bizonythat, hogy Ha bizonythat, hogy ha A, akkor
B, akkor ha A bizonythat, akkor B is az. Ha logikailag
belttam A-t, akkor belttam azt is, hogy bizonythat,
hogy A legyen.

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A tovbbiakban csak figyeljnk oda erre a kettre:

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A tovbbiakban csak figyeljnk oda erre a kettre:

Hiszem, hogy: Ha elhiszem, hogy A esetn B van,
akkor ha elhiszem, hogy A van, akkor azt is elhiszem, hogy
B van. Ha belttam A-t, akkor belttam azt is, hogy
elhiszem, hogy A.

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A tovbbiakban csak figyeljnk oda erre a kettre:

Hiszem, hogy: Ha elhiszem, hogy A esetn B van,
akkor ha elhiszem, hogy A van, akkor azt is elhiszem, hogy
B van. Ha belttam A-t, akkor belttam azt is, hogy
elhiszem, hogy A.
Bizonythat, hogy Ha bizonythat, hogy ha A, akkor
B, akkor ha A bizonythat, akkor B is az. Ha logikailag
belttam A-t, akkor belttam azt is, hogy bizonythat,
hogy A legyen.

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ezekre ms is igaz:

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ezekre ms is igaz:
A A

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ezekre ms is igaz:
A A
Ez egyfajta nreflexv gondolkodst vr a hiszem-fle
interpretcitl:

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ezekre ms is igaz:
A A
Ez egyfajta nreflexv gondolkodst vr a hiszem-fle
interpretcitl:
Ha elhiszek valamit, akkor azt is elhiszem, hogy elhiszem azt.

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ezekre ms is igaz:
A A
Ez egyfajta nreflexv gondolkodst vr a hiszem-fle
interpretcitl:
Ha elhiszek valamit, akkor azt is elhiszem, hogy elhiszem azt.
A bizonythatsggal kapcsolatos modalitsra pedig fennll egy
nagyon klns trvnyszersg:

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ezekre ms is igaz:
A A
Ez egyfajta nreflexv gondolkodst vr a hiszem-fle
interpretcitl:
Ha elhiszek valamit, akkor azt is elhiszem, hogy elhiszem azt.
A bizonythatsggal kapcsolatos modalitsra pedig fennll egy
nagyon klns trvnyszersg:
(A A) A

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ezekre ms is igaz:
A A
Ez egyfajta nreflexv gondolkodst vr a hiszem-fle
interpretcitl:
Ha elhiszek valamit, akkor azt is elhiszem, hogy elhiszem azt.
A bizonythatsggal kapcsolatos modalitsra pedig fennll egy
nagyon klns trvnyszersg:
(A A) A
Ha valamire teljesl az az aprsg, hogy bizonythat, hogy
amikor bizonythat, akkor igaz is, akkor ebbl mr az is
kvetkezik, hogy ez egy bizonythat llts is egyben.

Aximarendszer
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ezekre ms is igaz:
A A
Ez egyfajta nreflexv gondolkodst vr a hiszem-fle
interpretcitl:
Ha elhiszek valamit, akkor azt is elhiszem, hogy elhiszem azt.
A bizonythatsggal kapcsolatos modalitsra pedig fennll egy
nagyon klns trvnyszersg:
(A A) A
Ha valamire teljesl az az aprsg, hogy bizonythat, hogy
amikor bizonythat, akkor igaz is, akkor ebbl mr az is
kvetkezik, hogy ez egy bizonythat llts is egyben.
Ez a bizarr trvnyszersg Lb ttele.

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Pl. helyettestsnk be valami egyszerbbet ebbe a kpletbe:

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Pl. helyettestsnk be valami egyszerbbet ebbe a kpletbe:

(A A) A

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Pl. helyettestsnk be valami egyszerbbet ebbe a kpletbe:

(A A) A

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mondjuk az Ellentmondst Magt.

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Pl. helyettestsnk be valami egyszerbbet ebbe a kpletbe:

(A A) A

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mondjuk az Ellentmondst Magt.

p p
def .

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Pl. helyettestsnk be valami egyszerbbet ebbe a kpletbe:

(A A) A

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mondjuk az Ellentmondst Magt.

p p
def .

( ) 

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Pl. helyettestsnk be valami egyszerbbet ebbe a kpletbe:

(A A) A

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mondjuk az Ellentmondst Magt.

p p
def .

( ) 
Mivel az, ami ellentmondsra vezet, nem igaz (lsd a gpnek
tantottakat!):

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Pl. helyettestsnk be valami egyszerbbet ebbe a kpletbe:

(A A) A

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mondjuk az Ellentmondst Magt.

p p
def .

( ) 
Mivel az, ami ellentmondsra vezet, nem igaz (lsd a gpnek
tantottakat!):
() 

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

() 

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika

() 

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az, hogy nem bizonythat az ellentmonds, azt jelenti, hogy

konzisztens, azaz ellentmondsmentes az elmletnk. A j s
szeretett, vgyott matematikai elmletek azok, amik
(remlhetleg) ilyenek.

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika

() 

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az, hogy nem bizonythat az ellentmonds, azt jelenti, hogy

konzisztens, azaz ellentmondsmentes az elmletnk. A j s
szeretett, vgyott matematikai elmletek azok, amik
(remlhetleg) ilyenek.
A fenti kplet azt mondja, hogy ha bizonythat egy elmleten
bell a konzisztencia, akkor az elmlet ellentmondsos.

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika

() 

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Az, hogy nem bizonythat az ellentmonds, azt jelenti, hogy

konzisztens, azaz ellentmondsmentes az elmletnk. A j s
szeretett, vgyott matematikai elmletek azok, amik
(remlhetleg) ilyenek.
A fenti kplet azt mondja, hogy ha bizonythat egy elmleten
bell a konzisztencia, akkor az elmlet ellentmondsos.
Magyarul sosem lehet bizonytatni az ellentmondsmentessget.
Valsznleg ez a rpke kvetkezmny a 20. szzad
matematikjnak legjelentsebb ttele.

Kis kitr Lb ttelre

Gdel ttele.

Az
nbeteljest
hitek s a
matematika

() 

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

Az, hogy nem bizonythat az ellentmonds, azt jelenti, hogy

konzisztens, azaz ellentmondsmentes az elmletnk. A j s
szeretett, vgyott matematikai elmletek azok, amik
(remlhetleg) ilyenek.
A fenti kplet azt mondja, hogy ha bizonythat egy elmleten
bell a konzisztencia, akkor az elmlet ellentmondsos.
Magyarul sosem lehet bizonytatni az ellentmondsmentessget.
Valsznleg ez a rpke kvetkezmny a 20. szzad
matematikjnak legjelentsebb ttele.

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ez Gdel ttele.

Logika s nreferencia
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Logika s nreferencia
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A kvetkezkben alkalmazzuk a modlis logikt, egy tipikusan

nreferencilis (magra utal ) gondolatmenetben.

Logika s nreferencia
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A kvetkezkben alkalmazzuk a modlis logikt, egy tipikusan

nreferencilis (magra utal ) gondolatmenetben.
Azt fogjuk beltni, hogy (adott felttelek mellett) a msodik,
megdbbent llts, a Lb ttelnek megfelel kplet a
hiszem-mel is mkdik.

Logika s nreferencia
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika

A kvetkezkben alkalmazzuk a modlis logikt, egy tipikusan

nreferencilis (magra utal ) gondolatmenetben.
Azt fogjuk beltni, hogy (adott felttelek mellett) a msodik,
megdbbent llts, a Lb ttelnek megfelel kplet a
hiszem-mel is mkdik.

A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

(A A) A

Logika s nreferencia
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika

A kvetkezkben alkalmazzuk a modlis logikt, egy tipikusan

nreferencilis (magra utal ) gondolatmenetben.
Azt fogjuk beltni, hogy (adott felttelek mellett) a msodik,
megdbbent llts, a Lb ttelnek megfelel kplet a
hiszem-mel is mkdik.

A hazug
A ngy
duds

(A A) A

Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

St, ez formula szerint ugyanaz a bizonyts lesz, mint amit

egy emelt szint szeminriumon hallhatnnk.

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A trtnet hse egy klns betegsgtl szenved, ezrt elmegy

az orvoshoz, akiben felttlen megbzik. A diagnzis:

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A trtnet hse egy klns betegsgtl szenved, ezrt elmegy

az orvoshoz, akiben felttlen megbzik. A diagnzis:
Kedves Uram, igen, n valban beteg, de nyugodjon meg, a
betegsg pszicholgiai termszet. Meg fog gygyulni, ha
hisz abban, hogy meg fog gygyulni.

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A trtnet hse egy klns betegsgtl szenved, ezrt elmegy

az orvoshoz, akiben felttlen megbzik. A diagnzis:
Kedves Uram, igen, n valban beteg, de nyugodjon meg, a
betegsg pszicholgiai termszet. Meg fog gygyulni, ha
hisz abban, hogy meg fog gygyulni.
Hsnk bzik az orvosban, de nagyon gyenge a hite; Csak
akkor hisz el valamit, ha bebizonytjk neki.

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A trtnet hse egy klns betegsgtl szenved, ezrt elmegy

az orvoshoz, akiben felttlen megbzik. A diagnzis:
Kedves Uram, igen, n valban beteg, de nyugodjon meg, a
betegsg pszicholgiai termszet. Meg fog gygyulni, ha
hisz abban, hogy meg fog gygyulni.
Hsnk bzik az orvosban, de nagyon gyenge a hite; Csak
akkor hisz el valamit, ha bebizonytjk neki.
Egy logikushoz fordul ezrt, hogy bizonytsa be neki, hogy
hinni fog abban, hogy meg fog gygyulni. Sok furcsasgot
hallott mr a logikusrl, ezrt nem tudja, megbzzon-e benne
gy, mint az orvosban, de azt gondolta: Egy prbt megr.

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A logikus diagnzisa a kvetkez:

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A logikus diagnzisa a kvetkez:

Kedves Uram, ha elhiszi, hogy igazat mondok, meg fog
gygyulni.

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A logikus diagnzisa a kvetkez:

Kedves Uram, ha elhiszi, hogy igazat mondok, meg fog
gygyulni.
Erre gondolkodott egy kicsit, majd meggygyult.

Smullyan fejtrje
Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika

A logikus diagnzisa a kvetkez:

Kedves Uram, ha elhiszi, hogy igazat mondok, meg fog
gygyulni.
Erre gondolkodott egy kicsit, majd meggygyult.

A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mirt?

A fejtr megoldsa
Formalizls

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Formalizls

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Hsnk meggygyul:

A fejtr megoldsa
Formalizls

Az
nbeteljest
hitek s a
matematika

Hsnk meggygyul:

A Logikus igazat mond:

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Formalizls

Az
nbeteljest
hitek s a
matematika

Hsnk meggygyul:

A Logikus igazat mond:

Hsnk gy hiszi, hogy:

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Formalizls

Az
nbeteljest
hitek s a
matematika

Hsnk meggygyul:

A Logikus igazat mond:

Hsnk gy hiszi, hogy:

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Orvos: Ha hsnk elhiszi,

hogy meggygyul,
akkor meggygyul:

A fejtr megoldsa
Formalizls

Az
nbeteljest
hitek s a
matematika

Hsnk meggygyul:

A Logikus igazat mond:

Hsnk gy hiszi, hogy:

Orvos: Ha hsnk elhiszi,

hogy meggygyul,
akkor meggygyul:

c c

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Formalizls

Az
nbeteljest
hitek s a
matematika

Hsnk meggygyul:

A Logikus igazat mond:

Hsnk gy hiszi, hogy:

Orvos: Ha hsnk elhiszi,

hogy meggygyul,
akkor meggygyul:

c c

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Logikus: Ha hsnk gy hiszi,

hogy a Logikus igazat mond,
akkor hsnk meggygyul:

A fejtr megoldsa
Formalizls

Az
nbeteljest
hitek s a
matematika

Hsnk meggygyul:

A Logikus igazat mond:

Hsnk gy hiszi, hogy:

Orvos: Ha hsnk elhiszi,

hogy meggygyul,
akkor meggygyul:

c c

Logikus: Ha hsnk gy hiszi,

hogy a Logikus igazat mond,
akkor hsnk meggygyul:

k c

Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Trivilis megllaptsok formalizlsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Trivilis megllaptsok formalizlsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha a Logikus igazat mond,

akkor igaz, amit mond:

A fejtr megoldsa
Trivilis megllaptsok formalizlsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha a Logikus igazat mond,

akkor igaz, amit mond:

k (k c)

A fejtr megoldsa
Trivilis megllaptsok formalizlsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ha a Logikus igazat mond,

akkor igaz, amit mond:

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Ha amit a Logikus mond, igaz,

akkor a logikus igazat mond:

k (k c)

A fejtr megoldsa
Trivilis megllaptsok formalizlsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ha a Logikus igazat mond,

akkor igaz, amit mond:

k (k c)

Ha amit a Logikus mond, igaz,

akkor a logikus igazat mond:

(k c) k

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Trivilis megllaptsok formalizlsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ha a Logikus igazat mond,

akkor igaz, amit mond:

k (k c)

Ha amit a Logikus mond, igaz,

akkor a logikus igazat mond:

(k c) k

A helyzet, amit a Logikus

(nreflektv) kijelentsnek ksznhetnk:

k (k c)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Trivilis megllaptsok formalizlsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila

Ha a Logikus igazat mond,

akkor igaz, amit mond:

k (k c)

Ha amit a Logikus mond, igaz,

akkor a logikus igazat mond:

(k c) k

A helyzet, amit a Logikus

(nreflektv) kijelentsnek ksznhetnk:

k (k c)

Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

(gy ragadja meg a logiknk

az nreferencilis mondatokat!)

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A
A

Ha eddig arra jutottunk, hogy A,

akkor el is hihetjk, hogy A

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls

A
A

Ha eddig arra jutottunk, hogy A,

akkor el is hihetjk, hogy A

Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

2 (A B) (A B)

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls

A
A

Ha eddig arra jutottunk, hogy A,

akkor el is hihetjk, hogy A

Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

2 (A B) (A B)

Ha elhisszk, hogy
ha A, akkor B is,
akkor ha hisszk A-t,
B-is hisszk.

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls

A
A

Ha eddig arra jutottunk, hogy A,

akkor el is hihetjk, hogy A

Jtkszablyok
Kimaradottak

Az elbukott
logika

2 (A B) (A B)

A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

3 A A

Ha elhisszk, hogy
ha A, akkor B is,
akkor ha hisszk A-t,
B-is hisszk.

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls

A
A

Ha eddig arra jutottunk, hogy A,

akkor el is hihetjk, hogy A

Jtkszablyok
Kimaradottak

Az elbukott
logika

2 (A B) (A B)

A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

3 A A

Ha elhisszk, hogy
ha A, akkor B is,
akkor ha hisszk A-t,
B-is hisszk.

Ha elhisszk, hogy ha A,
akkor azt is hisszk,
hogy hisszk A-t.

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls

A
A

Ha eddig arra jutottunk, hogy A,

akkor el is hihetjk, hogy A

Jtkszablyok
Kimaradottak

Az elbukott
logika

2 (A B) (A B)

A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

3 A A
4 k (k c)

Ha elhisszk, hogy
ha A, akkor B is,
akkor ha hisszk A-t,
B-is hisszk.

Ha elhisszk, hogy ha A,
akkor azt is hisszk,
hogy hisszk A-t.

A fejtr megoldsa
Fegyvertrunk

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls

A
A

Ha eddig arra jutottunk, hogy A,

akkor el is hihetjk, hogy A

Jtkszablyok
Kimaradottak

Az elbukott
logika

2 (A B) (A B)

A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

3 A A
4 k (k c)

Ha elhisszk, hogy
ha A, akkor B is,
akkor ha hisszk A-t,
B-is hisszk.

Ha elhisszk, hogy ha A,
akkor azt is hisszk,
hogy hisszk A-t.
A Logikus miatt.

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.

Formulban

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Tegyk fel, hogy

hiszek abban, hogy
a Logikus igazat mond.

k

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Tegyk fel, hogy

hiszek abban, hogy
a Logikus igazat mond.

k

Feltevs

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.

Formulban

Felhasznlt
szably

k

Feltevs

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

(k (k c))

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

(k (k c))

Fegyvertr: (1)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

(k (k c))

Fegyvertr: (1)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

(k (k c))

Fegyvertr: (1)

(k (k c))

(k (k c))

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

(k (k c))

Fegyvertr: (1)

(k (k c))

(k (k c))

Fegyvertr: (2)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.
Az elbbi kett miatt

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

(k (k c))

Fegyvertr: (1)

(k (k c))

(k (k c))

Fegyvertr: (2)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.
Az elbbi kett miatt

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

(k (k c))

Fegyvertr: (1)

(k (k c))

(k (k c))

Fegyvertr: (2)

k (k c)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Tegyk fel, hogy
hiszek abban, hogy
a Logikus igazat mond.
Ha igazat mond,
igaz, amit mond.
Ha eddig erre jutottunk,
akkor el is hihetjk.
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.
Az elbbi kett miatt

Formulban

Felhasznlt
szably

k

Feltevs

k (k c)

A fegyvertrbl! (4)!

(k (k c))

Fegyvertr: (1)

(k (k c))

(k (k c))

Fegyvertr: (2)

k (k c)

Erre a gpet is
megtantottuk

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
A feltevsnk s
e legutbbi alapjn

Formulban

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

A feltevsnk s
e legutbbi alapjn

(k c)

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn

(k c)

Erre a gpet is
megtantottuk

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

Az elz kettbl

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

Az elz kettbl

k c

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

Az elz kettbl

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.

k k

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

k k

A fegyvertrbl! (3)!

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

k k

A fegyvertrbl! (3)!

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.
Ha A-bl B-re jutunk,
B-bl meg C -re,
akkor A-bl C -re jutunk.

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

k k

A fegyvertrbl! (3)!

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.
Ha A-bl B-re jutunk,
B-bl meg C -re,
akkor A-bl C -re jutunk.

k c

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

k k

A fegyvertrbl! (3)!

k c

Ezt a gp is. . .

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.
Ha A-bl B-re jutunk,
B-bl meg C -re,
akkor A-bl C -re jutunk.

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

k k

A fegyvertrbl! (3)!

k c

Ezt a gp is. . .

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.
Ha A-bl B-re jutunk,
B-bl meg C -re,
akkor A-bl C -re jutunk.
Mrpedig feltettk,
hogy hisznk a Logikusnak
gy. . .

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

k k

A fegyvertrbl! (3)!

k c

Ezt a gp is. . .

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.
Ha A-bl B-re jutunk,
B-bl meg C -re,
akkor A-bl C -re jutunk.
Mrpedig feltettk,
hogy hisznk a Logikusnak
gy. . .

c

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A feltevsnk s
e legutbbi alapjn
Ha elhiszek egy
feltteles lltst,
pldul az elzt
akkor ha hiszek
a felttelben,
hiszek a
kvetkezmnyben is.

(k c)

Erre a gpet is
megtantottuk

(k c)
(k c)

Fegyvertr: (2)

k c

no comment

k k

A fegyvertrbl! (3)!

k c

Ezt a gp is. . .

c

A feltevsbl
s az utbbibl

Az elz kettbl
Ha hiszek valamit,
akkor hiszem azt is,
hogy hiszem azt.
Ha A-bl B-re jutunk,
B-bl meg C -re,
akkor A-bl C -re jutunk.
Mrpedig feltettk,
hogy hisznk a Logikusnak
gy. . .

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Ha hiszem,
hogy meggygyulok,
meggygyulok

Formulban

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

Az elz kettbl

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

Az elz kettbl

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

Az elz kettbl

no comment

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

no comment

Az elz kettbl
Mivel a feltevsbl
ez kvetkezett, ezrt
tudunk egy
feltteles lltst!

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

no comment

Az elz kettbl
Mivel a feltevsbl
ez kvetkezett, ezrt
tudunk egy
feltteles lltst!

k c

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

no comment

k c

A gpnek is
ezt tantottuk

Az elz kettbl
Mivel a feltevsbl
ez kvetkezett, ezrt
tudunk egy
feltteles lltst!

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

no comment

k c

A gpnek is
ezt tantottuk

Az elz kettbl
Mivel a feltevsbl
ez kvetkezett, ezrt
tudunk egy
feltteles lltst!

St, ez nem ms, mint amit a Logikus mondott!

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha hiszem,
hogy meggygyulok,
meggygyulok

c c

Az orvos mondta

no comment

k c

A gpnek is
ezt tantottuk

Az elz kettbl
Mivel a feltevsbl
ez kvetkezett, ezrt
tudunk egy
feltteles lltst!

St, ez nem ms, mint amit a Logikus mondott!

Teht a Logikus igazat mondott!

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban
Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

Formulban

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Felhasznlt
szably

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

Akkor teht. . .

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

Akkor teht. . .

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

Akkor teht. . .

no comment

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.

k

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

k

Fegyvertr (1)!

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

k

Fegyvertr (1)!

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.
Mrpedig ha hiszek
neki, meggygyulok

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

k

Fegyvertr (1)!

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.
Mrpedig ha hiszek
neki, meggygyulok

k c

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

k

Fegyvertr (1)!

k c

Ezt lttuk be
az imnt

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.
Mrpedig ha hiszek
neki, meggygyulok

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

k

Fegyvertr (1)!

k c

Ezt lttuk be
az imnt

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.
Mrpedig ha hiszek
neki, meggygyulok
Teht meggygyulok

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.
Mrpedig ha hiszek
neki, meggygyulok

k

Fegyvertr (1)!

k c

Ezt lttuk be
az imnt

Teht meggygyulok

A fejtr megolds
Hsnk okoskodsa

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Szban

Formulban

Felhasznlt
szably

Ha igaz,
amit a Logikus mond,
a Logikus igazat mond.

(k c) k

Fegyvertr (4)
(msik fele)

no comment

Akkor teht. . .
Mivel mr bizonytottuk,
hogy a Logikusnak igaza van,
mr hihetnk is neki.
Mrpedig ha hiszek
neki, meggygyulok

k

Fegyvertr (1)!

k c

Ezt lttuk be
az imnt

Teht meggygyulok

no comment

A fejtr megolds
Konzekvencik

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

A fejtr megolds
Konzekvencik

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mivel hsnk meggygyult, nyilvn hisz a gygyulsban, teht

c-t semmibe se kerl mr bebizonytani.

A fejtr megolds
Konzekvencik

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mivel hsnk meggygyult, nyilvn hisz a gygyulsban, teht

c-t semmibe se kerl mr bebizonytani. Teht mivel vgig
feltettk, hogy hitt az orvosnak, ezt most egy feltteles
lltsban is megfogalmazhatjuk:

A fejtr megolds
Konzekvencik

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika
A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mivel hsnk meggygyult, nyilvn hisz a gygyulsban, teht

c-t semmibe se kerl mr bebizonytani. Teht mivel vgig
feltettk, hogy hitt az orvosnak, ezt most egy feltteles
lltsban is megfogalmazhatjuk:
(c c) c

A fejtr megolds
Konzekvencik

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika

Mivel hsnk meggygyult, nyilvn hisz a gygyulsban, teht

c-t semmibe se kerl mr bebizonytani. Teht mivel vgig
feltettk, hogy hitt az orvosnak, ezt most egy feltteles
lltsban is megfogalmazhatjuk:
(c c) c

A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mivel pedig sose hasznltuk ki, hogy a trtnetben gygyulst

jelentett c, ezrt brmilyen ms lltssal is be tudtuk volna ezt
bizonytani. Teht ez brmilyen ms lltsra is igaz.

A fejtr megolds
Konzekvencik

Az
nbeteljest
hitek s a
matematika
Molnr Attila
Formalizls
Jtkszablyok
Kimaradottak

Az elbukott
logika

Mivel hsnk meggygyult, nyilvn hisz a gygyulsban, teht

c-t semmibe se kerl mr bebizonytani. Teht mivel vgig
feltettk, hogy hitt az orvosnak, ezt most egy feltteles
lltsban is megfogalmazhatjuk:
(c c) c

A hazug
A ngy
duds
Modlis
logika
Jtkszablyok
Modalitsok

A legszebb
fejtr
A feladvny
A formalizls
A megolds

Mivel pedig sose hasznltuk ki, hogy a trtnetben gygyulst

jelentett c, ezrt brmilyen ms lltssal is be tudtuk volna ezt
bizonytani. Teht ez brmilyen ms lltsra is igaz.
(A A) A