Symbols: Learn Logic

Aprenda lógica com o Symbols, o aplicativo que ensina dedução natural e as regras de inferência de forma intuitiva e acessível. Nossos exclusivos Studycards apresentam pictogramas visuais e exercícios interativos passo a passo que permitem que você compreenda cada regra de forma fácil e rápida. Em seguida, desafie-se com atividades projetadas especificamente para praticar essas regras, desenvolvendo suas habilidades progressivamente e consolidando-as na memória a cada nível concluído.

Para enfatizar ainda mais, os Studycards ajudam você a aprender e revisar, enquanto as Atividades ajudam a praticar e testar suas habilidades de forma gamificada.

Por que o Symbols?

Studycards abrangentes: Aprenda regras essenciais como Modus Ponens, Modus Tollens, Silogismo Disjuntivo e muitas outras por meio de explicações e exemplos claros. Perfeito para estudantes e qualquer pessoa que queira entender a lógica formal.

Atividades envolventes para o domínio de habilidades:

Validade: Aprimore seu pensamento crítico avaliando argumentos pré-resolvidos. Esta atividade única proporciona os benefícios da repetição sem o tédio, ajudando você a aplicar, reconhecer e se familiarizar com as regras de inferência.

Justificativa: Desafie sua compreensão com cenários semelhantes a quebra-cabeças, nos quais você deduz etapas de argumentação ausentes. Isso aprofunda sua compreensão e refina sua aplicação de regras lógicas em argumentos complexos.

Inferência: Nesta fase, as rodinhas de apoio já foram retiradas e o aluno precisa se basear em tudo o que aprendeu até o momento. Sua tarefa é construir mentalmente um argumento válido a partir do que é fornecido — ou reconhecer que nenhum argumento válido pode ser formado. O que normalmente seria elaborado lentamente no papel agora é feito na velocidade do pensamento.

Tradução: A tradução ajuda os alunos a praticar a transformação de declarações com palavras e frases indicadoras em forma lógica. Essas palavras indicadoras, comumente encontradas em livros e cursos de lógica, dão aos alunos uma noção de como traduzir a linguagem cotidiana para a lógica formal. A tradução divide esse processo em níveis, permitindo que os alunos acompanhem seu progresso e obtenham novas pontuações à medida que desenvolvem proficiência.

Baixe Símbolos gratuitamente e comece sua jornada na lógica formal. Seu acesso gratuito inclui o primeiro nível de cada atividade e o cartão de estudo Modus Ponens, essencial para começar. Para conteúdo e recursos mais avançados, basta usar nossas compras no aplicativo para continuar desenvolvendo suas habilidades lógicas.

Comece sua jornada para dominar as regras de inferência agora mesmo!