В вычислениях предикаты - это функции, возвращающие логические значения, True или False. Некоторые языки и фреймворки относятся к ним особым образом.
True
False
См. Также Википедию.
Есть альтернативные (и, возможно, более распространенные) значения. См. Википедию.