Предикат в логике и в программировании имеет разные значения.

В логике предикат — это всё, что сказано об объекте. 1 Например, объект может «гулять», «быть красным», «не гулять» — все эти характеристики объекта и являются предикатами. 1 В логике предикат — это высказывание, которое содержит в себе некоторую неопределённость, при этом о нём невозможно точно заявить, является ли он ложным или нет. 2

В программировании предикат — это определённая функция, с помощью которой некие элементы являются либо «истинными», либо «ложными». 1 Предикат в программировании — это выражение, использующее одну или более величину с результатом логического типа. 5

Таким образом, в логике предикат — это общее понятие, а в программировании — конкретное определение.