Semana del 10 de Octubre

Lecturas:

Capítulo 5 (Guía de Metalógica): Relaciones entre la semántica de P y el aparato deductivo SP (hasta p. 65 – Paso a paso. Leer sólo la estrategia de la prueba de Completitud).

Temas: 

1- Prueba del Teorema de la Deducción de SP.
2- Prueba de Corrección SP.
3- Prueba de Completitud de SP.

Actividades

* ¿Qué diferencias encuentra entre el Teorema de la deducción y el Teorema de Corrección?
* ¿Qué es un método efectivo (def 5.2)? Con qué concepto puede vincularlo?
* Qué conjuntos pueden ser enumerados efectivamente? Con qué resultado anterior relaciona este resultado?
* Qué relación hay entre la consistencia y la satisfacibilidad (tener modelo) de un conjunto de fórmulas?
* Qué es un modelo?
* Hacer el ejercicio 5.1 (1 – 14)

Leave a Reply

Your email address will not be published. Required fields are marked *