Wirelogic
Conecte blocos de regras de inferência em um gráfico de prova, alimentando as instalações por meio de regras até que o nó de meta fique verde.
Como jogar
O tabuleiro começa com seus blocos de premissas e um objetivo. Escolha uma regra de inferência na paleta e clique nos blocos de entrada necessários; se couberem, a regra deriva um novo bloco conectado às suas entradas. Encadeie regras até chegar ao objetivo. Para provar uma implicação, adicione uma suposição e descarte-a com introdução de implicação.
- Escolha uma regra como modus ponens, introdução e ou eliminação
- Clique em seus blocos de entrada para derivar uma nova proposição
- Adicione uma suposição para provar uma implicação e, em seguida, aplique a introdução da implicação
- Ilumine o gol com o mínimo de regras possível para bater o par
Modos de jogo
- Diariamente: um quebra-cabeça fixo compartilhado todos os dias
- Prática: novos quebra-cabeças aleatórios
Controles
- Área de trabalho: clique em uma regra e, em seguida, clique nos blocos de entrada na tela; Desfazer, Cancelar regra, Limpar quadro e Novo estão disponíveis
- Telefone e tablet: toque em uma regra e nos blocos para conectá-los (mouse ou toque apenas)
Dicas e estratégia
- Trabalhe retroativamente a partir do objetivo para ver qual regra o produz e, em seguida, derive as entradas dessa regra
- Quando o objetivo é uma implicação, assuma seu antecedente antecipadamente e tente derivar o consequente antes de descarregar.
O que você aprenderá
Wirelogic é baseado na dedução natural, transformando regras formais de prova em um quebra-cabeça de fiação.
- Habilidades: dedução natural, lógica formal, regras de prova
- Melhor para: ensino médio/faculdade avançada
- Para pais e professores: dedução natural, prova formal.
Sobre a Wirelogic
Wirelogic é um jogo de lógica de navegador gratuito original construído sobre dedução natural, transformando regras formais de prova em blocos conectáveis para que a estrutura de um argumento válido se torne algo que você possa ver e construir.
Um jogo original e gratuito no seu navegador — sem downloads. Ver todos os jogos → /
