1. Mantiq amallari: dizyunksiya,konyuksiya inkor

Kvantorlar yordamida predikatlardan mulohazalar hosil qilish.

• 
  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.
  

M to'plamning barcha elementlari uchun R(x) yolg‘on bo‘lganda yolg'on bo'ladigan mulohazadir. R(x, у ) butun sonlar to‘plami Z d a aniqlangan maznumidagi predikat bolsin, u holda:
— «ixtiyoriy ikkita butun son yig‘inidisi musbat boladi» — yolg‘on mulohaza;
— «har qanday butun son x uchun shunday у butun son mavjud bo‘lib, ulraning yig‘indisi musbat» — rost mulohaza;
— «shunday x butun son mavjud bo‘lib, uning ixtiyoriy у butun son bilan yig‘idisi musbat» — yolg‘on mulohaza;
— «shunday x va у butun sonlar mavjudki, ularning yig‘indisi musbat» — rost mulohaza bo‘ladi.
1-misol. Dekart koordinatalar tekisligida predikatning rostlik sohasini tasvirlang. Yechish. Berilgan ikki o‘rinli predikat to‘rtta bir o‘rinli predikatlarning konyunksiyasidan tashkil topgan. Konyunksiya amalining ta’rifidan, predikatlardagi ikkala o‘zgaruvchi o‘rniga qiymatlar berganimizda, ularning barchasini rost mulohazaga aylantiruvchi x va у larning qiymatlari berilgan predikatning rostlik sohasi bo‘ladi. Buning uchun har bir predikatning rostlik sohalarini aniqlab, ularning kesishmasini topamiz (chizmaga q.) Hosil bo‘lgan chizmadagi ABCD to‘rtburchakning ichki nuqtalari berilgan predikatning rostlik sohasi bo‘ladi. Hosil bo‘lgan chizmadagi ABCD to‘rtburchakning ichki nuqtalari berilgan predikatning rostlik sohasi bo‘ladi.