Mulohaza. Mulohazaning inkori. Kon'yunktsiya va diz'yunktsiya
2-Ma’ruza :Mulohaza. Mulohazaning inkori. Kon'yunktsiya va diz'yunktsiya. Implikatsiya va ekvivalеntsiya. Mantiqiy amallarning qonunlari.
Reja:
Mulohaza. Mulohazaning inkori.
Kon'yunktsiya va diz'yunktsiya.
. Implikatsiya va ekvivalеntsiya.
Ma’ruza matni.
Mulohazalar haqida umumiy tushuncha. Malumki, o’zbek tilidagi ga’lar to’plami 3 ta sinfga ajratiladi.
D — «Darak ga’lar» to’plami.
C — «So’roq ga’lar» to’plami.
X — «His-hayajon ga’lar» to’plami.
Haqiqatan ham, D∪C∪X — ga’lar to’plami va D∩C∩X = ∅ bo’ladi.
O’z navbatida «darak ga’lar» to’plamini ham 3 ta to’plamga ajratish mumkin.
Rost yoki yolg’onligini bir qiymatli aniqlash mumkin bo’lgan darak gaplar. Masalan:
Toshkent shahri O’zbekiston Respublikasining poytaxti — rost;
London shahri Germaniyaning ‘oytaxti — yolg’on;
2— tub son — rost;
5 >6— yolg’on;
«3 soni 15 sonining bo’luvchisi» — rost.
Tarkibida o’zgaruvchi ishtirok etgan darak gaplar.
Masalan:
X shahar O’zbekiston Respublikasida joylashgan;
y —6 dan kichik tub son;
x — 5 dan kichik natural son;
O’ — o’zbek tilidagi unli tovush.
Rost yoki yolg’onligini aniqlash mumkin bo’lmagan darak gaplar.
Masalan:
Men bugun mehmonga bormoqchiman.
Bugun yomgir yog’sa kerak.
Men tadbirkor bo’lmoqchiman.
Matematika qiyin fan.
1-ta’rif. Rost yoki yolg’onligi bir qiymatli aniqlanadigan darak gaplar mulohaza deyiladi. So’roq yoki his-hayajon ga’lar mulohaza bo’la olmaydi. Noma’lum qatnashgan gaplar ham mulohazaga kirmaydi.
Mulоhazalar bu matеmatik mantiq fanini bоshlang`ich tushunchasi hisоblanib, u quyidagicha quriladi:
ob’еktlar to`plami bеriladi:
оb’yеktlarning ba’zi bir хоssalari va ular оrasidagi munоsabatlar bayon qilinadi.
Mulоhazalar nazariyasining bоshlang`ich оb’yеktlari sоdda mulоhazalardan tashkil tоpadi va ular lotin alifbоsining katta harflari lar bilan bеlgilanadi. Har bir sоdda mulоhaza rost yoki yolg`оn bo`lishi mumkin..