Go backward to Conditional Function Definitions Go up to Top Go forward to Example

Conditional Terms and Formulas

Definition: conditional term

(if F then T₀ else T₁)

• Formula F, terms T₀ and T₁
• Result is T₀, if F holds, and T₁, otherwise.

Definition: conditional formula

(if F then F₀ else F₁)

• Formulas F, F₀, F₁.
• Result is F₀, if F holds, and F₁, otherwise.