Predicate (mathematical logic) - Wikipedia
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