دیاگرام (منطق ریاضی)

در مدل تئوری، دیاگرام (Diagram) یا نگارهٔ یک ساختار، مفهومی ساده و در عین حال قوی برای اثبات ویژگی‌های مفید یک تئوری است. برای مثال، ویژگی ادغام (amalgamation property) و نیز ویژگی تعبیه متصل (joint embedding property).

تعریف فرمال دیاگرام

فرض کنید L یک زبان مرتبه اول باشد و T یک تئوری روی L باشد. به ازای یک مدل M از Τ، می‌توان L را به یک زبان جدید توسعه داد:

L_A := L ∪ {c_a: a∈A}

با افزودن یک نماد ثابت جدید c_a به ازای هر عنصر a در A، که A دامنه مدل M است. حال می‌توان M را به مدل زیر توسعه داد:

M_A := (M,a)_a∈A

دیاگرام M، مجموعه تمام جملات اتمی L_A و نقیض آن‌ها است، که در M_A برقرار هستند (قابل اثباتند).