Os dejo un editor de lenguajes lógicos que recomendó Amparo Díez en "mi año":
logica.unarduinoenfilosofia.xyz/
Es muy útil para cortar y pegar y poder escribir en los foros (en este o en el oficial):
δψφ →├ ↔ ¬
┌
│
│
└
Para mí lo más complicado de Lógica es que, al menos para mí, es o todo o nada... o sabes operar o no sabes operar... creo que en general las notas son altas por eso, porque una vez que sabes operar no tiene misterio... el misterio es saber llegar a operar... y en Lógica II (Lógica de predicados) como apunta Raven, lo más difícil es formalizar correctamente... o por lo menos eso es lo que pienso yo. Además, muchas veces te dan un argumento que tienes que formalizar y luego operar con él... si no lo sabes formalizar... por muy bien que operes, a ver sobre qué operas.
Lo que quiero decir es que aquí no vale arriesgar preparando más unos temas que otros... y difícilmente vas a poder aplicar los conocimientos de otras asignaturas... Si conoces el sistema de de Hegel, vas a poder enfrentarte a Hegel en Estética, en Teoría del Conocimiento, en Metafísica, en Filosofía de la Historia, en Historia de la Filosofía Moderna... y seguro que me dejo alguna... pero en Lógica tienes los recursos de la asignatura de Lógica... y punto. Y además los necesitas todos...
De nuevo os digo que no os desaniméis, que solamente se trata de trabajar, aunque sea una manera de trabajar diferente a la de las otras asignaturas... también es verdad que es muy gratificante cuando te das cuenta un día, de pronto, de que te salen los ejercicios... de pronto TE SALEN... y tú pensabas que esto no era para ti...
En fin, que las notas hagan justicia a nuestro esfuerzo.
Buen fin de semana