Extensión de booleanos

Suele ser más práctico trabajar con extensiones de cálculo lambda. Cada una tiene su nombre, su gramática, sus operaciones.

Veamos una extensión de booleanos, con los términos para los valores de verdad $\true$/$\false$ e $\ifthenelse{\ldots}{\ldots}{\ldots}$.