1. Hisob tushunchalari. Mulohazalar hisobi

Mirzo Ulug’bek nomidagi O’zbekiston Milliy Universiteti
Jizzax Filiali Amaliy Matematika Fakulteti Axborot tizimlari yo’nalishi talabasi Bobolov Jahongirjonning diskrid matematika va matematik mantiq
Fanidan 1-Mustaqil ishi


Topshirdi: Bobolov Jahongirjon
Tekshirdi: Sharipov Xurshid

Reja:
1.Hisob tushunchalari. Mulohazalar hisobi.
2.Keltirib chiqarish. Isbot tushunchasi.Umumlashgan deduksiya teoremasi.
3.Mulohazalar algebrasining to’liqligi.Mantiqiy funksiya tushunchasi.Predmetlar sohasi.
4.O’zgarmas predmetlar va o’zgaruvchi mulohazalar.
Tayanch iboralar: matematik mantiq, mulohaza tushunchasi, uning qiymati, mantiqiy amallar va formulalar, mulohazalar hisobi, inkor, kon’yunksiya, diz’yunksiya, implikatsiya, ekvivalensiya, De Morgan qonuniyatlari, Klini misoli.

1- Mulohazalar hisobi formulasi tushunchasi quyidagicha aniqlanadi:

1. 
   
   har qanday x, y, z,...o‘zgaruvchilarning istalgan biri formuladir.
   

2.Agar A va B ning har biri formula bo‘lsa, u holda ( A  B) , ( A  B) , ( A  B) va A ham formuladir.

3. 
   boshqa hech qanday simvollar satri formula bo‘la olmaydi.
   

O`zgaruvchilarni elementar formulalar deb ataymiz.

1. 
   m i s o l . Formula tarifining 1) bandiga ko`ra
   

x, y, z,... o`zgaruvchilarning har biri formula bo`ladi. U vaqtda tarifning 2) bandiga muvofiq
(x  y) ,(x  y) ,(x  y) , x ham formulalardir. Xuddi shu kabi ( x  y) ,
((x  y)  z)) , ((x  y)  ( y  z)) ham formulalar bo`ladi.
Quyidagilar formula bo`la olmaydi:xy , z ,(x  y ,x  y ,(x  y)  x . ■

2.