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
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 e Formação
- Editor: Laurent Théry
- Licença: Grátis
- Preço: N/A
- Versão: 1.5
- Plataforma: android