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.
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.
Wirelogic é baseado na dedução natural, transformando regras formais de prova em um quebra-cabeça de fiação.
Partir de blocos de premissas e chegar a um objetivo escolhendo regras de inferência é a dedução formal, a prática que vai do silogismo de Aristóteles aos sistemas de prova modernos.
O detalhe de design que ensina algo é que uma regra só é acionada se suas entradas realmente se encaixam.
Essa é toda a diferença entre raciocinar e afirmar. Um argumento que parece certo mas não corresponde à forma de nenhuma regra válida é exatamente o erro que a lógica formal foi inventada para flagrar, e não conseguir forçar a conexão é mais instrutivo do que ser marcado como errado.
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.