predikaat predicate

Een logische uitdrukking met relationele operatoren die al dan niet waar is.