**Predicate (mathematical logic) - Wikipedia**
https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)

In logic, a predicate is a symbol which represents a property or a relation. For instance, in the first order formula (), the symbol is a predicate which applies to the individual constant.Similarly, in the formula (,), is a predicate which applies to the individual constants and .. In the semantics of logic, predicates are interpreted as relations.For instance, in a standard semantics for ...

**DA:** 75 **PA:** 39 **MOZ Rank:** 37