== '''1.Funções Booleanas''' ==
No Maple, há um construtor do tipo '''booleano''', isto é, um tipo de variável que pode ser usada para representar valores booleanos. Existem apenas dois valores booleanos e no Maple eles são representados pelos literais '''true''' e '''false'''. Para o Maple, estes são dois valores constantes, assim como o numero '''2''' ou a matriz identidade 3x3 são constantes. Se você atribuir alguma dessas duas constantes para uma variável então o valor da variável será um valor constante.
<pre>¬( ¬ ( a ) );</pre>
Não é simplesmente '''a'''.
== '''1.1. Um Avaliador Booleano''' ==