Diagrama (lógica matemática)

---

En la teoría de modelos , una rama de la lógica matemática , el diagrama de una estructura es un concepto simple pero poderoso para probar propiedades útiles de una teoría , por ejemplo, la propiedad de fusión y la propiedad de integración conjunta , entre otras.

Sea un lenguaje de primer orden y termine una teoría . Porque un modelo de uno se expande a un nuevo idioma${\ Displaystyle {\ mathcal {L}}}$${\ Displaystyle T}$${\ Displaystyle {\ mathcal {L}}}$ ${\ Displaystyle {\ mathfrak {A}}}$${\ Displaystyle T}$${\ Displaystyle {\ mathcal {L}}}$

agregando un nuevo símbolo constante para cada elemento en , donde es el dominio de . Ahora uno puede expandirse al modelo.${\ Displaystyle c_ {a}}$${\ Displaystyle a}$${\ Displaystyle A}$${\ Displaystyle A}$${\ Displaystyle {\ mathfrak {A}}}$${\ Displaystyle {\ mathfrak {A}}}$

El diagrama de es el conjunto de todas las oraciones atómicas y negaciones de las oraciones atómicas que se mantienen . ^{[1] [2]}${\ Displaystyle {\ mathfrak {A}}}$${\ Displaystyle {\ mathcal {L}} _ {A}}$${\ Displaystyle {\ mathfrak {A}} _ {A}}$

---