Matematik mantiq 4-kurs (quqon)

1-variant

1.Elementar kon’yunksiyani aniqlang.

a) b) c) d)

2.Elementar kon’yunksiyalarning har qanday diz’yunksiyasi ... deyiladi.

a) kon’yuktiv normal shakl: KNSH b) diz’yunktiv normal shakl: DNSH
c) mukammal diz’yunktiv normal shakl: MDNSH d) mukammal kon’yunktiv normal shakl: MKNSH

3.Diz’yunktiv normal shaklni aniqlang

a) b)
c) d)

4.AR bo‘lmagan ixtiyoriy formula yagona MDNSHga ...dir.

a) KNSH b) DNSH c) MKNSH d) teng kuchli

5.Keltirilgan formulaga mos RKSni tuzish ... deyiladi.

a) uzunlik b) realizatsiya c) to‘g‘rilash d) markaz

6.Mulohazalar hisobi alfaviti belgilarining har qanday chekli ketma-ketligi ... deyiladi.

a) mulohaza b) formula c) gipoteza d) aksioma

7.“Ba`zi funksiyalar uzilishga ega” mulohaza inkorini ko`rsating

a) Barcha funksiyalar uzluksiz. b) Ba`zi funksiyalar uzilishga ega emas
c) Barcha funksiyalar uzilishga ega emas d) Barcha funksiyalar uzilishga ega.

8.Har qanday ... to‘g‘ri tuzilgan formuladir.

a) propozitsional o‘zgaruvchi b) gipoteza c) mulohaza d) belgi

9. Mantiqiy amallar ketma ketligini ko’rsating.

a) b) c) d)


10. V₁, V₂, ... V_n formulalar ketma-ketligi o‘zining oxirgi formulasining ... deyiladi.
a) aksiomalari b) vazni c) formal isboti d) uzunligi

11.Aksiomaning isbot uzunligini aniqlang.

a) 1 (aksiomaning o‘ziga teng) b) 2 c) n d) to‘g‘ri javob yo‘q

12. Aynan yolg`on formulani toping

a) (AB) AB b) (AB) (AB) c) ABBD d) (AB) AB

13. Mulohazalar hisobi aksiomatik nazariyami?

a) yo‘q b) ha c) to‘g‘ri javob yo‘q d) bilmayman

14. Mulohazalar hisobining har bir keltirib chiqariluvchi formulasi ...da AR formuladir.

a) mulohazalar algebrasi b) falsafada c) predikata d) differensial hisob

15. Mulohazalar algebrasining har bir aynan rost formulasi mulohazalar hisobida keltirib chiqariluvchi (isbotlanuvchi) formula bo‘lsa, mulohazalar hisobi ... deyiladi.

a) tor ma’noda to‘liq aksiomatik nazariya b) keng ma’noda to‘liq aksiomatik nazariya
c) algoritmik echiluvchi aksiomatik nazariya d) erkindir