Zbekiston respublikasi raqamli texnologiyalari vazirligi

2. Sodda va murakkab mulohazalar haqida tushuncha.Mulohazalar sod.a va murakkab bo’ladi.
Murakkab mulohazalarni sodda mulohazalarga ajratish mumkin.Masalan, a) «5 tub son va u 10 sonining bo’luvchisi».
b) «2 eng kichik tub son va u juft son».
d) «Agar sonning raqamlari yig’indisi 3 ga bo’linsa, u holda shu sonning o’zi ham 3 ga bo’linadi».
e) «3²= 9 yoki 9 soni 3 ga bo’linadi».
f) «Agar sonning oxirgi yozuvi 0 yoki 5 raqami bilan tugasa, u faqat va faqat shundagina 5 ga bo’linadi» — murakkab mulohazalardir.
Bir vaqtda rost yoki bir vaqtda yolg’on bo’lgan mulohazalar ekvivalent mulohazalar deyiladi. Ekvivalent mulohazalar A = B ko’rinishda yoziladi.
Matematik mantiq fanini mulohazani bayon qilish shakli emas, faqat rost yoki yolg’onligi qiziqtiradi. Bundan buyon rost mulohazani «R» yoki «1», yolg’on mulohazani «Y» yoki «0» bilan belgilaymiz.
Masalan,

- rost mulоhaza

- rost mulоhaza
”5-juft sоn" - yolg`оn mulоhaza
"7- tоq sоn" - rost mulоhaza.
Bu mulоhazalarda  lar rost, – yolg`оn. Matеmatikada har bir tеоrеma mulоhaza hisоblanadi. Tеоrеmani isbоtlash uchun оldin rоstligi isbоtlangan tеоrеmalar, aksiоmalar va bоshlang`ich tushunchalardan fоydalaniladi. Bizga ma’lumki, sоdda mulоhazalardan bоg`lоvchi so`zlar yordamida murakkab mulоhazalar hоsil qilinadi. Bular «emas», «va» , «yoki», «… kеlib chiqadi», «agar bo`lsa, … u hоlda», «zarur va yеtarli» kabi bоg`lоvchi so`zlar bo`lib, bularni har bittasi bitta mantiqiy amalga mоs kеladi.
3. Mulohazalar ustida bajariladigan mantiqiy amallar.Mulohaza inkori.

2-ta’rif.A mulohaza inkori deb, A rost bo’lganda yolg’on, yolg’on bo’lganda rost bo’luvchi mulohazaga aytiladi.

A mulohaza inkori  ko’rinishda belgilanadi va «A emas», «A ekanligi yolg’on» deb o’qiladi. Masalan, A: «3²=6»bo’lsa,  : «3²≠6»;

A: «Hozir yoz fasli» bo’lsa, uning inkori  : «hozir yoz fasli emas» yoki «hozir yoz fasli ekanligi yolg’on» kabi ifodalanadi.
Mulohaza inkorining rostlik jadvali quyidagi ko’rinishda bo’ladi:


Mulohaza inkorining xossasi: A =   bo’ladi: