II: Lógica de primer orden
- Page ID
- 103472
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)
- 5: Sintaxis y Semántica
- 5.1: Introducción
- 5.2: Idiomas de primer orden
- 5.3: Términos y Fórmulas
- 5.4: Legibilidad única
- 5.5: Operador principal de una Fórmula
- 5.6: Subfórmulas
- 5.7: Variables libres y oraciones
- 5.8: Sustitución
- 5.9: Estructuras para Lenguas de Primer Orden
- 5.10: Estructuras cubiertas para idiomas de primer orden
- 5.11: Satisfacción de una Fórmula en una Estructura
- 5.12: Asignaciones Variables
- 5.13: Extensionalidad
- 5.14: Nociones semánticas
- 5.15: Resumen
- 8: El Cálculo Secuente
- 8.1: Reglas y Derivaciones
- 8.2: Reglas proposicionales
- 8.3: Reglas del cuantificador
- 8.4: Reglas Estructurales
- 8.5: Derivaciones
- 8.6: Ejemplos de Derivaciones
- 8.7: Derivaciones con cuantificadores
- 8.8: Nociones teóricas de prueba
- 8.9: Derivabilidad y consistencia
- 8.10: Derivabilidad y los conectivos proposicionales
- 8.11: Derivabilidad y los cuantificadores
- 8.12: Solidez
- 8.13: Derivaciones con predicado de identidad
- 8.14: Validez con predicado de identidad
- 8.15: Resumen
- 9: Deducción natural
- 9.1: Reglas y Derivaciones
- 9.2: Reglas proposicionales
- 9.3: Reglas del cuantificador
- 9.4: Derivaciones
- 9.5: Ejemplos de Derivaciones
- 9.6: Derivaciones con cuantificadores
- 9.7: Nociones teóricas de prueba
- 9.8: Derivabilidad y consistencia
- 9.9: Derivabilidad y los conectivos proposicionales
- 9.10: Derivabilidad y los cuantificadores
- 9.11: Solidez
- 9.12: Derivaciones con predicado de identidad
- 9.13: Validez con predicado de identidad
- 9.14: Resumen
- 10: El teorema de la completitud
- 10.1: Introducción
- 10.2: Esquema de la Prueba
- 10.3: Completar Conjuntos Consistentes de Sentencias
- 10.4: Expansión Henkin
- 10.5: Lema de Lindenbaum
- 10.6: Construcción de un Modelo
- 10.7: Identidad
- 10.8: El teorema de la integridad
- 10.9: El teorema de la compacidad
- 10.10: Una prueba directa del teorema de la compacidad
- 10.11: El teorema de Löwenheim-Skolem
- 10.12: Resumen