previous up next
Go backward to Conditional Function Definitions
Go up to Top
Go forward to Example
RISC-Linz logo

Conditional Terms and Formulas

Definition: conditional term

(if F then T0 else T1)

Definition: conditional formula

(if F then F0 else F1)

Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next