Question

what is predicate respectively​

Answer 1

$\huge\mathcal{Answer}$

_________________________

In mathematical logic, a predicate is commonly understood to be a Boolean-valued function P: X→ {true, false}, called the predicate on X. ... So, for example, when a theory defines the concept of a relation, then a predicate is simply the characteristic function (otherwise known as the indicator function) of a relation.