Аl вukhari university nodavlat oliy ta’lim muassasasi

B. kon’yuksiya va diz’yunksiya minimum ma’nolarga ega

S. kon’yuksiya va diz’yunksiya maksimum ma’nolarga ega

D. kon’yuksiya maksimum va diz’yunksiya minimum ma’nolarga ega

167. Chinlik tablitsasini qurishda ustunlar va qatorlar soni qanday hisoblanadi?

A. Ustunlar soni propozitsional o‘zgaruvchilar soniga mantiqiy bog‘lovchilar sonini qo‘shib aniqlanadi. Qatorlar soni chinlik qiymati soni

propozitsional o‘zgaruvchilar sonini

B.

S.

D.

168. Konstruktiv mantiq klassik mantiqdan qaysi jihatlari bilan farq qiladi:

A. Klassik va konstruktiv mantiqdada ob’ektning «mavjudlik» tushunchasi turli xil ta’riflanadi. Klassik mantiqda formal mantiqiy ziddiyatlarga ega bo‘lmagan ob’ekt mavjud deb e’tirof etilsa, konstruktiv mantiqda qurish mumkin bo‘lgan narsalar mavjud deb e’tirof etiladi va konstruktivlik mezoni talabi ziddiyatsizlik mezoni talabiga nisbatan kuchli xisoblanadi.

B. Konstruktiv ob’ektlar bilan ishlaganda aktual cheksizlik abstraksiyasi qo‘llanilmaydi. Klassik mantiqda esa tugallangan cheksizlik tushunchasi ishlatiladi.

S. Konstruktiv va klassik mantik bir-biridan chinlik mezoniga ko‘ra farqlanadi.

D. Konstruktiv va klassik mantik bir-biridan qo‘llanish sohalariga ko‘ra farqlanadi.

169. Modal hukmlarning o‘zgarishiga asoslanib, qanday xolatlarda xulosa chiqarish mumkin?

A. zaruriylikdan voqelik haqida; zaruriylik va voqelikdan imkoniylik haqida; noimkoniylikdan novoqelik haqida; noimkoniylikdan va novoqelikdan nozaruriylik haqida xulosa chiqarish mumkin.

B. zaruriylikdan voqelik haqida; zaruriylik va voqelikdan imkoniylik haqida; noimkoniylikdan novoqelik haqida;

S. noimkoniylikdan novoqelik haqida; noimkoniylikdan va novoqelikdan nozaruriylik haqida xulosa chiqarish mumkin.

D. zaruriylik va voqelikdan imkoniylik haqida; noimkoniylikdan novoqelik haqida

170. Modal hukmlarning o‘zgarishiga asoslanib, qanday xolatlarda xulosa chiqarib bo‘lmaydi?

A. imkoniylikdan voqelik haqida; voqelikdan zaruriylik haqida; nozaruriylikdan novoqelik haqida; novoqelikdan noimkoniylik haqida.

B. imkoniylikdan voqelik haqida; voqelikdan zaruriylik haqida;

S. nozaruriylikdan novoqelik haqida; novoqelikdan noimkoniylik haqida.

D. imkoniylikdan voqelik haqida; novoqelikdan noimkoniylik haqida.

171. Modal mantiq sistema sifatida qachon va kim tomonidan ishlab chiqilgan?

A. Modal mantiq sistema sifatida 1918 yilda amerikalik mantiqshunos va faylasuf Klarens Irving Lyuisning «A Survey of Simbolic Logic» asarida ishlab chiqilgan va S3 deb atalgan.

B. Modal mantiq sistema sifatida amerikalik mantiqshunos va faylasuf Klarens Irving Lyuis tomonidan ishlab chiqilgan

S. Modal mantiq sistema sifatida 1918 yilda ishlab chiqilgan va S3 deb atalgan.

D. Modal mantiqni sistema sifatida golland matematigi va mantiqshunosi L.Brauer ishlab chiqqan.