previous up next
Go backward to Operational Interpretation
Go up to Top
Go forward to Syntax of Atomic Formulas
RISC-Linz logo

Predicate Constants

Definition: Predicate Constant.

Example:


Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next