Metalógica Cuantificacional
Examen 3
Nombre
______________________________________________________
- Una
prueba en SQ es una secuencia ________________ de fórmulas de Q, cada una
de la cuales es o bien un ______________ de SQ u obtenida por MP.
- Un
teorema de SQ es cualquier fórmula en una __________________ en SQ.
- Una
derivación de A a partir de G en SQ es como una prueba de
A en SQ, con la adición de que en la secuencia pueden aparecer _______________________.
- Un
conjunto G
es inconsistente si tiene como consecuencia sintáctica, para alguna fórmula
A, tanto _______________ como ___________________.
- SQ
tendría consistencia simple sii no hubiera fórmula A tal que tanto ella
como ~A son
teoremas. SQ tendría consistencia
absoluta si al menos una fbf de Q
no fuera teorema. ¿Qué tipo de
consistencia tiene SQ? __________________________________
- El
teorema 43.6 (compacidad) nos dice que si A es una consecuencia sintáctica
en SQ de G,
entonces lo es de un _________________
________________ de G.
- Suponga
que G
es el conjunto de enunciados de la teoría existencialista sartreana y que
añadir la proposición “No hay libre albedrío”, simbolizada como ~A arroja
un conjunto inconsistente. Entonces,
por el Teorema de la Deducción, de la teoría existencialista sartreana podemos
derivar tanto _______________________ como ______________________ para
alguna fbf B. Y eso indica que
podemos derivar ______________________________ de la teoría
existencialista sartreana.
- Una
teoría de primer orden puede añadir ____________________________ al
lenguaje de Q, así como ________________________ a SQ.