Guía para estudiantes de Filosofía
Cómo estudiar lógica con IA: formalización, tablas y derivaciones
Pide la formalización con la notación de tu curso, genera tablas de verdad con el intérprete de código para verificar validez y practica derivaciones paso a paso con las reglas citadas a tus apuntes.
Paso a paso
- 1
Notación
Sube tus apuntes para usar las mismas reglas.
- 2
Formaliza
Pide la formalización y compárala con la tuya.
- 3
Tablas
Verifica validez con código.
- 4
Derivaciones
Paso a paso con la regla de cada línea.
Pruébalo en tu Box
Crea un Box para la materia, sube tus materiales y pega esto:
“Formaliza: "Si llueve, la calle se moja; la calle no está mojada; luego no llueve". Verifica su validez con una tabla de verdad generada con el intérprete de código y nombra la regla con mis apuntes.”
Lo que usarás de BrainBox
Grabaciones de clase
Las clases y seminarios, transcritos y citados al minuto.
Intérprete de código
Tablas de verdad y verificación de argumentos formales.
Búsqueda académica
Busca artículos académicos de filosofía con referencia.
