99 820
szerkesztés
a
Robot: Automatikus szövegcsere (-<sub>2<sub> +<sub>2</sub>)
a (Ré 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: (λ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".
| |||