Debe ser cerrada con respecto a lo que se puede deducir de ella.
Inicialmente vamos a modelar esta noci´ on en l´ ogica de primer orden. ◮
IIC2213
–
Tambi´en vamos a considerar l´ ogicas de mayor orden.
Teor´ıas
2 / 42
La teor´ıa de una estructura
Dada una estructura A sobre un vocabulario L, la teor´ıa de A se define como: Th(A) = {ϕ | ϕ es una L-oraci´ on tal que A |= ϕ} Th(A) satisface los principios antes enunciados:
IIC2213
–
◮
Th(A) no es inconsistente: A |= Th(A).
◮
Th(A) es cerrada bajo deducci´on: Si Th(A) |= ϕ, entonces ϕ ∈ Th(A).