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

a
Robot: Automatikus szövegcsere (-<sub>2<sub> +<sub>2</sub>)
a ( szerkesztései visszaállítva Mozo utolsó változatára)
a (Robot: Automatikus szövegcsere (-<sub>2<sub> +<sub>2</sub>))
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' (ezesetben a formális kifejezés: (&lambda;x<sub>1<sub>)(&lambda;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".
99 820

szerkesztés