Matematik mantiq elementlari, mulohazalar

Mulohazalar ustida mantiqiy amallar. Mulohazalar ustida konyunksiya, dizyunksiya, implikatsiya va ekvivalensiya amallari mavjud bo’lib ularning rostlik jadvali quydagicha bo’ladi: ¹
Mullohazaning inkorini Venn diagrammasidan foydalanib ham tuzish mumkin. Diagrammada U - barcha sonlar to'plami, P to'plam mulohazaning rostlik to'plami, ya'ni u rost mulohaza bo'ladigan x larning to'plami, P' to'plam deb inkorning rostlik to'plami tasvirlangan.

Quyidа biz bеrilgаn mulоhаzаlаrdаn mаntiq аmаllаri dеb аtаlаdigаn аmаllаr yordаmidа bоshqа mulоhаzаlаr hоsil qilish usullаrini ko’rib chiqаmiz.

II-BOB. MULOHAZALAR USTIDA AMALLAR.
II.1. Mulohazalar ustida mantiqiy amallar (inkor, kon’yunksiya, diz’yunksiya)
Mulohazalar ustida maxsus amallar bajariladi va buning natijasida yana mulohazalar xosil buladi. Bu amallarga logik (mantiqiy) amallar deb nom berilgan. Bu amallar quyidagilardir
1. Inkor qilish amali. x mulohazaning inkori deb atalgan mulohaza shu bilan harakterlanadiki x mulohaza 1 (chin) qiymatni qabul qilganda, mulohaza 0 (yolg’on) qiymatni qabul qiladi va aksincha x ning qiymati 0 bo’lganda ning qiymati 1 bo’ladi, inkor amali belgilanganda bu tarif quyidagi jadval ko’rinishida bo’ladi.

1 0	0 1

x mulohazani «emas» so’zi vositasi bilan inkor qilish natijasida hosil bo’lgan mulohaza xuddi x ning inkoriga mos keladi.

Masalan: x – Toshkent O’zbekistonning poytaxti. – chin. - Toshkent O’zbekistonning poytaxti emas - yolg’on yoki y=sin - uzluksiz funksiya emas – yolg’on. =sin -uzluksiz funksiya – chin.