Trailer e Screenshots
Deductum
Avaliações Insuficientes para mostrar um resultado
Sobre o Deductum
Neste jogo minimalista, você recebe um conjunto de premissas e uma conclusão, e sua tarefa é usar as regras fundamentais da lógica para provar formalmente, passo a passo, que a conclusão se segue.
Os tutoriais apresentam o mundo das provas e a mecânica do jogo. Os primeiros problemas são simples, mas a dificuldade aumenta gradualmente até que você nem saiba por onde começar. Ainda assim, todo problema tem uma solução, e se você pensar profundamente, nunca precisará adivinhar!
-
Controles simples. Sem temporizadores. Sem distrações. Apenas lógica.
-
111 problemas para resolver, incluindo teoremas clássicos como as Leis de De Morgan e a Lei do Médio Excluído
-
Modo sandbox: insira qualquer afirmação (com os símbolos de proposição A – H) e veja se você consegue provar!
Requisitos de Sistema
- Requer um processador e sistema operacional de 64 bits
- SO: 7
- Processador: x86-64
- Memória: 2 GB de RAM
- Placa de vídeo: Full OpenGL 3.3 support or Direct3D 11 support
- DirectX: Versão 11
- Armazenamento: 200 MB de espaço disponível
- Requer um processador e sistema operacional de 64 bits
Downloads Disponíveis
Clique abaixo para carregar as opções de download e releases.
Comentários da Comunidade