Ózbekstan respublikasí joqarí HÁm orta arnawlí bilimlendiriw ministrligi berdaq atíndaǵÍ qaraqalpaq mámleketlik universiteti

ÓZBEKSTAN RESPUBLIKASÍ JOQARÍ HÁM ORTA ARNAWLÍ BILIMLENDIRIW MINISTRLIGI

BERDAQ ATÍNDAǴÍ QARAQALPAQ MÁMLEKETLIK UNIVERSITETI

Matematika fakulteti Matematika qánigeligi

« 2 -V2 » - kurs studenti Umirzakov Meyrambaydin’

Diskret matematika hám matematikalıq logika páninen

KURS JUMÍSÍ

Tema: Da’lilleniwshi formula. Dedukciya nızamı

Orınlaǵan: Umirzakov. M

Qabıllaǵan: Allambergenov. X

Nókis 2021

Da’lilleniwshi formula. Dedukciya nızamı

Reje:

• 
  Da’lilleniwshi formulanın’ anıqlaması
  
• 
  Aksiomalar haqqında uluwma tusinik
  
• 
  Tavtologiya jeke jag’daylardın’ da’lilleniwshiligi
  
• 
  Dedukciya teoreması
  

Da’lilleniwshi formulanın’ anıqlaması

a) Har qanday aksioma da’lilleniwshi formula boladi;

b) Da’lilleniwshi formuladagi x o’zgeriwshi ornina qa’legen B formulani
qoyiw natiyjesinde payda bolgan formula da’lilleniwshi formula boladi.

v) A, A →B da’lilleniwshi formulalardan juwmaqlawshi qagiydasin qollaw natiyjesinde alingan B formula da’lilleniwshi formula boladi;

g) aytimlar esabinin’ basqa hesh qanday formulasi da’lilleniwshi dep sanalmaydi.