Buenas quería saber si pueden ir para el parcial ejercicios de Teoría de Henkin, Extensión Conservativa.
Vi que en el práctico 9 de antes había un par de ejercicios de estos temas pero ahora no están más, van para el parcial esos temas?
Saludos
Hola.
Para el parcial van todos los temas vistos luego del primer parcial (todo lo de lógica de primer orden). (Aunque eso implica entender y recordar lo visto en la primera mitad del curso también). Los conceptos son los vistos en el teórico y los ejercicios son similares a los de práctico.
Saludos
Bárbaro, gracias.