№1 Labaratoriya mashg’uloti

Asosiy mazmuni
1-topshiriq. Quyidagi savollarga javob bering:

1. Teorema nima?

2. Tasdiq nima?

3. Teorema, tasdiqdan nima bilan farq qiladi?

4. Tasdiqlar qanday shaklda ifodalanishi mumkin?

5. Tasdiqni sharti va hulosasini qanday ajratish mumkin?

6. Misollar keltiring.

7. Teoremalarning turlari.

8. Berilgan teoremaga teskari, qarama-qarshi va teskari teoremaga qarama-qarshi teoremalarni keltiring.
Tasdiqning tuzilishini mantiqiy-matematik tahlili deganda biz quyidagilarni tushunamiz, ya’ni:

1. 
   Tasdiqning tushuntiruvchi qismini, shartini va xulosasini ajrata bilish.
   
2. 
   Tasdiqning turini ajratish, soddami yoki murakkabmi?
   

Misol: Agarda n natural sonining raqamlar yig’indisi 3 ga bo’linsa, u holda n soni 3 ga bo’linadi.

Bu yerda:

Tasdiqning sharti: n sonining raqamlar yig’indisi 3 ga bo’linsa.

Hulosa qismi: n soni 3 ga bo’linadi.

Tushuntiruvchi qismi: n – ixtiyoriy natural son.
Mantiqiy simvollarni ishlatsak quyidagicha ifodalash mumkin:

(nN) (n sonining raqamlar yig’indisi 3 ga bo’linsa)  (n soni 3 ga bo’linadi).

Jadval ko’rinishida mantiqiy-matematik tahlilni quyidagicha ifodalash mumkin:

(nN) (n sonining raqamlar yig’indisi 3 ga bo’linsa)  (n soni 3 ga bo’linadi).
Tasdiq tuzilishi	Tushuntirish qismi: Tasdiq natural sonlar to’plamida qaralmoqda. Sharti: n sonining raqamlar yig’indisi 3 ga bo’linsa. Xulosa: n soni 3 ga bo’linadi.
Tasdiq sodda, chunki u bir shart va bir xulosadan iborat.