Metalógica Cuantificacional
Examen 2
Nombre
______________________________________________________
- Explique la diferencia
entre “s satisface A”, “A es verdadera para I”, y “A es lógicamente válida”.
- Diga
en sus propias palabras que el Modus Ponens para el condicional material
preserva la validez lógica (40.4).
- Diga
en sus propias palabras que A es lógicamente válida sii un cierre
cualquiera de A lo es (40.8).
- Dé
un ejemplo de aplicación o una instancia del metateorema 40.22: Existe un
método efectivo que, dada una fórmula cualquiera A de Q y un entero
positivo cualquiera k, permite establecer si A es k-válido o no lo es.
- Demuestre
el metateorema 40.4 o el metateorema 40.8. Puede usar metateoremas previos.