a predicate represents a property or relation. it can be seen as a total function whose range is where 1 denotes membership of the relation and 0 otherwise.
a predicate represents a property or relation. it can be seen as a total function whose range is where 1 denotes membership of the relation and 0 otherwise.