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

WebIn 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 …

**DA:** 51 **PA:** 37 **MOZ Rank:** 98