1. Relación de Consecuencia en Lógica de Primer Orden

La relación de consecuencia no solo pertenece a la Lógica de Primer Orden, sino que ya en la lógica proposicional previamente vista aparecía como uno de los conceptos más importantes.

Definimos relación de consecuencia como la correspondencia entre un conjunto de fórmulas (representadas por medio del símbolo Γ) y una fórmula concreta (denominada como A). Esto, expresado en lenguaje de símbolos, queda del siguiente modo: Γ⊨A si y Seguir leyendo “Conceptos Fundamentales de Lógica de Primer Orden, Segundo Orden y Teoría de Conjuntos” »