D. Har qanday xukm sinflar tengligining tasdig‘i sifatida qaraladigan bo‘ldi; xulosa chiqarish mantiqiy tengliklarni yechishga tenglashtirildi.
160.Ernst Shryoder ilmiy tasnifning qanday qoidalarini taqlif qilgan? A. Jins va tur yig‘indisi o‘rtasidagi tenglik bo‘lishi shart; turlar bir-birini istisno qilishi va juftlikda 0 ga teng bo‘lishi shart; jinsni turga bo‘lish bir asosda amalga oshirilishi shart.
B. Turlar bir-birini istisno qilishi va juftlikda 0 ga teng bo‘lishi shart; jinsni turga bo‘lish bir asosda amalga oshirilishi shart.
S. Jins va tur yig‘indisi o‘rtasidagi tenglik bo‘lishi shart; jinsni turga bo‘lish bir asosda amalga oshirilishi shart.
D. Jins va tur yig‘indisi o‘rtasidagi tenglik bo‘lishi shart; turlar bir-birini istisno qilishi va juftlikda 0 ga teng bo‘lishi shart.
161.Intuisonistik mantiqning asoschisi kim? A. golland matematigi va mantiqshunosi L.Brauer
B. nemis matematigi D.Gilbert
S. ingliz matematigi va mantiqshunosi B.Rassel
D. polyak mantiqshunosi Ya.Lukasevich
162. Konstruktiv ob’ekt nima? A. Konstruktiv ob’ekt deganda qurishning samarali metodi – algoritmi mavjud bo‘lgan ob’ektlar tushuniladi.
B. Konstruktiv ob’ekt deganda xayolda qurish mumkin bo‘lgan ob’ektlar tushuniladi.
S. Konstruktiv ob’ekt deganda konstruksiya qilingan ob’ektlar tushuniladi.
D. Konstruktiv ob’ekt deganda matematik ob’ektlar tushuniladi.
163. Intuitsionistik mantiqda klassik mantiqning qaysi qonuni inkor qilinadi? A. Uchinchisi istisno qonuni inkor qilinadi.
B. Ayniyat qonuni inkor qilinadi.
S. Yetarli asos qonuni inkor qilinadi.
D. Tushunchaning mazmuni va xajmi o‘rtasidagi teakari nisbat qonuni inkor qilinadi.
