Amaliy ish:
Mavzu yuzasida savol va topshiriqlar:
53. Mantiqiy teng kuchliliklarni isbotlang:
a) ¬(¬p) = p; b) p∧q=p; c) p ∨ (¬p ∧ q)= p∨q;
d) ¬(q ∧ ¬p)= ¬q ∧ (p∨q).
54. Mulohazalar berilgan bo‘lsin:
p:Sardor olmalarni yaxshi ko‘radi;
q:Sardor uzumni yaxshi ko‘radi.
Quyidagi mulohazalarni tabiiy tilda ifodalang:
a) p ∨ q; b) ¬(p∨q); c) ¬p; d) ¬p ∧ ¬q.
55. Rostlik jadvalini tuzib, ¬(p∨q)va ¬p ∧ ¬qmulohazalar mantiqiy teng
kuchli ekanligini isbotlang.
Darsga yakun yasash:
O’quvchilarni olgan bilimlari hamda qilgan ishlarini nazorat qilib baholash, ularni yo’l qo’ygan kamchiliklarini to’g’irlash.
Uyga vazifa berish:
O’IBDO’: M.M. Mirxalilov
Dostları ilə paylaş: |