|
In formal semantics a predicate is an expression of the semantic type of sets. An equivalent formulation is that they are thought of as indicator functions of sets, i.e. functions from an entity to a truth value. In predicate logic, a predicate can take the role as either a property or a relation between entities.
| ||||||||
|
| |||||||||
 |
|
| |