Symbols: Learn Logic

Aprende lógica con Symbols, la app que enseña deducción natural y las reglas de inferencia de forma intuitiva y accesible. Nuestras exclusivas Studycards incluyen pictogramas visuales y ejercicios interactivos paso a paso que te permiten comprender cada regla fácil y rápidamente. Después, desafíate con actividades diseñadas específicamente para practicar esas reglas, desarrollando tus habilidades progresivamente y fijándolas en tu memoria al completar cada nivel.

Para recalcar, las Studycards te ayudan a aprender y repasar, mientras que las Activities te ayudan a practicar y poner a prueba tus habilidades de forma lúdica.

¿Por qué Symbols?

Studycards completas: Aprende reglas esenciales como Modus Ponens, Modus Tollens, Silogismo Disyuntivo y muchas más mediante explicaciones y ejemplos claros. Perfectas para estudiantes y cualquiera que busque comprender la lógica formal.

Actividades interesantes para el dominio de habilidades:

Validez: Agudiza tu pensamiento crítico evaluando argumentos pre-resueltos. Esta actividad única ofrece los beneficios de la repetición sin el tedio, ayudándote a aplicar, reconocer y familiarizarte con las reglas de inferencia.

Justificación: Pon a prueba tu comprensión con escenarios tipo rompecabezas donde deduces los pasos faltantes de un argumento. Esto profundiza tu comprensión y refina la aplicación de las reglas lógicas en argumentos complejos.

Inferencia: En esta etapa, el estudiante debe aprovechar todo lo aprendido hasta el momento. Su tarea es construir mentalmente un argumento válido a partir de lo que se le proporciona, o reconocer que no se puede formar ningún argumento válido. Lo que normalmente se resolvería lentamente en papel ahora se hace a la velocidad del pensamiento.

Traducción: La traducción ayuda a los estudiantes a practicar la conversión de enunciados con palabras y frases indicadoras en una forma lógica. Estas palabras indicadoras, comunes en libros y cursos de lógica, les dan a los estudiantes una idea de cómo traducir el lenguaje cotidiano a la lógica formal. La traducción divide este proceso en niveles, lo que permite a los estudiantes seguir su progreso y obtener nuevas puntuaciones a medida que mejoran su dominio.

Descarga Symbols gratis y comienza tu viaje hacia la lógica formal. Tu acceso gratuito incluye el primer nivel de cada actividad y la tarjeta de estudio Modus Ponens, imprescindible para empezar. Para acceder a contenido y funciones más avanzados, simplemente usa nuestras compras integradas para seguir desarrollando tus habilidades lógicas.

¡Empieza ya tu aventura para dominar las reglas de la inferencia!