100
edits
Changes
→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]]