Construa uma prova, uma linha justificada de cada vez - cada passo deve seguir o que já está no livro-razão, e qualquer salto lógico será descartado.
Como jogar
O painel esquerdo mostra a figura, os dados e o objetivo. O centro é um livro-razão de duas colunas com declarações e justificativas que você constrói. Do conjunto de etapas candidatas, adicione uma de cada vez; uma etapa só é aceita quando seus pré-requisitos já estão comprovados. Derive o objetivo para completar a prova.
Clique em uma etapa candidata para tentar adicioná-la ao razão
As etapas são bloqueadas até que suas linhas de pré-requisito sejam estabelecidas
Saltos inválidos são rejeitados, às vezes com um contra-exemplo
Alcance a meta em menos linhas, com menos dicas, para obter uma pontuação mais alta
Modos de jogo
Diariamente: uma prova fixa compartilhada todos os dias
Prática: novos problemas randomizados
Controles
Desktop: clique nas etapas do pool para adicioná-las; Desfazer, Dica e Novo estão na barra de ferramentas
Telefone e tablet: toque em uma etapa para adicioná-la e toque nos botões da barra de ferramentas (mouse ou toque apenas)
Dicas e estratégia
Avance a partir dos dados - procure a etapa cujos pré-requisitos você já possui no livro-razão
Use dicas com moderação; cada um coloca a próxima linha canônica, mas diminui sua pontuação final
O que você aprenderá
O lema ensina prova dedutiva rigorosa, garantindo que cada passo é justificado.
Lemma é um jogo de lógica de navegador gratuito e original que ensina provas dedutivas rigorosas, obrigando que cada afirmação seja justificada por linhas anteriores, assim como exige uma prova geométrica real de duas colunas.
Um jogo original e gratuito no seu navegador — sem downloads. Ver todos os jogos →
