I. Describa en sus propias palabras qué es cada uno de los
siguientes trozos de lenguaje, y dé un ejemplo interesante.
Tanto la descripción como los ejemplos deben ser originales
suyos y diferentes a los del libro.
1. Una variable de individuo.
2. Un término cerrado.
3. Una ocurrencia ligada de una variable.
4. Una fórmula atómica.
5. Una oración (fórmula cerrada).
II. Dada la explicación de "interpretación", explique
en sus propias palabras qué significa lo siguiente.
1. Un símbolo proposicional.
2. Una constante de individuo.
3. Un símbolo de función.
4. Un símbolo de predicado.
5. Un cuantificador.
III. Explique en sus propias palabras la satisfacción de una cuantificación universal.
IV. Explique la diferencia entre satisfacer y hacer verdad.
V. Suponga que la filosofía escolástica es el conjunto de sus afirmaciones. Explique qué sería un modelo de esa filosofía.
VI. Explique qué es una fórmula cuantificacional logicamente válida.
VII. Explique qué significa decir que "Lo bueno es bello" es una consecuencia semántica cuantificacional de la filosofía platónica.