Hatásköri kétértelműségek Kvantifikáló kifejezések: Néhány lány =>  x(x lány  …) Minden fiú =>  x(x fiú  …) Két prímszám=>  x  y( x prímszám  y.

Slides:



Advertisements
Hasonló előadás
Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
Advertisements

Kondicionális Eddig: Boole-konnektívumok ( , ,  ) Ezek igazságkonnektívumok (truth-functional connectives) A megfelelő köznyelvi konnektívumok: nem.
Egyszerű LL grammatika.  Definíciók  Példa. Ábrákkal  MASM program (szó felismerése LL(1) –ben )
Matematikai logika.
É: Pali is, Pista is jól sakkozik. T: Nem igaz. É: Bizonyítsd be. Mi nem igaz? T: Nem igaz, hogy Pali jól sakkozik. Nyertem É: Pali vagy Pista.
Többtáblás lekérdezések, allekérdezések Rózsa Győző
A ÉVI ORSZÁGOS KOMPETENCIAMÉRÉS ISKOLAI EREDMÉNYEI.
LéptetésVHDL A léptetés műveletek (Shift Operators) n Áttekintés n Példák.
Barwise-Etchemendy: Language, Proof and Logic
Kétértékűség és kontextusfüggőség Kijelentéseink igazak vagy hamisak (mindig az egyik és csak az egyik) Kijelentés: kijelentő mondat (tartalma), amivel.
Kocsisné Dr. Szilágyi Gyöngyi. Elérehet ő ség: aszt.inf.elte.hu/~szilagyi/ aszt.inf.elte.hu/~szilagyi Fogadó óra: hétf ő
Intervallum.
Algoritmusok Az algoritmus fogalma:
A szürke vizszintes csikok nem egészen vizszintesek…
MI 2003/7 - 1 Az egyesítési algoritmus Minden kapitalista kizsákmányoló. Mr. Smith kapitalista. Mr. Smith kizsákmányoló.
Testek - 3D ábrázolása síkban - 2D Horák György 2010.
Logika 5. Logikai állítások Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 10.
A bioszféra 2 kísérlet. A bioszféra 2 kísérlet.
Kombinatorika Gyakorló feladatok.
2012. tavaszi félév Véső Tamás Véső Tamás OE­NIK / 29.
Légköranalitika hangolható diódalézerrekkel Gyakran frekvenciamodulációt (FM / „heterodyne detection”) is alkalmaznak. TDLAS (Tunable Diode LAser Spectroscopy)
ELÉG MAGYAR MÉRNÖKÜNK VAN A GAZDASÁGI ÉS INNOVÁCIÓS KITÖRÉSHEZ? TAMÁS PÁL [MTA Szociológiai Kutatóintézet, Budapest]
Entropy Lawrence Sklar: Up and Down, Left and Right, Past and Future.
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Henkin-Hintikka játék (részben ismétlés) Alapfelállás: -Két játékos van, Én és a Természet (TW képviseli). - A játék tárgya egy zárt mondat: P. - Választanom.
Atomi mondatok FOL-ban Atomi mondat általában: amiben egy vagy több dolgot megnevezünk, és ezekről állítunk valamit. Pl: „Jóska átadta a pikk dámát Pistának”
Levezetési szabályok kvantorokra  -bevezetés (egzisztenciális általánosítás, EG)  -kiküszöbölés (univerzális megjelenítés, UI)  -kiküszöbölés (EI):
Nem igaz, hogy a kocka vagy tetraéder. Nem igaz, hogy a kicsi és piros. a nem kocka és nem tetraéder. a nem kicsi vagy nem piros. Általában: "  (A  B)
A kvantifikáció igazságfeltételei
„Házasodj meg, meg fogod bánni; ne házasodj meg, azt is meg fogod bánni; házasodj vagy ne házasodj, mindkettőt meg fogod bánni; vagy megházasodsz, vagy.
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
Vegyes kvantifikáció A kvantorcsere szerepe a Henkin-Hintikka játékban: l. Mixed Sentences, Kőnig’s World. Gyakorlás: 11.5 HF: 11.4, 11.9.
Levezetések gyakorlása: Balra Excercise Quantifier strategy 1. HF.: 13.21, 22. (Figyelni a feladatkitűzésre az előző oldalon!)
Kellenek-e kísérletek a nyelvészetben? É. Kiss Katalin NyTI február 25.
A feladat : Építsünk AVL-fát a következő adatokból:100,170,74,81,136,185,150,122,52,190,144 (Az AVL-fa olyan bináris keresőfa, amelynek minden csúcsára.
Véleménydetekció különböző szinteken Richard Farkas SZTE.
Fordítás természetes nyelvről FOL-ra Kvantifikáló kifejezések: Néhány/Egy F   x( F(x)  …) Minden G   x( G(x)  …) Két H   x  y( H(x)  H(y)  …)
FSF.hu Alapítvány Számítógéppel segített fordítás Tímár András FSF.hu Alapítvány.
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
Az egész számok szorzása
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Henkin-Hintikka-játék szabályai, kvantoros formulákra, még egyszer: Aki ‘  xA(x)’ igazságára fogad, annak kell mutatnia egy objektumot, amire az ‘A(x)’
Valószínűségszámítás II.
Szakértői Magyarázat Nézzék meg ezeket a tökéletes testeket: a lány gyönyörű és sovány, a fiú meg sportos fiatal.…. Nem kétséges, ezek csak németek lehetnek!
A természetes számok, A Venn-diagram
Mindenki kezet fogott mindenkivel.  x  y(x kezet fogott y-nal) Biztos? Ugyanez a probléma egy másik példán: Cantor’s World, Cantor’s Sentences. Az érdekesebb.
Tananyag: Barwise-Etchemendy: Language, Proof and Logic II. Quantifiers Weblap: Fogadóóra: H 15:30-17:00, i/226.
Szakértői Magyarázat Nézzék meg ezeket a tökéletes testeket: a lány gyönyörű és sovány, a fiú meg sportos fiatal.…. Nem kétséges, ezek csak németek lehetnek!
AGILE COCKTAIL – Shaken or stirred HWSW free!
Logika.
A Catalan-összefüggésről
Kifejezések C#-ban.
Analitikus fák kondicionálissal
Logika szeminárium Barwise-Etchemendy: Language, Proof and Logic
Kvantifikáló kifejezések a természetes nyelvben: ̒minden’, ̒némely’, ̒̒három’, stb. Ezek determinánsok, predikátumból (VP-ből) NP-t képeznek. Az elsőrendű.
Analitikus fák a kijelentéslogikában
78. óra Prímszámok Röp: 1. Az osztó definíciója. 2. Dönts el és indokold: a.) osztható-e 125-tel? b.)
Logika előadás 2017 ősz Máté András
Atomi mondatok Nevek Predikátum
Egyenletek.
FAZEKAS ANDRÁS ISTVÁN PhD c. egyetemi docens
Online keresés gyakorlása (teszt)
Többszörös kvantifikáció
Nulladrendű formulák átalakításai
a hét verse E.E. Cummings: bajza sándor
11.4. x y ((Small(x)  Large(y))  FrontOf(x,y))
Dr. Varga Beatrix egy. docens
Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
ALSONANA INTERNATIONAL FORUM
Online keresés gyakorlása (teszt)
Előadás másolata:

Hatásköri kétértelműségek Kvantifikáló kifejezések: Néhány lány =>  x(x lány  …) Minden fiú =>  x(x fiú  …) Két prímszám=>  x  y( x prímszám  y prímszám  …) Kétértelműség: melyik van kívül? Every cube is between a pair of dodecahedra. Minden kocka két dodekaéder között van. a./ Minden kockára igaz, hogy(van két dodekaéder, amelyek között van). b./ Van két dodekaéder, amelyre igaz, hogy (minden kocka közöttük van). A köznyelvi sorrend gyakran sugallja a valószínű olvasatot – de nem mindig. Gyakran a gyengébb olvasat a valószínűbb – de nem mindig.

Every cube to the right of a dodecahedron is smaller than it is. Minden kocka, ami jobbra van egy dodekaédertől, kisebb nála. a./ Minden kockára igaz, hogy (ha jobbra van egy dodekaédertől, akkor kisebb nála). Minden kockára igaz, hogy(bármely dodekaéderre igaz, hogy(ha [a kocka] jobbra van tőle, akkor kisebb nála)) b./ Van olyan dodekaéder, amelyre igaz, hogy (minden [kocka, amelyik jobbra van tőle] kisebb nála). Cube a is not larger than every dodecahedron. Az a kocka nem nagyobb, mint bármely dodekaéder. Itt a negáció és az univerzális kvantor hatókörének viszonyában van a kétértelműség. a./ Nem igaz, hogy (az a kocka nagyobb, mint bármely dodekaéder). b./ Minden dodekaéderre igaz, hogy( az a kocka nem nagyobb nála).

No cube is to the left of some dodecahedron. Egy kocka sincs balra egy dodekaédertől. a./ Nincs olyan kocka, amely (balra van egy dodekaédertől). b./ Van olyan dodekaéder, amelytől (egy kocka sincs balra). (At least) two cubes are between (at least) two dodecahedra. Két kocka két dodekaéder között van. a./ Van két kocka, amelyekre [külön-külön] igaz, hogy (két dodekaéder között vannak). b./ Van két dodekaéder, amelyekre igaz, hogy (van két kocka, amely közöttük van). Gyakorlás (kétértelműségekkel): HF:11.16 (Ezek nem (feltétlenül) kétértelmű mondatok!)