Чем отличается предикат в логике от предиката в программировании?

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

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

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

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