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.
