LÓGICA III
(METALÓGICA CUANTIFICACIONAL)
Examen 7
- Formalice en Q: “El sentido
de la vida es uno”.
- Defina con pura lógica el
número 1 o explique por qué no se puede.
- ¿Cuál es la paradoja de Skolem?
- Mencione dos relaciones
no triviales entre la lógica de predicados de primer orden y la
silogística.
- Mencione una propiedad
metalógica del cálculo de predicados monádico que lo haga especial.
Regresar a la página del curso: www.filosoficas.unam.mx/~morado/Cursos/1Meta/meta.htm
Regresar a la página de Raymundo Morado
Regresar a la página principal del Instituto de Investigaciones
Filosóficas