Аl вukhari university nodavlat oliy ta’lim muassasasi

Eng Yangi davrda mantik ilmining rivoji

155. Ikki inkor hukmdan xulosa chikarish mumkin deb ta’kidlovchi mantikshunos kim?
A. Stenli Djevons
B. Gotlob Frege
S. Djordj Bull
D. Ernst Shryoder
156. D.St.Mil sababiy aloqadorlikni aniqlashning qanday metodlarini ishlab chiqqan?
A. qoldiqlar metodi; tafovut metodi; o‘xshashlik va tafovut qo‘shma metodi; yo‘ldosh o‘zgaruvchilar metodi; yagona o‘xshashlik metodi.
B. qoldiqlar metodi; tafovut metodi; o‘xshashlik va tafovut qo‘shma metodi; yagona o‘xshashlik metodi.
S. o‘xshatish, tafovut, yo‘ldosh uzgarishlar va koldiklar metodi.
D.o‘xshatish va tafovut qo‘shma metodi

156. D.St.Mil hukm hodisalar o‘rtasidagi munosabatlarning ifodasidir degan fikrga asoslangan holda, hukmlarni necha turga ajratadi?
A. mavjudlik hukmlari; davomiylik, ketma-ketlik hukmlari; o‘zaro mavjudlik hukmlari; sababiy bog‘liqlik hukmlari; o‘xshash munosabatlarni ifodalovchi hukmlar.
B. mavjudlik hukmlari; davomiylik, ketma-ketlik hukmlari; o‘zaro mavjudlik hukmlari; sababiy bog‘liqlik hukmlari.
S. mavjudlik hukmlari; davomiylik, ketma-ketlik hukmlari; o‘zaro mavjudlik hukmlari.
D. mavjudlik hukmlari; davomiylik, ketma-ketlik hukmlari.

157. Mantiq algebrasini kim ishlab chiqqan?
A. Djordj Bull
B. Ernst Shryoder
S. Stenli Djevons
D. Djuzeppe Peano


158. Djordj Bullning g‘oyalari matematik mantiq ilmiga qanday yangiliklar olib kirdi?
A. Mantiqda simvollarni qo‘llash bilan cheklanmasdan, maxsus mantiqiy xisoblashlar quriladigan bo‘ldi; mantiq algebrasida mantiqiy qonunlar formal sistemalarning zaruriy jihati bo‘lib qoldi; har qanday xukm sinflar tengligining tasdig‘i sifatida qaraladigan bo‘ldi; xulosa chiqarish mantiqiy tengliklarni yechishga tenglashtirildi.
B. Mantiq algebrasida mantiqiy qonunlar formal sistemalarning zaruriy jihati bo‘lib qoldi; har qanday xukm sinflar tengligining tasdig‘i sifatida qaraladigan bo‘ldi; xulosa chiqarish mantiqiy tengliklarni yechishga tenglashtirildi.
S. Mantiqda simvollarni qo‘llash bilan cheklanmasdan, maxsus mantiqiy xisoblashlar quriladigan bo‘ldi; xulosa chiqarish mantiqiy tengliklarni yechishga tenglashtirildi.