Bajardi Abdimuminov. A qabul qildi Soipnazarov. J

n-o’rinli predikat va funksional simvollarni mos ravishda Pn va f n orqali belgilaymiz. Agar qaralayotgan signaturada standart simvollar foydalanilayotgan bo’lsa, masalan: qo’shish amali uchun +, tartiblash munosabati uchun ≤, bo’lish amali uchun /, constant uchun 0 va shu kabilar, u holda biz quyidagicha yozamiz: ={,+,0}, ={+,-,/0.1},

• n-o’rinli predikat va funksional simvollarni mos ravishda Pn va f n orqali belgilaymiz. Agar qaralayotgan signaturada standart simvollar foydalanilayotgan bo’lsa, masalan: qo’shish amali uchun +, tartiblash munosabati uchun ≤, bo’lish amali uchun /, constant uchun 0 va shu kabilar, u holda biz quyidagicha yozamiz: ={,+,0}, ={+,-,/0.1},

•  

Ta’rif 3. ∑ signaturali algebraik sistema U={A, ∑} deb bo’sh bo’lmagan A to’plamga aytiladi, bunda har bir n o’rinli predikat (funksional) simvolga A

• Ta’rif 3. ∑ signaturali algebraik sistema U={A, ∑} deb bo’sh bo’lmagan A to’plamga aytiladi, bunda har bir n o’rinli predikat (funksional) simvolga A
• to’plamda aniqlangan n-o’rinli predikat mos qo’yilgan. A to’plam {A, ∑} algebraik sistemaning tashuvchisi yoki universumi deb ataladi.

Ta’rif 4. ∑ dagi simvollarga mos keluvchi predikatlar va funksiyalar interpretatsiyalar deyiladi.Interpretatsiyalarni ham signaturaning mos simvollari bilan belgilaymiz. Ixtiyoriy constant simvolning interpretatsiyasi A to’plamning biror bir elementi bo’ladi. Algebraik sistemalar odatda U, B,… kabi harflar bilan, ularning tashuvchilari esa A, B,… kabi harflar bilan belgilanadi. Ko’p hollarda algebraik sistema o’rniga “algebraik” so’zi tushirib qoldirilib, sistema yoki struktura so’zi ishlatiladi.

• Ta’rif 4. ∑ dagi simvollarga mos keluvchi predikatlar va funksiyalar interpretatsiyalar deyiladi.Interpretatsiyalarni ham signaturaning mos simvollari bilan belgilaymiz. Ixtiyoriy constant simvolning interpretatsiyasi A to’plamning biror bir elementi bo’ladi. Algebraik sistemalar odatda U, B,… kabi harflar bilan, ularning tashuvchilari esa A, B,… kabi harflar bilan belgilanadi. Ko’p hollarda algebraik sistema o’rniga “algebraik” so’zi tushirib qoldirilib, sistema yoki struktura so’zi ishlatiladi.