100
edits
Changes
→Método de prova
==Método de prova==
Embora o maple não possa receber teoremas e resultados de provas para esses teoremas, pode receber expressões lógicas e simplificadas ou determinar características tais como: se uma expressão booleana pode ser satisfeita ou se é uma tautologia. Para trabalhar com expressões lógicas no maple, precisamos usar alguns dos recursos oferecidos pelo pacote de '''logic'''(um assunto abordado de maneira mais aprofundada no capítulo 9).
Primeiramente examinaríamos os operadores lógicos: conjunção, disjunção, negação e implicação. Não existe (no Maple). Para estudar as condicionais, devemos trabalhar com os operadores booleanos inativos oferecidos pelo pacote '''logic'''. Todos esses são iniciados com o caracter '''mexpr''' <math>\&</math> , por exemplo: usamos <math>\&and</math> invés de <math>and</math> e <math>\¬</math> invés de <math>not</math>. Em seguida, vão alguns exemplos do uso de operadores booleanos inativos:
[[File:imagem1.png]]
Nos preocupamos agora em determinar como o maple simplifica expressões booleanas caso estejam combinadas. Começamos com um simples exemplo de dupla negação:[[File:imagem2.png]]
Isto pode ser simplificado através do uso da função '''bsimp''' do maple.