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
história da versão
- Versão 1.5 postado em 2015-05-07
Melhor exibição
Detalhes do programa
- Categoria: Educação > Ferramentas de Ensino & Treinamento
- Editor: Laurent Théry
- Licença: Livre
- Preço: N/A
- Versão: 1.5
- Plataforma: android