O’zbekiston respublikasi oliy ta’lim, fan va innovatsiyalar vazirligi nukus innovatsion instituti

Deduksiya teoremasining natijalari. Amalda deduksiya teoremasidan kelib chiqadigan quyidagi natijalardan foydalanish qulayroqdir:
1- natija. Agar va ning erkin o‘zgaruvchisiga kvantorni bog‘lash qoidasini ishlatmasdan keltirib chiqarilgan formulalar mavjud bo‘lsa, u holda .
2- natija. Agar formula yopiq va bo‘lsa, u holda .

Foydalanilgan adabyotlar:

1. 
   Matematik mantiq va diskret matematika 2-jild. To'raev H.N. Azizov II jild.
   
2. 
   X.Allambergenov, N.Juzbaev, A.Allambergenova “Diskret matematika ham matematikaliq logika tiykarlari”.