100
edits
Changes
Jump to navigation
Jump to search
no edit summary
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 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> ao invés de <math>'''and'''</math> e <math>'''¬'''</math> ao invés de <math>'''not'''</math>. Em seguida, vão alguns exemplos do uso de operadores booleanos inativos:
[[File:imagem1.png]]
