Predikato (matematikala logiko)

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