Predikato
From Wikipedia
Ica pagino esas por explikar signifiko dil Homonima vorti. Se vu venabas en ca pagino tra ligilo, la ligilo devus chanjar plu exakta. |
Predikato:
- en matematiko esas korespondo e relaciono.
- en unesm-ordera logiko esas fundamentala koncepto.
- en gramatiko uno di du frazo-konstitucanta.
- en programo esas operacanto o funciono qua retrodonas booleana valoro, vera o falsa, e predikato esas selekto executar or ne donita instrukto bazita sur la kontenajo di mashino shibro.
- en tipo-teorio di Bertrand Russell esas akto di tipinta, to esas, asignas tipo. Definita deskripto en fakto kontenas existo-revendiko.