Go backward to Operational Interpretation Go up to Top Go forward to Quantified Formulas |
Predicate constant with the following properties, for all x, y, and z:
x = y => f(..., x, ...) = f(..., y, ...); x = y => p(..., x, ...) <=> p(..., y, ...).
First Order Predicate Logic with Equality.