CAMBIO DE SALÓN

El curso de TC - I se impartirá en el O-223 (12-13 Hrs)

Continuará LM - I en el O-223 (13-14 Hrs)

Tarea Examen II

Acá les dejamos la segunda tarea examen, para descargarla hacer click AQUÍ

En la pregunta 2 b), cambien la z por x, es decir, que lea "existe x para toda w (R(w,x))"

La pregunta 5 se modificó ya que la definición de que la ocurrencia de una variable en una fórmula fuera acotada no concordaba con la vista en clase. Ya se subió el pdf modificado. Por ello, la tarea se entrega el martes 4.

Abreviaturas de continuidad Aqui

Categoría de nivel principal o raíz: La Aldea de la Lógica