1. Mantiq amallari: dizyunksiya,konyuksiya inkor

1,2,3-o’rinli predikatlar, predikatlarning qiymatlar va rostlik sohalari.

M to‘plamning a elementi haqida aytilgan tasdiqqa a ning o‘rniga M ning aniq bitta elementini qo‘ysak mulohaza hosil bo‘Isa, bunday tasdiqlami bir о ‘zgaruvchili mulohazaviy formula yoki bir o ‘zgaruvchili predikat deb ataymiz. n ta o‘zgaruvchilarga bog‘liq tasdiq berilgan bo‘lsin. U holda o‘zgaruvchilarning mazmunga ega bo‘ladigan qiymatlar to‘plami, shu o‘zgaruvchilarning yo‘l qo‘yiladigan qiymatlari sohasi deyiladi. Agar tasdiq o‘zgaruvchilaming yo‘l qo‘yilishi mumkin bo‘lgan har qanday qiymat - larida mulohazaga aylansa, n о ‘zgaruvchili predikat yoki n о ‘zgaruvchili mulohazaviy formula deyiladi. Bu yerda n = 0, 1, 2 va hokazo manfiy bo‘lmagan butun qiymatlar qabul qiladi. 0 o‘rinli predikat sifatida mulohaza tushuniladi.

• 
  to‘plamda aniqlangan bir o‘rinli R(x) predikat berilgan bo‘lsin, u holda R(x) predikatning inkori deb har qanday element uchun R(x) predikat rost boiganda yolg‘on bo‘ladigan; R(x) yolg‘on bo‘lganda rost bo‘ladigan predikatga aytiladi. Ya’ni M ning ixtiyoriy elementi uchun tenglik o‘rinli bo‘ladi.
  

Xuddi shunday to‘plamda aniqlangan P(x) va Q(x) bir o‘rinli predikatlar uchun amallari quyidagi tengliklar yordamida aniqlanadi:

• 
  to‘plamda aniqlangan R(x) predikat berilgan bo‘lsin, u holda R(x) predikatni rost mulohazaga aylantiradigan x ning M to‘plamga tegishli barcha elementlarini orqali belgilaymiz. ni R(x) predikatning rostlik sohasi deyiladi. ifoda, M to‘plamning barcha elementlari uchun R(x) rost bo‘lganda rost, M to ‘plamning kamida bitta x0 elementi uchun yolg‘on bo‘lganda yolg‘on bo‘ladigan mulohazadir. Bu yerdagi belgi umumiylik kvantorini bildiradi. mulohaza bo‘lib, M to ‘plamning kamida bitta x0 elementi uchun rost bo‘lganda rost, qolgan hollarda, ya’ni M to'plamning barcha elementlari uchun R(x) yolg‘on bo‘lganda yolg'on bo'ladigan mulohazadir.
  

4.