Matematik mantiq elementlari, mulohazalar

Mantiqiy teng kuchlilik. Mantiqiy qonunlar
Har doim rost bo'lgan mulohaza mantiqiy qonun yoki tavtologiya deyiladi.
Misol: p V –p mulohaza tavtologiya ekanligini isbotlang.

Ikkita mulohazaning rostlik jadvallaridagi mos ustunlar bir xil bo'lsa, bu mulohazalar mantiqiy tengkuchli deyiladi.
Misol. –(p∆q) va –p V –q mulohazalar mantiqiy tengkuchli ekanligini isbotlang.

Implikatsiya, konversiya, inversiya va kontrapozitsiya
Ikki mulohaza "agar ... bo'lsa, u holda ..." ibora bilan bog'lansa, u holda mulohazalar implikatsiyasiga ega bo'lamiz.
"Agar p bo'lsa, u holda q" implikativ mulohaza p^→q kabi belgilanadi va "p dan q kelib chiqadi", "p mulohaza q uchun yetarli", "q mulohaza p uchun zarur ma'nolarni ham anglatadi.
Bunda p mulohaza q uchun yetarli shart, q mulohaza p uchun zaruriy shart deb yuritiladi.
Ekvivalensiya — (p→q) ∆ (q→p) ko'rinishdagi mulohaza p va q mulohazalarning ekvivalensiyasi deyiladi va p←→q kabi belgilanadi.
p←→q yozuv "p mulohaza q uchun zarur va yetarli" yoki " p mulohaza q bo'lgandagina o'rinli bo'ladi", deb o'qiladi.

Misol.

Misol. "Hamma o'qituvchilar maktab yaqinida yashaydi" mulohazaning kontrapozitsiyasini tuzing.

II.2. “Mantiqiy amallar” mavzusida dars ishlanmasi.

Mavzu: MANTIQIY AMALLAR

Dars maqsadi:
a) Talimiyligi: O’quvchilarga mantiqiy amallar va sxemalar haqida bilin berish;
b) Tarbiyaviyligi: O’quvchilarning mustaqil fikrlash qobiliyatini o’stirish;
c) Rivojlantiruvchi: O’quvchilarni dars davomida qadriyatlar asosida tarbiyalab borish;
Pedagogik texnologiya turi: xotirangni sina
Dars shakli : umumiy o’qitish
Dars turi : yangi bilim beruvchi
Dars metodi : bahs-munozara
Dars jihozi:

1. 
   konspekt va darsliklar;
   
2. 
   ko’rgazma, tarqatma va didaktik materiallar;
   

3) kompyuterlar, proyektor,elektron darslik.
O’quvchilarga qo’yiladigan talablar:
1. O’quvchi bilishi kerak: Mantiqiy amallarni
2. O’quvchi bajara olishi kerak: Darslikning 44-45-betidagi 1-5 savol va topshiriqlarni
O’quvchilar o’zlashtirishi lozim bo’lgan bilim, konikma va malakalar:


Bilim: mantiqiy amallar;”yoki”-mantiqiy qo’shish,”va”-kopaytirish,”emas”-mantiqiy inkor. Soda mulohazalar,”rost” yoki “yolg’on’ mantiqiy qiymatlari. Inventor sxema.