Teoría de Primer Orden
- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
Un conjunto de fórmulas expresadas en lógica de primer orden sobre una firma fija, cerrado bajo consecuencia lógica, que especifica propiedades que deben cumplirse en las estructuras de esa firma.
Teoría de Primer Orden
- Pure Mathematics -
Algebra Dictionary
Definición
Un conjunto de oraciones de primer orden en una firma fija — considerado tal cual o como generador de su clausura deductiva — cuyos modelos son las estructuras que satisfacen todas las oraciones del conjunto.