Az előadás letöltése folymat van. Kérjük, várjon

Az előadás letöltése folymat van. Kérjük, várjon

Levezetések gyakorlása: Balra Excercise 13.20 Quantifier strategy 1. HF.: 13.21, 22. (Figyelni a feladatkitűzésre az előző oldalon!)

Hasonló előadás


Az előadások a következő témára: "Levezetések gyakorlása: Balra Excercise 13.20 Quantifier strategy 1. HF.: 13.21, 22. (Figyelni a feladatkitűzésre az előző oldalon!)"— Előadás másolata:

1 Levezetések gyakorlása: Balra Excercise Quantifier strategy 1. HF.: 13.21, 22. (Figyelni a feladatkitűzésre az előző oldalon!)

2 Numerikus kvantorok A természetes nyelv determinánsai (kvantifikáló kifejezései): Olyan kifejezések, amelyekben két üres hely van egyargumentumú predikátumok számára. Az alkalmazás általános sémája: QAB Pl. ‘minden’, ‘némely’, ‘sok, ‘a legtöbb’, ‘kevés’ ‘három’, ‘legföljebb huszonöt’ stb. A FOL kifejezési lehetőségei: Legfeljebb egy P van. Pontosan egy P van:  x(P(x)   y(P(y)  x  y))  x(P(x)  y  (P(y)  x  y))  x(P(x)  y(P(y)  x=y))  x  y(P(y)  x=y)) Szokásos rövidítés:  !xP(x) Egzisztencia- és unicitáskvantor

3 Legalább két P van.  x  y(P(x)  P(y)  x  y) Rövidítés:   2 xP(x)   3 xP(x): könnyű. Pontosan két P van:   2 xP(x)    3 xP(x) Rövidítés:  !2 xP(x) Általánosságban:   n+1 xP(x)   x(P(x)    n y(P(y)  y  x)) Végtelen sok P van: Ezt nem lehet FOL-ban kifejezni. Gyakorlás: Whitehead’s Sentences. HF: 14.3


Letölteni ppt "Levezetések gyakorlása: Balra Excercise 13.20 Quantifier strategy 1. HF.: 13.21, 22. (Figyelni a feladatkitűzésre az előző oldalon!)"

Hasonló előadás


Google Hirdetések