Predikato

Ica artiklo bezonas revizo da ula persono qua konocas ambe Ido, ed ica temo ciencala, teknologiala, matematikala, filozofiala, sportala, edc. Ka vu povas helpar ni revizar ol?

Predikato:

• por matematiko esas Korespondado o 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.