Changes

Enquanto é possível usar Maple para provar uma identidade pela força bruta, isto é, checando cada valor possível das variáveis, o pacote '''logic''' oferece uma solução mais elegante.

Como um exemplo disto, vamos usar o Maple para provar a identidade

e formular nossas expressões usando operadores inertes.

<pre>with(logic): # don't forget to define 'bequal'.