![](/statics/img/blank.png)
Natural Deduction 1.5
Licença: Grátis Tamanho do arquivo: 1.15 MB
Classificação dos utilizadores: 0.0/5 - 0 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre Natural Deduction
Jogue com esta app e construa algumas provas em estilo de dedução natural. Clicar numa fórmula expande-a automaticamente com possíveis regras. As suposições são impressas em azul. Um deles selecionado gera uma nova subárvore. A fixação de duas árvores é feita arrastando a raiz da primeira para a folha da segunda. Se houver apenas uma possibilidade, este acessório é executado automaticamente. A prova é feita quando a árvore está rodeada por um retângulo vermelho.
Divertir-se! Lógica é divertida