Model (matematik mantiq)
Matematik mantiqda model — muayyan aksiomalar sistemasining modelli obyektlari boʻlib, xossalari va ular oʻrtasidagi munosabatlar muayyan aksiomalarni qanoatlantiradi.[1]
Manbalar[tahrir | manbasini tahrirlash]
 | Bu maqola birorta turkumga qoʻshilmagan. Iltimos, maqolaga aloqador turkumlar qoʻshib yordam qiling. (Aprel 2024) |