Predikato
Predikato:
- por matematiko esas relato.
- por unesm-ordera logiko esas fundamentala konceptajo.
- por gramatiko uniono di du frazo-konstitucanta.
- por programigado esas operacanto o funciono qua retrodonas booleana valoro, vera o falsa, e predikato esas la selekto pri exekutar or ne exekutar ula instrukto apogata sur la kontenajo di mashino shibro.
- por tipo-teorio di Bertrand Russell esas akto di tipinta, to esas, asignas tipo. Definita deskripto fakte kontenas existo-revendiko.
 |
Ca pagino kreesis por ke vu povas selektar la korekta pagino inter samnoma pagini. Se tu venis en ca pagino tra ligilo, la ligilo devos chanjesar a la maxim exakta, por duktar tu direte a la korekta pagino. |