Go backward to ExampleGo up to TopGo forward to Conditional Terms and Formulas |

Result defined in multiple ways:

f(x_{0}, ...,x_{n-1}) :=T_{0},ifFT_{1},otherwise

Translation:

f(x_{0}, ...,x_{n-1}) :=ifFthenT_{0}elseT_{1}

*Introduction of a new kind of terms.*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999