Z logickej syntaxe a sémantiky (VIII)
20. Lambdaoperátor a jednoargumentové lambda-predikáty. V kapitole o predikátoch sme poukázali na rozmanitosť predikátových výrazov prirodzeného jazyka a na možnosť utvoriť predikát z ľubovoľného výroku odstránením niekoľkých výskytov niektorých jeho individuových mien.
More...