Hay una forma de reprobar una pregunta de lógica que no tiene nada que ver con no saber: llegas a la respuesta correcta, escribes «es insatisfacible» o «la fórmula se sigue de las premisas», y el puntaje igual se queda a la mitad porque no mostraste por qué. En un ramo donde todo el contenido gira en torno a qué cuenta como una demostración, el resultado sin el camino casi no vale.

Esta guía es para quien rinde el examen de IIC2213 (Lógica para Ciencia de la Computación) en la UC. Un aviso antes de partir: no tengo el programa de tu semestre ni sé cómo armó la prueba tu profesor. Lo que sigue se apoya en un programa público de la cátedra del segundo semestre de 2015, así que es una estrategia de estudio y no una predicción de preguntas.

Qué cubría el programa que revisé, y por qué no es necesariamente el tuyo

El programa de IIC2213 del segundo semestre de 2015, que consulté el 8 de noviembre de 2026, plantea como objetivo introducir las lógicas formales, en particular la proposicional y la de primer orden, con sus métodos de deducción y demostración, y conectarlas con bases de datos, complejidad computacional e inteligencia artificial. Las unidades que lista son ocho: introducción; lógica proposicional; demostración mecánica de teoremas; computabilidad y complejidad; lógica de primer orden; teorías; programación en lógica con Prolog; y otros tópicos como modelos finitos y lógicas temporales.

Ese documento tiene ya varios años. Los temas de fondo cambian poco, pero la forma de evaluar, el orden y hasta qué unidades se alcanzan a ver dependen de la sección. Úsalo como mapa general y confirma todo con el programa vigente que te entregó tu profesor.

La fórmula de nota de ese programa: el examen no pesa siempre lo mismo

La parte más útil del documento para planificar es la evaluación: tres interrogaciones (I1, I2, I3) y un examen (E), con la fórmula NF = (I1 + I2 + I3 + 2·E − mín{I1, I2, I3, E}) / 4. Fíjate en lo que implica: el examen cuenta doble, pero a todas las notas se les resta la más baja, incluida la del examen si fue la peor. Con la escala de 1,0 a 7,0, los tres casos de abajo son cálculos míos aplicando esa fórmula, no notas reales de nadie.

La lectura práctica: si el examen es tu peor nota, pesa una sola vez; si no lo es, pesa dos. Un examen sólido puede rescatar un semestre irregular, pero una mala interrogación no se vuelve irrelevante, sino que se descarta solo cuando es la más baja. Lo remarco porque es fácil asumir que «el examen reemplaza todo», y con esa fórmula no es así. Verifica si tu sección usa la misma.

Mi tesis: aquí se evalúa justificar, no recordar

Mi postura es que el examen de lógica premia cadenas cortas y completas por sobre respuestas largas y vagas. Una definición bien aplicada, un paso de resolución con las cláusulas a la vista, una reducción dicha en dos líneas: eso vale más que tres páginas de intuición. Por eso conviene estudiar escribiendo, no releyendo.

Este enfoque le sirve a quien ya siguió las clases y siente que «lo entiende pero no le sale». A quien aún no distingue sintaxis de semántica le conviene volver primero a esa base, porque todo lo demás se apoya ahí.

Seis bloques y qué hacer con cada uno

Esta es mi propuesta de práctica, agrupando las unidades del programa de 2015:

• Lógica proposicional: arma tablas de verdad pequeñas y, para cada fórmula, decide si es satisfacible, válida o ninguna, y justifícalo con una asignación concreta.
• Resolución y Hilbert: practica llevar fórmulas a forma clausal y derivar la cláusula vacía a mano, anotando de qué cláusulas viene cada paso.
• Computabilidad y complejidad: debes poder explicar qué significa que un problema sea NP-completo y por qué SAT ocupa un lugar central; revisa los casos tratables como Horn y 2-SAT.
• Primer orden: traduce enunciados en español a fórmulas y al revés; es donde se pierden más puntos por cuantificadores mal puestos. Sirve repasar la lógica de primer orden desde su definición.
• Teorías e incompletitud: prepara el enunciado preciso del teorema de incompletitud de Gödel y qué hipótesis necesita, sin mezclarlo con completitud.
• Prolog: escribe a mano el resultado de unificar y de ejecutar pequeñas consultas, porque en papel no hay intérprete que te corrija.

Un ejemplo trabajado: refutar por resolución

Toma el conjunto de cláusulas {p ∨ q, ¬p ∨ r, ¬q ∨ r, ¬r} y pregúntate si es satisfacible. Resuelvo primero p ∨ q con ¬p ∨ r sobre la variable p y obtengo q ∨ r. Luego resuelvo q ∨ r con ¬q ∨ r sobre q y queda r (la repetición se simplifica). Por último, resuelvo r con ¬r y llego a la cláusula vacía. Conclusión: el conjunto es insatisfacible, y cada paso queda respaldado por las dos cláusulas de las que sale.

La versión que un corrector da por completa es exactamente esa: las cláusulas padre, la variable eliminada y el resultado. Si escribes solo «por resolución se llega a la cláusula vacía», demostraste que sabes el nombre del método, no que lo aplicaste.

El orden de los cuantificadores cambia el significado

En primer orden, el error clásico es mover un cuantificador sin notarlo. Con el predicado Q(x, y) = «x quiere a y», la fórmula ∀x ∃y Q(x, y) dice que todo el mundo quiere a alguien, y esa persona puede ser distinta para cada uno. En cambio, ∃y ∀x Q(x, y) dice que existe una sola persona a quien todos quieren. La segunda implica la primera, pero no al revés. Cuando practiques traducciones, escribe siempre un modelo pequeño que haga verdadera una fórmula y falsa la otra: es la justificación que un corrector espera ver.

Cómo repartir las semanas que te quedan

Si faltan unos diez días, propongo esto: los primeros tres, proposicional y resolución con ejercicios escritos a mano, hasta que derivar la cláusula vacía te salga sin mirar; los siguientes tres, primer orden y traducciones, que es donde más conviene corregir errores; dos días para complejidad e incompletitud, centrados en enunciados exactos; y los últimos dos para pruebas anteriores de tu sección con tiempo cronometrado. Si cursas también IIC2133, la guía de ese examen usa el mismo método de simular a mano. También tienes más guías para ramos de la carrera en el hub de guías para la UC.

Dudas para resolver con tu sección y cuándo conviene apoyo extra

Hay tres cosas que ningún programa antiguo te puede confirmar: si tu examen es acumulativo, si se permite hoja de fórmulas y cuánto pesa Prolog este semestre. Pregúntaselas a tu profesor o ayudante con tiempo.

Sobre apoyo externo, mi opinión es que sirve a quien ya tiene claro qué bloque le falla y necesita práctica guiada con soluciones comentadas. A quien aún no abrió el material del semestre no le resuelve nada. Si estás en el primer caso, el curso de Aromperla en Teachable es una opción de práctica ordenada para ramos de la UC; no reemplaza estudiar con el programa de tu sección ni las ayudantías.