Changes

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 {\bf 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 {\bf implicação}. Não existe (no Maple). Para estudar as condicionais, devemos trabalhar com os operadores booleanos inativos oferecidos pelo pacote de {\bf logic}. Todos esses são iniciados com o caracter {\bf mexpr} $\&$ , por exemplo: usamos $\&{\bf and}$ ao invés de {\bf and} e $\&{\bf not}$ ao invés de {\bf not}. Em seguida, vão alguns exemplos do uso de operadores booleanos inativos: