Almudena escribió:
La verdad es que wn lógica de predicados lo más difícil, con diferencia, es la formalización. La deducción natural me resultó más fácil que en lógica I porque la mecánica ya está cogida y porque con cuantificadores hay cosas que se ven más claras. Eso sí, me parece más conveniente cursar las dos el mismo año.
Sí, sé que es lo más difícil, y ahí está el problema que con Amparo se hacían cantidad de ejercicios y variados, y ahora en dos semanas sólo 10 formalizaciones bastante simples, yo lo que hago es echar mano también de la bibliografía complementaria para ejercicios.
No me matriculé de las dos porque lo hice a última hora con el semestre empezado, no tenía ni idea de lógica, y había leído que era una asignatura difícil, por eso pensé que no llegaba a febrero, pero el exámen me resultó muy fácil, de todas formas me gusta bastante y no he abandonado la lógica desde entonces.