Symbols Logic

Desbloquee la lógica: aprenda la deducción natural y las reglas de inferencia.

Con Símbolos, el aprendizaje de la deducción natural y las reglas de inferencia se puede realizar en su dispositivo móvil. Ya sea que sea completamente nuevo en el estudio de la lógica o quiera refrescar las reglas de inferencia, nuestras Tarjetas de estudio lo ayudan a aprender y repasar; y nuestras actividades te ayudan a mejorar y practicar tus habilidades.

Nuestras Tarjetas de Estudio incluyen: Modus Ponens, Modus Tollens, Silogismo Disyuntivo, y muchos más.

Nuestras actividades incluyen:

1. Validez: la validez usa furtivamente la repetición para enseñar al estudiante las reglas de inferencia. Seamos realistas, la repetición funciona de manera efectiva, pero a menudo puede parecer una tarea. La forma en que Validity le brinda la ventaja de la repetición y minimiza su desventaja es al presentarle argumentos novedosos que ya han sido "resueltos". Luego debe determinar si la solución aplicó cada paso correctamente. La repetición está en el corazón del desarrollo de habilidades, pero para minimizar la sensación de "encender y decrecer" hasta que el estudiante se aburra y se sienta frustrado, el estímulo es novedoso y la parte que se siente más como trabajo ya está diseñada para usted. Todo lo que tiene que hacer es determinar si los pasos se aplicaron correctamente.

2. Justificación: la justificación oculta al estudiante al menos una parte de un paso, lo que obliga al usuario a averiguar qué parte o partes faltan y cómo encajan en el panorama general de lo que se proporciona. Mientras que Validity aumenta furtivamente tu repetición, Justification atrae tu creatividad con lo que parece un rompecabezas. Esto tiene como objetivo no solo mantener al estudiante involucrado, sino también profundizar su comprensión de las reglas y, más precisamente, su aplicación dentro de un argumento.

3. Inferencia: la inferencia proporciona al usuario solo un conjunto de premisas y una conclusión final. En el momento en que el estudiante llega a Inferencia, sus ruedas de entrenamiento están completamente apagadas y todo lo que aprendió previamente debe usarse para construir mentalmente un argumento válido con lo que se proporciona o llegar a la conclusión de que no se puede dibujar uno válidamente. Lo que normalmente se completa con papel y lápiz se completa a la velocidad del pensamiento.

4. Traducción: La traducción ayuda al estudiante a traducir declaraciones con palabras indicadoras y frases en declaraciones lógicas. Las palabras y frases indicadoras se usan comúnmente en libros y cursos de lógica para ayudar al estudiante a obtener un "sentido" de cómo traducir una declaración en un lenguaje humano a una declaración en lógica. La traducción los divide en un conjunto de niveles y permite al usuario establecer nuevos puntajes a medida que alcanza nuevos niveles de competencia.