Go backward to Example Go up to Top Go forward to Conditional Terms and Formulas

Conditional Function Definitions

Result defined in multiple ways:

f(x0, ..., xn-1) := T0, if F

T1, otherwise

Translation:

f(x0, ..., xn-1) := if F then T0 else T1

Introduction of a new kind of terms.