previous up next
Go backward to Example
Go up to Top
Go forward to Such Quantifier
RISC-Linz logo

Implicit Function Definitions

Result defined by a formula F:

Let f(x0, ..., xn-1) be a y such that F.


f(x0, ..., xn-1) := such y: F

Introduction of a new kind of terms.

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next