![](/statics/img/blank.png)
Natural Deduction 1.5
Licença: Livre Tamanho do arquivo: 1.15 MB
Classificação dos usuários: 0.0/5 - 0 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre Natural Deduction
Jogue com este aplicativo e construa algumas provas em estilo de dedução natural. Clicar em uma fórmula expande-a automaticamente com possíveis regras. As suposições são impressas em azul. Um deles gera um novo subtree. Anexar duas árvores é feito arrastando a raiz da primeira para a folha do segundo. Se houver apenas uma possibilidade, este anexo é realizado automaticamente. A prova é feita quando a árvore é cercada por um retângulo vermelho.
Divertir-se! Lógica é divertido