kondicionális „jelentése” p q...
TRANSCRIPT
![Page 1: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/1.jpg)
Összefüggések
kondicionális „jelentése”
p⊃q ~pvq
![Page 2: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/2.jpg)
Ha esik az eső, vizes az út.
p⊃q
Ha nem vizes az út, nem esik az eső. ~q⊃~p
![Page 3: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/3.jpg)
Ha esik az eső, vizes az út.
p⊃q
Ha nem vizes az út, nem esik az eső. ~q⊃~p
![Page 4: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/4.jpg)
Kontrapozíció
Ha esik az eső, vizes az út.
p⊃q
Ha nem vizes az út, nem esik az eső. ~q⊃~p
![Page 5: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/5.jpg)
Mire jók?
Állításokat, összetett állítások vizsgáltunk
Hogyan vizsgálhatunk ezekkel
következtetéseket?
Levezetési szabályokkal
![Page 6: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/6.jpg)
Mire jók?
Állításokat, összetett állítások vizsgáltunk
Hogyan vizsgálhatunk ezekkel
következtetéseket?
Levezetési szabályokkal
![Page 7: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/7.jpg)
Mire jók?
Állításokat, összetett állítások vizsgáltunk
Hogyan vizsgálhatunk ezekkel
következtetéseket?
Levezetési szabályokkal
![Page 8: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/8.jpg)
Mire jók?
Állításokat, összetett állítások vizsgáltunk
Hogyan vizsgálhatunk ezekkel
következtetéseket?
Levezetési (következtetési) szabályokkal
![Page 9: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/9.jpg)
Következtetés konjunkcióval
P1: Berlinben fúj a szél P2: Berlinben esik az eső K: (Tehát) Berlinben fúj a szél és esik az eső
![Page 10: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/10.jpg)
Következtetés konjunkcióval
P1: Berlinben fúj a szél P2: Berlinben esik az eső K: (Tehát) Berlinben fúj a szél és esik az eső
![Page 11: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/11.jpg)
Következtetés konjunkcióval
P1: Berlinben fúj a szél és esik az eső K: (Tehát) Berlinben fúj a szél
![Page 12: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/12.jpg)
Következtetés konjunkcióval
P1: Berlinben fúj a szél és esik az eső K: (Tehát) Berlinben esik az eső
![Page 13: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/13.jpg)
Következtetés diszjunkcióval
P1: Berlinben fúj a szél vagy esik az eső P2: Berlinben nem fúj a szél K: (Tehát) Berlinben esik az eső
![Page 14: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/14.jpg)
Következtetés diszjunkcióval
P1: Berlinben fúj a szél vagy esik az eső P2: Berlinben nem fúj a szél K: (Tehát) Berlinben esik az eső
![Page 15: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/15.jpg)
Következtetés diszjunkcióval
P1: Berlinben fúj a szél K: (Tehát) Berlinben esik az eső
![Page 16: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/16.jpg)
Következtetés diszjunkcióval
P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy esik az eső K: (Tehát) Berlinben esik az eső
![Page 17: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/17.jpg)
Következtetés diszjunkcióval
P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy esik az eső K: Berlinben fúj a szél vagy süt a nap K: (Tehát) Berlinben esik az eső
![Page 18: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/18.jpg)
Következtetés diszjunkcióval
P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy esik az eső K: Berlinben fúj a szél vagy süt a nap K: Berlinben fúj a szél vagy jön a Rózsaszín
Párduc K: (Tehát) Berlinben esik az eső
![Page 19: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/19.jpg)
Következtetés kondicionálissal
P1: Ha esik az eső, akkor vizes az út P2: Esik az eső K: (Tehát) vizes az út
![Page 20: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/20.jpg)
Következtetés kondicionálissal
P1: Ha esik az eső, akkor vizes az út P2: Esik az eső K: (Tehát) vizes az út
![Page 21: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/21.jpg)
Következtetés kondicionálissal
P1: Ha esik az eső, akkor vizes az út P2: Esik az eső K: (Tehát) vizes az út
![Page 22: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/22.jpg)
Következtetés kondicionálissal
P1: Ha esik az eső, akkor vizes az út P2: Esik az eső
K: (Tehát) vizes az út MODUS PONENS
![Page 23: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/23.jpg)
Következtetés kondicionálissal
P1: Ha esik az eső, akkor vizes az út P2: Nem vizes az út K: (Tehát) nem esik az eső
![Page 24: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/24.jpg)
Következtetés kondicionálissal
P1: Ha esik az eső, akkor vizes az út P2: Nem vizes az út
K: (Tehát) nem esik az eső MODUS TOLLENS
![Page 25: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/25.jpg)
Következtetés kondicionálissal
P1: Ha esik az eső, akkor vizes az út P2: Nem vizes az út
K: (Tehát) nem esik az eső MODUS TOLLENS
![Page 26: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/26.jpg)
![Page 27: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/27.jpg)
![Page 28: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/28.jpg)
![Page 29: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/29.jpg)
![Page 30: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/30.jpg)
Lovagok: mindig igazat mondanak Lókötők: mindig hazudnak
![Page 31: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/31.jpg)
Lovagok: mindig igazat mondanak Lókötők: mindig hazudnak Normálisok: néha igazat mondanak, néha hazudnak
![Page 32: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/32.jpg)
Feladat
Tegyük fel, hogy a Furcsa Sziget lakosa vagy, beleszeretsz egy helybéli lányba és szeretnéd
feleségül venni. A lány valamilyen különös okból csak lókötőhöz hajlandó hozzámenni, ráadásul
gazdag lókötőt akar, szegényet nem. (Tfh: mki vagy gazdag, vagy szegény.) Tegyük fel, hogy Te épp gazdag lókötő vagy! Egy mondatot mondhatsz a lánynak, amivel meggyőzöd erről – mi lesz az?
![Page 33: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/33.jpg)
Feladat
És ha csak gazdag lovaghoz hajlandó hozzámenni (s Te épp az vagy) – mi lesz az az egy mondat?
![Page 34: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/34.jpg)
Feladat
Tegyük fel, hogy ismert tény: a tettes lókötő! Azt is tegyük fel, hogy Te lókötő vagy (bár ezt a bíróság nem tudja), de ebben a bűntényben teljesen ártatlan! Egy mondatot mondhatsz. Az a feladat, hogy meggyőzd az esküdteket, hogy ártatlan vagy (arról nem kell meggyőzni őket, hogy nem vagy lókötő). Mi lesz az a mondat?
![Page 35: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/35.jpg)
Feladat
(Mostantól normálisok is vannak) A tettes nem normális, Te az vagy. Hogyan lehet meggyőzni egy mondattal az esküdteket arról, hogy Te ártatlan vagy?
![Page 36: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/36.jpg)
Feladat A király normálishoz akarja adni a lányát, Te az vagy. Győzd meg erről a királyt egy igaz mondattal!
![Page 37: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/37.jpg)
Feladat A király normálishoz akarja adni a lányát, Te az vagy. Győzd meg erről a királyt egy igaz mondattal! Győzd meg erről a királyt egy hamis mondattal!
![Page 38: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/38.jpg)
Feladat (Most megint nincsenek normálisok, viszont vannak kondicionálisok) A ezt állítja: „Ha én lovag vagyok, akkor B is az”. Mit tudtunk meg ebből?
![Page 39: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/39.jpg)
Feladat Valaki megkérdezi A-tól: „Ön lovag?” A válasza: „Ha lovag vagyok, megeszem a kalapom” Bizonyítsuk be, hogy kénytelen megenni!
![Page 40: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/40.jpg)
Feladat A azt mondja: „Ha lovag vagyok, akkor 2+2=4.” A lovag vagy lókötő?
![Page 41: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/41.jpg)
Feladat A azt mondja: „Ha lovag vagyok, akkor 2+2=5.” A lovag vagy lókötő?
![Page 42: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/42.jpg)
Szerelem és logika
Törpilla szereti Törperőst vagy Hamit. Ha szereti Törperőst, akkor szereti Hamit. Következik ebből, hogy szereti Törperőst? Következik ebből, hogy szereti Hamit?
![Page 43: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/43.jpg)
Szerelem és logika
Tegyük fel, hogy valaki megkérdezi Bobbytól: - Tényleg igaz, hogy ha szereted Pamelát,
akkor szereted Aprilt is? - Ha igaz, akkor szeretem Pamelát.
Következik ebből, hogy szereti Pamelát? Következik ebből, hogy szereti Aprilt?
![Page 44: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/44.jpg)
![Page 45: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/45.jpg)
Szerelem és logika
Azt mondja Ross:
1. A három lány közül legalább egyet szeretek. 2. Ha Rachelt szeretem, de Phoebet nem,
akkor Monicat is szeretem. 3. Vagy Phoebet és Monicat szeretem, vagy
egyiküket sem. 4. Ha szeretem Phoebet, akkor Rachelt is.
![Page 46: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/46.jpg)
A lift
A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém.
![Page 47: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/47.jpg)
A lift
A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém.
1. F: Drágám, ha én valakit szeretek, akkor mindent megteszek érte, és érted bármit megtennék. Hisz’ tudod!
![Page 48: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/48.jpg)
A lift
A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém.
2. F: Drágám, ha én valakit szeretek, akkor mindent megteszek érte. N: Nos, akkor megszerzed nekem a TS 2 dossziét? -- tér a lényegre a nő… F: Értsd meg, ezt nem tehetem… Az állásom, a becsületem, az életem…
![Page 49: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/49.jpg)
A lift
A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém.
3. F: Drágám, ha én valakit szeretek, akkor mindent megteszek érte. N: És tényleg szeretsz, Drágám? – akar egyértelmű helyzetet teremteni a nő… F: Hisz’ tudod, hogy mennyire!
![Page 50: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/50.jpg)
A lift
A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém.
4. F: Drágám, ha én valakit szeretek, akkor mindent megteszek érte. N: És tényleg szeretsz, Drágám? – akar egyértelmű helyzetet teremteni a nő… F: Hát…tudod, persze nagyszerű veled, de nekem ott a család…
![Page 51: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/51.jpg)
A lift
A magas kormányzati beosztású nős férfi intim hangulatban ostromolja a nőt. A nő csábító, fiatal és kém. Megválaszolandó kérdések mind a négy esetben:
a) Megszerzi a dossziét? b) Szereti?
![Page 52: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/52.jpg)
p⊃q q p
![Page 53: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/53.jpg)
p⊃q q p p⊃q ~p ~q
![Page 54: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/54.jpg)
Utótag állítása: p⊃q q p
Előtag tagadása: p⊃q ~p ~q
![Page 55: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/55.jpg)
Utótag állítása: p⊃q q p ÉRVÉNYTELEN!
Előtag tagadása: p⊃q ~p ~q
![Page 56: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/56.jpg)
Modus ponens: p⊃q p q
Modus tollens: p⊃q ~q ~p
![Page 57: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/57.jpg)
Modus ponens: p⊃q p q ÉRVÉNYES!
Modus tollens: p⊃q ~q ~p
![Page 58: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/58.jpg)
Ha gyorsul az infláció, drágulnak a hitelek. Ha drágulnak a hitelek, akkor viszont csökkennek a beruházások. Következésképpen ha a kormány és a jegybank nem tesz valamit az infláció ellen, akkor csökkenni fognak a beruházások.
![Page 59: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/59.jpg)
p⊃q q⊃r p⊃r
![Page 60: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/60.jpg)
p⊃q q⊃r ÉRVÉNYES! p⊃r
![Page 61: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/61.jpg)
Ha jó könyveket olvasol, akkor sokat tudsz. Ha jól vizsgázol, akkor nyilván sokat tudsz. Tehát ha jó könyveket olvasol, akkor jól vizsgázol.
![Page 62: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/62.jpg)
p⊃q r⊃q p⊃r
![Page 63: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/63.jpg)
p⊃q r⊃q ÉRVÉNYTELEN! p⊃r
![Page 64: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/64.jpg)
Ha meghízom, akkor depressziós vagyok. Ha pedig depressziós vagyok, akkor sokat eszem. Ha sokat eszem, akkor meghízom. Tehát mindenképpen meghízom.
![Page 65: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/65.jpg)
A budakeszi vagy a telki házat vesszük meg. Ha a budakeszit, akkor szenvedünk a felújítással. Ha a telkit, akkor sokat utazunk. Tehát a felújítással szenvedünk, vagy sokat utazunk.
![Page 66: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/66.jpg)
pvq p⊃r q⊃s r v s
![Page 67: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/67.jpg)
Konstruktív dilemma pvq p⊃r q⊃s ÉRVÉNYES! r v s
![Page 68: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/68.jpg)
- Nézze, a miniszter úr vagy tudott arról, hogy a légierő egy része országgyűlési felhatalmazás nélkül – törvénytelenül – külföldön tartózkodik, vagy nem tudott róla. Ha tudott róla, akkor hazudott, amikor azt állította a parlamenti vitában, hogy nem volt tudomása a külföldi hadgyakorlaton való részvételről; ha viszont nem tudott róla, akkor alkalmatlan miniszternek. Az ország védelme és katonai kapcsolatai szempontjából ilyen fontosságú ügyről a miniszternek tudnia kell. Tehát a miniszter úr vagy hazudik vagy inkompetens. Akár így, akár úgy van, a miniszternek le kell mondania.
![Page 69: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/69.jpg)
Példák: Smullyan, Raymond: Mi a címe ennek a könyvnek?
Margitay Tihamér: Az érvelés mestersége.
![Page 70: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/70.jpg)
Mit tanultunk eddig?
![Page 71: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/71.jpg)
Mit tanultunk eddig?
propozicionális logikát
![Page 72: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/72.jpg)
Mit tanultunk eddig?
propozicionális logikát
propozíció=állítás
nem néztünk a tagmondatok belsejébe, csak a
logikai kapcsolatuk érdekelt minket
![Page 73: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/73.jpg)
Predikátumlogika
![Page 74: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/74.jpg)
Predikátumlogika
Most belenézünk a tagmondat belsejébe –> gazdagabb képet kapunk
![Page 75: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/75.jpg)
p Minden magyar lány szép. q Babett magyar lány. r (Tehát) Babett szép.
![Page 76: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/76.jpg)
p Minden magyar lány szép. q Babett magyar lány. r (Tehát) Babett szép.
![Page 77: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/77.jpg)
p Minden magyar lány szép. q Babett magyar lány. r (Tehát) Babett szép.
Ez így érvénytelen…
![Page 78: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/78.jpg)
Predikátumlogika
gazdagabb nyelv kell:
Individuumkonstansok Individuumváltozók Predikátumkonstansok Predikátumváltozók
![Page 79: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/79.jpg)
Predikátumlogika
gazdagabb nyelv kell:
Individuumkonstansok Individuumváltozók Predikátumkonstansok Predikátumváltozók
![Page 80: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/80.jpg)
Predikátumlogika
Kata jól beszél angolul
pkgmvmi,de A nmeee
![Page 81: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/81.jpg)
Predikátumlogika
Kata jól beszél angolul
pkgmvmi,de A nmeee így fogjuk felírni:
Ak
![Page 82: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/82.jpg)
Predikátumlogika
Kata jól beszél angolul
pkgmvmi,de A nmeee így fogjuk felírni:
Ak egy argumentum van
![Page 83: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/83.jpg)
Predikátumlogika
Hogyan lehet két argumentum?
![Page 84: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/84.jpg)
Predikátumlogika
Hogyan lehet két argumentum?
Reláció
![Page 85: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/85.jpg)
Predikátumlogika
Hogyan lehet két argumentum?
Reláció
Debrecen nagyobb, mint Szolnok.
![Page 86: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/86.jpg)
Predikátumlogika
Hogyan lehet két argumentum?
Reláció
Debrecen nagyobb, mint Szolnok. Nds (dNs)
![Page 87: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/87.jpg)
Predikátumlogika
Hogyan lehet két argumentum?
Reláció
Debrecen nagyobb, mint Szolnok. Nds
Változóval: Nxy x nagyobb, mint y
![Page 88: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/88.jpg)
Predikátumlogika
Mi mindenre jók a változók?
KVANTOROS állítások
(kvantifikáció)
![Page 89: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/89.jpg)
Kvantorok
Mindenki jól beszél angolul.
![Page 90: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/90.jpg)
Kvantorok
Mindenki jól beszél angolul.
∀x(Ax)
![Page 91: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/91.jpg)
Kvantorok
Mindenki jól beszél angolul.
∀x(Ax) (minden x-re Ax)
univerzális kvantor
![Page 92: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/92.jpg)
Kvantorok
Van olyan, aki jól beszél angolul.
![Page 93: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/93.jpg)
Kvantorok
Van olyan, aki jól beszél angolul.
∃x(Ax) (létezik x, hogy Ax)
egzisztenciális kvantor
![Page 94: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/94.jpg)
Kvantorok
Van olyan, aki jól beszél angolul.
∃x(Ax)
![Page 95: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/95.jpg)
Kvantorok
Csak individuumváltozók felett kvantifikálunk!
elsőrendű logika
![Page 96: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/96.jpg)
Mondataink
Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. ∃x(Úx) zárt mondat
![Page 97: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/97.jpg)
Mondataink
Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. ∃x(Úx) zárt mondat
![Page 98: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/98.jpg)
Mondataink
Babett úszik. Úb mondat x úszik. Úx nyitott mondat Van olyan, aki úszik. ∃x(Úx) zárt mondat „Valaki úszik” helyes formalizálása: ∃x(Úx)
![Page 99: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/99.jpg)
Kategóriáink
Individuum: egyedi név, leírás Sándor, József, Benedek, a kedvenc zeném, Attila főnöke, az ország legnagyobb bankja
![Page 100: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/100.jpg)
Kategóriáink
Individuum: egyedi név, leírás Sándor, József, Benedek, a kedvenc zeném, Attila főnöke, az ország legnagyobb bankja
Predikátum: „tulajdonság”, reláció Úszik, páratlan szám, szép lány, tud angolul, nagyobb, szereti, testvérek
![Page 101: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/101.jpg)
Állítások fordítása predikátumlogikában
Kovács műszaki végzettségű építési vállalkozó. Péter szabadságra ment, de nem utazott el. János éhes marad, ha Kati nem főz vacsorát. Éhes marad, ha nem főz vacsorát. A legjobb autó is csak akkor működik, ha karbantartják. Ha megcsináltatja a fűtést és a csatornát, összkomfortos lakásban fog lakni.
![Page 102: kondicionális „jelentése” p q ~pvqphil.elte.hu/~markovich/ervelestechnika/2prez_16.pdfKövetkeztetés diszjunkcióval P1: Berlinben fúj a szél K: Berlinben fúj a szél vagy](https://reader034.vdocuments.pub/reader034/viewer/2022051822/5fecb468cd09f45bce7244e6/html5/thumbnails/102.jpg)
Állítások fordítása predikátumlogikában
Van remény. Vannak még jó emberek. Sok jó film van. Néhányan elkéstek. Néhányan félreértik a helyzetet. Nem mindenki érti a helyzetet. Semmi sem jó. Minden jó. Minden bálna emlős. Minden magyar lány szép.