Wikipédia

„Logikai grammatika” változatai közötti eltérés

Laptörténet interaktív böngészése
[ellenőrzött változat][ellenőrzött változat]
← Régebbi szerkesztésÚjabb szerkesztés →
Tartalom törölve Tartalom hozzáadva
VizuálisWikiszöveges
aNincs szerkesztési összefoglaló
103. sor:
szimbólumsort.
 
Természetes nyelvben a '… halandó' predikátum megnevezését a 'ság'-'ség' képzővel képezzük: 'halandóság' vagy még hozzátesszük: 'mint olyan', például 'a halandóság mint olyan', 'az igazság, mint olyan', 'a lóság mint olyan' (a '… ló' predikátum megnevezése), vagy 'az összeadás mint olyan' (ezesetbenez esetben a formális kifejezés: (λx<sub>1</sub>)(λx<sub>2</sub>)(x<sub>1</sub>+x<sub>2</sub>) ). A lambda-operáció is egy változót lekötő operátor.
:''Lásd bővebben: [[lambdakalkulus]].''
* '''Deskriptor operátorok''' – A deskriptor operátorok egy mondatkimenetű funktorból készítenek egy nevet, melynek jelentése '''határozott deskripció''' esetén "az az egyetlen dolog, mely rendelkezik a funktor által megkövetelt tulajdonsággal", '''határozatlan deskripció''' esetén pedig "egy olyan dolog, mely rendelkezik a funktor által megkövetelt tulajdonsággal".
112. sor:
:''Lásd még: [[deskripciók]]''
 
* '''OsztályabsztracióOsztályabsztrakció''' – Az osztályabsztrakció egy olyan operátor, mely predikátumból készít névkimenetű funktort. Szándékolt jelentése: "Azon individuumok összessége, melyre a predikátum igaz".
 
Példa: Ha ''P(x)''-szel jelöli az ' ''x'' halandó' predikátumot, akkor
A lap eredeti címe: „https://hu.wikipedia.org/wiki/Logikai_grammatika”