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 ASUX (»*'**'' •'*w« ._ 9-SONI I YO/MA IS\\V\u\AM\ R« I1 r ►KelUril&a» ^nnula Uishunch»\ rr,«^ Benlgan formaning qb'shmasini lopish. W^qpw. — Pi ediikallar algebrasida yechilish muammosV Asosiy teng kuchliliklardan foydaianih. hcrA^n kwvt\u\an\n^\Ahx ■ >. .a ekanini ko'rsating.
{P=> R)=> Q)=>(R^ yn Berilgan formulani MDNF vaMKNV gayoymg.
202! 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 Predikatlar ustida amallar. Predikatlarni kvantorlar bilan bog'lash.
Teng kuchli almashtirishlar yordamida formulani keltirilgan normal tbrmaga aylantirish. Keltirilgan normal tbrmaga misollar.
Asosiy teng kuchliliklardan foydalanib, berilgan formulaning ziddiyat ekanini ko'rsating.
(/> > UjA «))< > ((P >0a(P > /0) 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 Formulalami teng kuchli almashtirishlar. Mantiq qonuni. Ziddiyat. Bajariluvchi formula.
Aksiomatik usul. Geometriyadan. aritmetikadan aksiomatik usulga sodda misollar.
Asosiy teng kuchliliklardan foydalanib. berilgan formulaning taftalogiya ekanini ko'rsating.
Berilgan formulani MDNE va MKNF ga yoying. ((A'aL)vZ)aT
202 ly. sonli bayonnoma bilan kafcdra majlisida lasdiqlangan. Kafedra mudiri Noisi>l3^n tuklSlONIUSI'IHMIKASIOIO VA
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