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) |