Levezetések gyakorlása: Balra Excercise Quantifier strategy 1. HF.: 13.21, 22. (Figyelni a feladatkitűzésre az előző oldalon!)
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
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