Matematik mantiq 4-kurs (quqon)

MATEMATIK MANTIQ 3-KURS V-semestr 2019/2020 o`quv yili

#Elementar kon’yunksiyani aniqlang.

+
-
-
-

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

-kon’yuktiv normal shakl: KNSH
+diz’yunktiv normal shakl: DNSH
-mukammal diz’yunktiv normal shakl: MDNSH
-mukammal kon’yunktiv normal shakl: MKNSH

#Diz’yunktiv normal shaklni aniqlang

+
-
-
-

#To‘g‘ri va to‘liq DNSH …... dir.

-DNSH
-KNSH
+MDNSH
MKN

#DNF va MDNFlar ... formulalardir.

+keltirilgan
-to‘liq
-to‘g‘ri
-mukammal

#AYO bo‘lmagan ixtiyoriy formala MDNSHga …….dir.

+teng kuchli
-to‘liq
-to‘g‘ri
-AR

#AR bo‘lmagan ixtiyoriy formula yagona MKNSHga ...dir.

-KNSH
-DNSH
-MDNSH
+teng kuchli

#Keltirilgan formulaga mos RKSni tuzish ... deyiladi.

-uzunlik
+realizatsiya
-to‘g‘rilash
-markaz

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

-mulohaza
+formula
-gipoteza
-aksioma

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

+propozitsional o‘zgaruvchi
-gipoteza
-mulohaza
-belgi

#Mantiqiy bog‘lovchilarni “kuch”ning pasayish tartibida joylashtiring.

-
-
+
-


#V₁, V₂, ... V_n formulalar ketma-ketligi o‘zining oxirgi formulasining ... deyiladi.
-aksiomalari
-vazni
+formal isboti
-uzunligi

#Aksiomaning isbot uzunligini aniqlang.

+1 (aksiomaning o‘ziga teng)
-2
-n
-to‘g‘ri javob yo‘q

#Isbotga ega bo‘lgan va isbot uzunligi  2 bo‘lgan formula ... deyiladi.

-aksioma
-ta’rif
+teorema
-gipoteza
#Mulohazalar hisobi aksiomatik nazariyami?
-yo‘q
+ha
-to‘g‘ri javob yo‘q
-bilmayman

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

+mulohazalar algebrasi
-falsafada
-predikata
-differensial hisob

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

-tor ma’noda to‘liq aksiomatik nazariya
+keng ma’noda to‘liq aksiomatik nazariya
-algoritmik echiluvchi aksiomatik nazariya
-erkindir

#Agar biror algoritm mulohazalar hisobining ixtiyoriy formulasini keltirib chiqariluvchi yoki keltirib chiqariluvchi emasligini aniqlab bera olsa, mulohazalar hisobi ... deyiladi.

-tor ma’noda to‘liq aksiomatik nazariya
-keng ma’noda to‘liq aksiomatik nazariya
+algoritmik echiluvchi aksiomatik nazariya
-erkin

#Matematik mantiqda mulohazalar mazmuni emas, balki ularning ... hisobga olinadi.

-xulosasi
+qiymati
-sharti
-rostligi

#AB da B - ... deb ataladi.

+xulosasi
-qiymati
-sharti
-rostligi

#AB da A - ... deb ataladi.

-xulosasi
-qiymati
+sharti
-rostligi

-Quyidagi formulani MDNSH ga yozing: (AB)C

A)(ABC)A
B)(A (BC)
C)ABC
D)*ABCABCABCABCABCABC

#A va В mulohazalarda A va B yolg‘on qiymat qabul qilgandagina yolg‘on qolgan barcha hollarda rost qiymat qabul qiladigan mulohaza ........... amali deyiladi.

-inkor
-kon’yunksiya
+diz’yunksiya
-implikatsiya

#Kon’yunksiyani yo’qotish qoidasi bu:

-A/AB
-ABC/B
+AB/A;AB/B
-A,AB/B

#Berilgan tizmalarda rost qiymat qabul qiluvchi formulani tiklang (0,0,1) (0,1,0) (1,1,0)

-(xyz) (xyz) (xyz)
-(xzy) (xyz) (xyz)
+(xyz) (xyz) (xyz)
-(xz) y xyz

# Aynan yolg`on formulani toping

-(AB) AB
+(AB) (AB)
-ABBD
-(AB) AB

#Aynan rost formulani toping

+(AB)  (AB)
-AB AB
-(AB)  (AB)
-(ABC) D

115. Qaysi formula aynan chin

+ABBC
-AB
-AB
-ABCD

#Mulohazalar logikasi aksiomalari … gruppadan iborat

+4 ta
-2 ta
-3 ta
-5 ta

# O’zaro teng kuchli mulohazani ko’rsating.

+P< q va ( P q) (q P) .
-P q va q P
-P q va q P
-P q va P q

#Formulaning normal konyunktiv shakli deb ….ga aytiladi

+Diz’yunksiyalar kon’yunksiyasi ;
-Kon’yunksiyalar diz’yunksiyasiga;
-Takomil normal kon’yunktiv shakliga ;
-Takomil normal diz’yunktiv shakliga;

# (0,1,1) ;(1,0,0) ;(1,1,0) tizmalarda rost qiymat qabul qiluvchi formulani tiklang .

+(ABC) (ABC) (ABC) ;
-(ABC) (ABC) ;
-(ABC) (ABC) ;
-(ABC) A (AB)

#A (A₁,..., A_n) formula o’zgaruvchi jumlalar qiymatlarining barcha tizmalarida rost bo’lsa, bunday formula ... formula bo’ladi.

+Umum qiymatli;
-Bajariluvchi
-Aynan yolg`on
-Qarama qarshilik

#A (A₁,..., A_n) formula o’zgaruvchi jumlalar qiymatlarining kamda bitta tizmasida rost bo’lsa, bunday formula ... formula bo’ladi.

+Bajajriluvchi;
-Aynan yolg`on
-Qarama qarshilik
-Umum qiymatli;

# Aynan rost formulani toping

-(AB)  (AB)
-(AB)  (AB)
-(AB)  (AB)
+(A⇒B) ⇒(ךAvB) ;

#Formulada qatnashgan mantiq amallari soni formulaning …………deyiladi.

+rangi
-uzunligi
-moduli
-vazni

#Mulohazalar algebrasining A va B formulalari teng kuchli formulalar bo‗lishi uchun, …….. formula aynan rost formula bo`lishi zarur va yetarli.

-A=>B
+A<=>B
-¬A⩗B
-A=>¬B

#X ϵ { 0 , 1 } –ikki elementli to‗plam berilgan bo‗lsin. U holda

f : Xⁿ→ X ( n = 0, 1, 2, . . . ) - funksiya n – o`zgaruvchili ………yoki ………..deyiladi.
-Bul funksiyasi , formula
-formula, funksiya
-akslantirish, almashtirish
+Bul funksiyasi, 2 -qiymatli funksiya

#Mulohazalar algebrasining A formulasida ¬ , ⩘ , ⩗ mantiq

amallaridan boshqa mantiq amallari qatnasmasa va ¬ amali qatnashsa u faqat
propozitsional o‗zgaruvchilargagina tegishli bo`lsin, u holda A ……formula deyiladi.
-qo`shma
+keltirilgan
-murakkab
-mulohazaviy

#Agar mulohazalar algebrasining A formulasi keltirilgan formula bo‗lsa, u holda mulohazalar algebrasining ……. formulaga teng kuchli keltirilgan formulasi mavjud.

+¬A
-A=>B
-A<=>B
-¬A<=>¬B

#Mulohazalar algebrasining ixtiyoriy A formulasiga teng kuchli ………formula mavjud.

-normal
-muloxazaviy
+keltirilgan
-ikki o`zgaruvchili

#Mulohazalar algebrasining A* formulasi A formuladan konyunksiyani dizyunksiya bilan, dizyunksiyani esa konyunksiya bilan almashtirish natijasida hosil qilingan bo‗lsa, u holda A* va A formulalar …………formulalar deyiladi.

+o`zaro qo`shma
-qo`shma
-eng kuchli
-Ekvivalent

#Propozitsional o‗zgaruvchilar yoki ularning inkorlaridan tuzilgan ixtiyoriy …….. elementar …… deyiladi.

-formula, formula
-o`zgaruvchi, o`zgaruvchi
-funksiya, funksiya
+konyunksiya, konyunksiya

#Propozitsional o‗zgaruvchilar yoki ularning inkorlaridan tuzilgan ixtiyoriy ……..elementar ……...deyiladi.

-o`zgaruvchi, formula
-ormula, o`zgaruvchi
-funksiya, funksiya
+dizyunksiya, dizyunksiya

#Mulohazalar algebrasining A formulasiga teng kuchli …….A - formulaning ……. si deyiladi.

+DNF , DNF
-DNF, KNF
-KNF, DNF
-MDNF, MKNF

#Mulohazalar algebrasining A formulasiga teng kuchli ……. A - formulaning ……. si deyiladi.

-DNF,KNF
+KNF , KNF
-KNF, DNF
-MDNF, MKNF

#Mulohazalar algebrasining A formulasiga teng kuchli ……. A - formulaning ……. si deyiladi.

-DNF, KNF
-KNF, DNF
+MDNF , MDNF
-MDNF, MKNF

#Mulohazalar algebrasining A formulasiga teng kuchli …… A - formulaning ………… si deyiladi.

-MKNF, MDNF
-MDNF, MKNF
-DNF, KNF
+MKNF, MKNF

#Mulohazalar algebrasi ixtiyoriy formulasining ……… mavjud.

-o`xshashi
-yolg`oni
+DNFsi
-limiti

#Mulohazalar algebrasi ixtiyoriy formulasining ……… mavjud.

-limiti
B-hosilasi
+KNFsi
-integrali

#Mulohazalar hisobi belgilari necha tur.

+4
-2
-5
-3

#(A( BC)) (( AB) (AC)) aksioma nechanchi guruxga kiradi.

-5
-2
3
+1

#A( BA) aksioma nechanchi guruxga kiradi.

+1
-2
-3
-5

#A⩘ BA aksioma nechanchi guruxga kiradi.

-1
+2
-3
-5

#A⩘ BB aksioma nechanchi guruxga kiradi.

-1
+2
-3
-5

#(AB) ((AC) (AB⩘ C) ) aksioma nechanchi guruxga kiradi.

-1
-3
+2
-5

#AA⩗B aksioma nechanchi guruxga kiradi.

+3
-2
-1
-4

#BA⩗B aksioma nechanchi guruxga kiradi.

-1
-2
+3
-4

#(AC) ((BC) (A⩗BC)) aksioma nechanchi guruxga kiradi.

-1
-2
-4
+3

#Mulohazalar hisobi aksiomasini ko`rsating

+ (AB) ((AC) (AB⩘ C) )
-(AB) ((A¬C) (AB⩘¬ C) )
-(¬AB) ((AC) (¬AB⩘ C) )
-(AB) ((¬AC) (AB⩘ C) )

#Mulohazalar hisobi aksiomasini ko`rsating

-A⩘¬BB
-A⩘B¬B
+A⩘BB
-¬A⩘BB

#Mulohazalar hisobi aksiomasini ko`rsating

-A⩘B¬A
+A⩘BA
-A⩘¬BA
-¬A⩘BA

#Mulohazalar hisobi aksiomasini ko`rsating

-A(B¬A)
-A(¬BA)
+A(BA)
-¬A(BA)

#Mulohazalar hisobi aksiomasini ko`rsating

-(A( BC)) (( AB)
+(A( BC)) (( AB) (AC))
-(A( B¬C)) (( A¬B) (AC))
-(A( ¬B¬C)) (( AB) (AC))

#Quyidagi darak gaplarning qaysi biri mulohaza bo‘ladi?

-Kech kirmoqda
-10 000 000 juda katta son
+Ufa Qirg‘iziston paytaxti
-Parij eng chiroyli shahar

#“a soni juft ekanidan 3a ning ham juft ekani kelib chiqadi, va aksincha” mulohaza qaysi mantiqiy amalga misol bula oladi.

-inkor
-kon’yunksiya
-diz’yunksiya
+ekvivalensiya

#2 < 0 ning inkorini toping

-2 0
+2
-2 natural
-2 butun

#x² +1=0 ning inkorini toping

+ x² +1≠0
-x² +1>0
-x² +1<0
-x² +1=2

#Yutilish qonuni ko`rsating

+A⩘(A⩗B)≡A
-¬A⩘(A⩗B)≡A
-A⩘(A⩗¬B)≡A
-¬A⩘(A⩗¬B)≡A

Yutilish qonuni ko`rsating

+A⩗(A⩘⩗B)≡A
-A⩗(A⩘¬B)≡A
-A⩗¬(A⩘B)≡A
-A⩗(¬A⩘¬B)≡A

#De-Morgan qonuni ko`rsating

+¬(AB)≡¬A⩗¬B
-¬(AB)≡¬A⩘¬B
-¬(A⩗B)≡¬A⩗¬B
-¬(AB)≡¬A⩗B

#De-Morgan qonuni ko`rsating

-¬(A⩘B)≡¬A⩘¬B
-¬(A⩗B)≡¬A⩘B
-¬(A⩗B)≡ A⩘¬B
+¬(A⩗B)≡¬A⩘¬B

#Tengkuchlilikni toping

-A¬B≡¬A⩗B
+AB≡¬A⩗B
-¬AB≡¬A⩗B
-AB≡¬A⩗¬B

#Tengkuchlilikni ko`rsqting

-A<=>B≡(A⩗B)⩘(¬A⩗¬B)
-A<=>B≡(¬A⩗B)⩘(A⩗¬B)
+A<=>B≡(¬A⩗B)⩘(A⩗¬B)
-¬A<=>¬B≡(¬A⩗B)⩘(A⩗¬B)

#Qarama qarshi mulohazalar bir vaqtda……………..bola olmaydi

+rost
-rost,yolg`on
-yolg`on,rost
-mulohaza

#Rost mulohazani toping

-Oy planeta va 2+3=5
-Oy planeta emas va 2+3=9
+Oy planeta emas va π-transendent son
-Oy planeta emas va e-transendent son emas

Qaysi mulohaza inkori rost bo`ladi

+Nolga bolish mumkin
-17-tub son
-e-tansendent son
-e-irratsional son

#Mantiq qonunlari nimaga mos keladi

-qaramaqarshilikga
+Tavtologiyaga
-Ziddiyatga
-Ixtiyoriy formulaga

#Mulohazalar algebrasi alfaviti nimalardan iborat

-formulalrdan
-aynan rost formulalardan
+mulohazaviyo`zgaruvchi, amal belgilari, qavslardan
-istalgan belgilardan

#|a| > 3 (а, b  R) ifodani mantiqiy tildа yozing

+
- ,
- ,
-

#Formulani ko`rsating

-(A( BC)) (( AB(AC))
-(A( BC)) (( AB) AC)
-(ABC) (( AB) (AC))
+(A( BC)) (( AB) (AC))

#Fomulani toping

+A⩗¬B⩘CD<=>¬D
- A⩗¬B⩘C(D<=>¬(D)) C
-AB(AB)
- AB¬(AB)

# Inkor amali ta`rifini toping: 1. A mulohaza inkori deb. 2. A rost bo`lganda reost bo`luvchi. 3. A rost bo`lganda yolg`on bo`luvchi. 4. Va A yolg`on bo`lgada rost bo`luvchi. 5. Va A yolg`on bo`lgada yolg`on bo`kulchi.6.nulohazaga aytiladi.

-(1256)
+(1346)
-(1246)
-(1326)

#Teoremani toping

-A⩗B
-A⩘A
+A=>A
A<=>¬A

#Mulohazalr hisobi formulalari to`plamida ekvivalentlik munosabati qanday xossalarga ega

+refleksivlik,simmetriklik,tranzitivlik
-zidsizlik, tolalik, erklilik
- zidsizlik, erklilik
zidsizlik, tolalik,

#A⩘(B⩘C=>A⩘B formulanu MKNSH ga keltiring

-(A¬B⩘C)⩗(¬A¬B⩘¬C)⩗(AB⩘¬C)⩗( AB⩘C)
-(A¬B⩘C)⩗(A¬B⩘¬C)⩗(AB⩘¬C)⩗( ¬A¬B⩘¬C)
+(A¬B⩘C)⩗(A¬B⩘¬C)⩗(AB⩘¬C)
+(A¬B⩘C)⩗(A¬B⩘¬C)⩗(AB⩘¬C)⩗( AB⩘C)

#(A⩘¬B)⩗( A⩘¬C)⩗( A⩘B) ni MKNSH ga keltiring

+(A⩗B⩗C) ⩘ (A⩗B⩗¬C)⩘ (A⩗¬B⩗C)⩘ (A⩗¬B⩗¬C)
-(A⩗B⩗C) ⩘ (A⩗B⩗¬C)⩘ (A⩗¬B⩗C)
-(A⩗B⩗C) ⩘ (A⩗B⩗¬C)(A⩗¬B⩗¬C)
-(A⩗B⩗¬C)⩘ (A⩗¬B⩗C)⩘ (A⩗¬B⩗¬C)

#x(x=>y) formulani MDNSH ga keltiring

+xy
-x¬y
-¬xy
-¬x¬y

#(x=>y) =>(y=>x) formulani MDNSH ga keltiring

-x¬y⩗xy
+x¬y⩗xy⩗¬x¬y
-xy⩗¬x¬y
-x¬y⩗¬x¬y

#(x⩗¬z)=>yz formulani MDNSH ga keltiring

- xy⩘z⩗¬xy¬z
-¬xy⩘z⩗¬x⩘y¬z
-¬xy⩘z⩗xy⩘z
+¬xy⩘z⩗xy⩘z⩗¬xy¬z

#(x⩗¬y=>xz) =>(¬(x=>¬x))⩗y¬z formulani MDNSH ga keltiring

+(x⩘¬y⩘z)⩗ (x⩘¬y⩘¬z)⩗ (x⩘y⩘z)⩗ (x⩘y⩘¬z)⩗ (¬x⩘y⩘¬z)⩗ (¬x⩘¬y⩘¬z)⩗ (¬x⩘¬y⩘z)
-(x⩘y⩘¬z)⩗ (¬x⩘y⩘¬z)⩗ (¬x⩘¬y⩘¬z)⩗ (¬x⩘¬y⩘z)
-(¬x⩘¬y⩘¬z)⩗ (¬x⩘¬y⩘z)
-(¬x⩘¬y⩘z

#(AB=>BC)((AB)(CB)) formulani MDNSH ga keltiring

-(A⩘¬BC )⩗ (A⩘¬B¬C)⩗ (A⩘BC)⩗ (A⩘B¬C)⩗ (¬A⩘BC)⩗ (¬A⩘B¬C )⩗
+(A⩘¬BC )⩗ (A⩘¬B¬C)⩗ (A⩘BC)⩗ (A⩘B¬C)⩗ (¬A⩘BC)⩗ (¬A⩘B¬C )⩗ (¬A⩘¬B¬C)
-(¬A⩘BC)⩗ (¬A⩘B¬C )⩗ (¬A⩘¬B¬C)
-(A⩘¬BC )⩗ (A⩘¬B¬C)⩗ (A⩘BC)⩗ (A⩘B¬C)

# (¬AC)(¬(¬B¬A) formulani MDNSH ga keltiring

-( A¬B¬C)
- (¬A¬B¬C)⩗ (A¬BC)
(¬AB¬C)⩗ (A¬BC
+(AB¬C)⩗ (¬A¬B¬C)⩗ (A¬BC)⩗( A¬B¬C)

# (¬A¬B)(BCA⩘C) formulani MDNSH ga keltiring

+(¬ABC)⩗ (¬AB¬C)⩗(A¬BC)⩗(A¬B¬C)⩗(¬A¬BC)⩗(¬A¬B¬C)⩗(AB¬C)⩗(ABC)
-(¬ABC)⩗ (¬AB¬C)⩗(A¬BC)⩗(A¬B¬C)⩗(¬A¬BC)⩗(¬A¬B¬C)⩗(AB¬C)
-(A¬BC)⩗(A¬B¬C)⩗(¬A¬BC)⩗(¬A¬B¬C)⩗(AB¬C)(
-(A¬B¬C)⩗(¬A¬BC)

# x(x=>y) formulani MKNSH ga keltiring.

-(¬x⩗y)(x⩗y)(x⩗y)
+(¬x⩗y)(x⩗¬y)(x⩗y)
-(x⩗y)(x⩗¬y)(x⩗y)
-(¬x⩗y)(x⩗¬y)

# (x=>y) =>(y=>x) formulani MKNSH ga keltiring.

+ x⩗¬y
- ¬x⩗¬y
- x⩗y
- x

#(x⩗¬z)=>yz formulani MKNSH ga keltiring.

-(¬x⩗y⩗¬z)⩘ (¬x⩗¬y⩗z)⩘ (x⩗y⩗z)⩘ (x⩗¬y⩗z)
-(¬x⩗y⩗z)⩘ (¬x⩗y⩗¬z)
+(¬x⩗y⩗z)⩘ (¬x⩗y⩗¬z)⩘ (¬x⩗¬y⩗z)⩘ (x⩗y⩗z)⩘ (x⩗¬y⩗z)
-(¬x⩗y⩗z)⩘ (¬x⩗y⩗¬z)⩘(¬x⩗y⩗z)⩘ (¬x⩗y⩗¬z)⩘

#(x⩗¬y=>xz) =>(¬(x=>¬x))⩗y¬z formulani MKNSH ga keltiring.

-1
+x⩗¬y⩗¬z
-0
-¬x⩗¬y⩗¬z

(AB=>BC)((AB)(CB)) formulani MKNSH ga keltiring.

-1
-0
+A⩗B⩗¬C
- A⩗¬B⩗¬C

#(¬AC)(¬(¬B¬A) formulani MKNSH ga keltiring.

-(¬A⩗¬B⩗C) (¬A⩗¬B⩗¬C)
-(A⩗¬B⩗¬C) (¬A⩗¬B⩗C) (¬A⩗¬B⩗¬C)
+(A⩗B⩗¬C) (A⩗¬B⩗¬C) (¬A⩗¬B⩗C) (¬A⩗¬B⩗¬C)
-(A⩗B⩗¬C)

#(¬A¬B)(BCA⩘C) formulani MKNSH ga keltiring.

+1
-(¬A⩗¬B⩗C) (¬A⩗¬B⩗¬C)
-(¬A⩗¬B⩗C) (¬A⩗B⩗¬C)
-(¬A⩗¬B⩗C) (¬A⩗¬B⩗C)
#Aynan yolg’on formula ta’rifini tiklang: 1.Formula aynan yolg’on 2.barcha naborlarida 3.mulohazaviy forma 4.kamida bitta naborida 5.formula 6.deyiladi, agar o’zgaruvchilar 7.yolg’on 8.rost 9.qiymat qabul qilsa
-(14627)
+(15627)
-(16327)
-(15367)

#Teng kuchli formulalar ta’rifini tiklang: 1.A  V agar 2.A aynan rost 3.A aynan yolg’on 4.o’zgaruvchilar qiymatlarining 5.ayrim naborlarida 6.rost 7.bir xil 8.qiymat qabul qilsa 9.barcha naborlarida 10. Turli

-(15368)
-(16728)
-(14782)
+(14978)

#Keltirilgan formula ta’rifini tiklang: 1.A - keltirilgan formula 2.,  3.agar tarkibida 4.qatnashgan 5., ,  6.faqat 7.bo’lib 8.inkor o’zgaruvchilarga tegishli bo’lsa 9.kamida 10., ,  11. Operatsiyalar

+(1,3,6,10,4,7,8)
-(1,3,6,2,4,7,8)
-(1,3,6,5,4,7,8)
-(1,3,6,2,5,4,8)

# DNF-ta’rifi: 1.DNF- 2.elementar 3.diz’yunksiyalarning 4.ekvivalensiyalarning 5.kon’yunksiyalarning 6.diz’yunksiyasi

-(1.2.3.6.4.)
+(1.2.5.6)
-(1.2.3.6)
-(1.3.6)

# Quyidagi ifodalarning qaysi biri ta`rifga ko’ra formula bo’ladi.

+
-
-
-

# qanday formula?

-
+
-
-

# qanday formula?

+ Bajariluvchi formula
- Aynan rost formula
- Aynan yolg’on formula
- Keltirilgan formula

# Noto’g’ri tasdiqni toping

-
-
-
+

# Quyidagi jumlalarning qaysi biri mulohaza bo’lmaydi

-2 va 4 sonlarining ko’paytmasi 9 bo’ladi.
-x va 3 sonlarining ayirmasi 7 ga teng .
-to’g`ri chiziklar paraleldir.
-2³² _> 3¹²

# Har bir o’zgaruvchi jumla jumlalar hisobida . .. hisoblanadi.

+ formula;
- Ta’rif;
- Aksioma;
- Teorema

# “Barcha to`plamlar o`ziga o`zi qism to`plam bo`ladi” inkorini toping..

-Barcha to`plamlar o`ziga o`zi qism to`plam bo`lmaydi.
-Ba`zi to`plamlar o`ziga o`zi qism to`plam bo`lmaydi
-Barcha to`plamlar o`ziga o`zi qism to`plam bo`ladi
+Ba`zi to`plamlar o`ziga o`zi qism to`plam bo`lmaydi

#Mulohazakeltirilgan qatorni ko`rsating.

-Bugngi sana nechchi?
-Ertaga qanday kun?
+Tibet Himolayda joylashgan.
-Samarqand eng qadimiy shaxar.

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

+Barcha funksiyalar uzluksiz.
-Ba`zi funksiyalar uzilishga ega emas
-Barcha funksiyalar uzilishga ega emas
-Barcha funksiyalar uzilishga ega.

#Yolg`on mulohazani ko`rsating.

-Konyunksiya amali kommutativ
-dizyunksiya amali asotsiativ
+implikatsiya amali kommutativ
-konyunksiya amali asotsiativ

#Yolg`on mulohazani k`orsating.

-Konyunksiya amali idempotent
-dizyunksiya amali idempotent
+ekvivalensiya amali asotsiativ
-implikatsiya amali asotsiativ

#Rost mulohazani toping.

-Ba`zi to`plamlar o`ziga o`zi elemet bo`ladi.
-Barcha to`plamalar o`ziga o`zi element bo`ladi.
+hech bir to`plam o`ziga ozi element bo`lmaydi.
-Ba`zi to`plamlar o`ziga o`zi qism to`plam bo`lmaydi.