Com Símbolos, aprender dedução natural e as regras de inferência pode ser feito em seu dispositivo móvel. Se você é completamente novo no estudo da lógica ou quer uma atualização sobre as regras de inferência, nossos Studycards ajudam você a aprender e revisar; e nossas Atividades ajudam você a melhorar e praticar suas habilidades.

Nossos Studycards incluem: Modus Ponens, Modus Tollens, Silogismo Disjuntivo e muito mais.

Nossas Atividades incluem:

1. Validade: A validade usa sorrateiramente a repetição para ensinar ao aluno as regras de inferência. Vamos ser sinceros, a repetição funciona de forma eficaz, mas muitas vezes pode parecer uma tarefa árdua. A forma como a Validity lhe dá a vantagem da repetição enquanto minimiza sua desvantagem é apresentando a você novos argumentos que já foram “resolvidos”. Em seguida, você precisa determinar se a solução aplicou todas as etapas corretamente. A repetição está no centro da construção de habilidades, mas para minimizar a sensação de “encerar e depilar” até que o aluno esteja entediado e frustrado, o estímulo é novo e a parte que mais parece trabalho já está definida para você. Tudo o que você precisa fazer é determinar se as etapas foram aplicadas corretamente.

2. Justificativa: A justificação oculta pelo menos uma parte de uma etapa do aluno, forçando o usuário a descobrir qual parte ou partes estão faltando e como elas se encaixam no quadro maior do que é fornecido. Enquanto a validade aumenta sorrateiramente sua repetição, a justificação atrai sua criatividade com o que parece um quebra-cabeça. Isso visa não apenas manter o aluno engajado, mas aprofundar sua compreensão das regras e, mais precisamente, sua aplicação dentro de um argumento.

3. Inferência: A inferência fornece ao usuário apenas um conjunto de premissas e uma conclusão final. No momento em que o aluno chega à Inferência, suas rodas de treinamento estão completamente desligadas, e tudo o que ele aprendeu anteriormente deve ser usado para construir mentalmente um argumento válido com o que é fornecido ou chegar à conclusão de que não se pode extrair validamente. O que normalmente se completa com papel e lápis se completa na velocidade do pensamento.

4. Tradução: A tradução ajuda o aluno a traduzir declarações com palavras e frases indicadoras em declarações lógicas. Palavras e frases indicadoras são comumente usadas em livros e cursos de lógica para ajudar o aluno a ter uma "senso" de como traduzir uma declaração em uma linguagem humana em uma declaração em lógica. A tradução os divide em um conjunto de níveis e permite que o usuário defina novas pontuações à medida que atinge novos níveis de proficiência.