Open main menu
Logic Wiki
Search
Changes
← Older edit
Newer edit →
Indução e Recursão Matemática
(view source)
Revision as of 14:27, 29 May 2016
1 byte added
,
14:27, 29 May 2016
→Método de prova
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]]
Marcielmanoel15
100
edits