Notas
1-La lógica de predicados y su lenguaje
- Ámbito de un cuantificador
- Constante (Predicado)
- Cuantificadores (Predicado)
- Dominio de una variable
- Formalización con predicados
- Lógica de predicados
- Predicado
2-La Deducción natural
- Regla de Eliminación del cuantificador existencial (E∃)
- Regla de eliminación del cuantificador universal (E∀)
- Regla de Introducción del cuantificador existencial (I∃)
- Regla de Introducción del cuantificador universal (I∀)
3-Verdad y falsedad en lógica de predicados
- Construcción de una interpretación en lógica de predicados
- Validación de un razonamiento vía comprobación que todas las interpretaciones hacen verdadera las premisas y hacen falsa la conclusión (encontrar contraejemplos) en la lógica de predicados
4-Formas formales
- Eliminación de cuantificadores existenciales ( eskolemización)
- Forma normal de Skolem (FNS)
- Fórmula formal prenexa