Predikato (matematikala logiko)

De Wikipedio

Predikato en matematikala logiko es simbolo, qua reprezentas traito o relato.