first-order-logic Definition Predicate (First-Order Logic) Let be an interpretation. For a predicate symbol , the interpretation assigns a relation