109
edits
Changes
Jump to navigation
Jump to search
→Dual
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
[[File:imagemimagem2.png|200px]]
e formular nossas expressões usando operadores inertes.
<pre>with(logic): # don't forget to define 'bequal'.
