English Predicate (mathematical logic) Cited by user Botterweg14 on 13 Aug 2021 In logic, a predicate is a non-logical symbol which represents a property or a relation.