Implikatsiya, konversiya, inversiya va kontrapozitsiya

Darsga yakun yasash:

O’quvchilarni olgan bilimlari hamda qilgan ishlarini nazorat qilib baholash, ularni yo’l qo’ygan kamchiliklarini to’g’irlash.

7. 
   Uyga vazifa berish:
   

60. Rostlik jadvallarini tuzib

¬p ⇒ q = p∨q;

p⇔q = (p∧q)∨(¬p∧¬q) ekanligini isbotlang.

61. q ⇒ pmulohazaga mantiqiy teng kuchli mulohazani toping:

a) p⇒q; b) ¬q ⇒ p;

c) q ⇒¬p; d) ¬(¬p ⇒ ¬q).

62. Mulohazalardan qaysilari doimo rost, doimo yolg‘on bo‘ladi?

a) p⇒(¬p∧q); b) p∧q ⇒ p∨q;

c) (p ⇒ ¬q) ∨ (¬p ⇒ q).

O’IBDO’: M.Zokirova