Orai iq baiioi asii uciiun

O'/BI KISION Rl SPUBI IKASI 01 IY \ AO'RIA MAXSUS lA'IIM \ A/IRI IGI
NV/OMIY NOMI I IOSIIKINI DAVI \l PI DAGOCnKA UNIVI'RSHHTI
ORAI IQ BAIIOI ASII UCIIUN
7 SONI I YO/MA ISII VARIANTI
I Vlcmcntur dlzhyunktsiyalar vu olamcntur konhyunktsiyalar. lo'g'ri, to'liq, nuikiuunuil clcincntui' dl/hyunktsisnhu' vu clcnicntur konhyunktsiyalar.
’ Prcdlkullui hiwbi. Prcdikutlur hisobining uksionuilari.
Amndy tcng kuchllliklardan Ibydulunib. hcrilgan rormulaning tallalogiya ckunlnl ko'rnallng.
r xp xPa^))
4, Bcrllgan IbrnHihini MDNI va MKNh gn yoying. (,Vo/i >( \ / » i
202ly. wnli bayonnoma bilan kafcdra majlisida tasdiqlangan. Kulbdru mudiri
OHAI VOUAHin AS_UX (»*'**'' •'*w«
._ 9-SONI I YO/MA IS\\V\u\AM\
R« I¹ r ►^KelUril&^a» ^nnula Uishunch»\ rr,«^
Benlgan formaning qb'shmasini lopish. W^qpw.
— Pi ediikallar algebrasida yechilish muammosV

3. 
   Asosiy teng kuchliliklardan foydaianih. hcrA^n kwvt\u\an\n^\Ahx ■ >. .a ekanini ko'rsating.
   

{P=> R)=> Q)=>(R^ yn

3. 
   Berilgan formulani MDNF vaMKNV gayoymg.
   

₂₀₂! _y sonli bayonnoma Wn
1/4*7'
Kafedra mudin
°’^2BEK,S'ON *_kspubiikasi
NIZOMiv .. . _ ' ' ° 'KTA Maxsik i<„
0’ZBEKISTON RESPUBLIKASI OLIY VA O’RTA MAXSUS TA’LIM
VAZIRLIGI
NIZOMIY NOMLl TOSIIKENT DAVLAT PEDAGOGIKA UNIVERSITETl
ORALIQ BAHOLASH UCHUN
l-SONLI YOZMA ISH VARIANTI

1. 
   Predikatlar ustida amallar. Predikatlarni kvantorlar bilan bog'lash.
   
2. 
   Teng kuchli almashtirishlar yordamida formulani keltirilgan normal tbrmaga aylantirish. Keltirilgan normal tbrmaga misollar.
   
3. 
   Asosiy teng kuchliliklardan foydalanib, berilgan formulaning ziddiyat ekanini ko'rsating.
   

(/> > UjA «))< > ((P >0a(P > /0)

4. 
   Berilgan formulani MDNl- va MKNb ga yoying.
   

(X
2021 y. sonli bayonnoma bilan kafcdra majlisida lasdiqlangan.
Kafedra mudiri
0’ZBEKISTON RESPUBLIKASI OLIY VA 0’RTA MAXSUS TA'LIM VAZIRLIGI
NIZOMIY NOMLl TOSHKENT DAVLAT PEDAGOGIKA UNIVERSH I J l
ORALIQ BAHOLASIl UCIIUN
29-SONLI YOZMA LSII VARIANTI

1. 
   Formulalami teng kuchli almashtirishlar. Mantiq qonuni. Ziddiyat. Bajariluvchi formula.
   
2. 
   Aksiomatik usul. Geometriyadan. aritmetikadan aksiomatik usulga sodda misollar.
   
3. 
   Asosiy teng kuchliliklardan foydalanib. berilgan formulaning taftalogiya ekanini ko'rsating.
   
4. 
   Berilgan formulani MDNE va MKNF ga yoying. ((A'aL)vZ)aT
   

202 ly. sonli bayonnoma bilan kafcdra majlisida lasdiqlangan. Kafedra mudiri
Noi_si>l3^_n
tuklSlONIUSI'IHMIKASIOIO ^VA

Nizt
’^MlvN0MIUlXiio^ AsnucWN
27SONIIYOZMAISIIVARIANU

I Mulohazalar algebrash
lonnula.loriuula rangi.


Mulohazalar


algebrasi


alfaviti. Mulohazaviy


2. Teng


S'fcmwWw iwlw*** । ornn.l3L.rni icng


kuchli almashtirish


teore^ _{kudiWiklardan ro},_daianib. berilgan fonnuhning taftalogiya

ekanini ko'rsating.
4. Berilgan formulani MDNV va MKNf ga yoying. ₍XoZ)=>(A'a)')
2021 y. _sonli bayonnoma bilan kafedra majlisida tasdiqlangan. Kafedra mudiri