1. Mantiq amallari: dizyunksiya,konyuksiya inkor


Simmetrik ko’phadni elementar simmetrik ko’phadlar yordamida ifodalash



Download 12,84 Mb.
bet21/31
Sana06.07.2022
Hajmi12,84 Mb.
#745643
1   ...   17   18   19   20   21   22   23   24   ...   31
Bog'liq
totaliy algebra

75. Simmetrik ko’phadni elementar simmetrik ko’phadlar yordamida ifodalash
Simmetrik ko’phadlar haqidagi asosiy teorema. Berilgan F maydon ustidagi har qanday simmetrik ko’phadni shu Fmaydon ustidagi elementar simmetrik ko’phad orqali yagona usulda ifodalash mumkin.
1-misol. f(x,y,z)=3x3+3y3+3z3+5xyz+2x2+2y2+2z2 simmetrik ko’phadni elementar simmetrik ko’phadlarga yoying.
Yechish. Berilgan ko’phaddan
2x2+2y2+2z2=2((x+y+z)2-2(xy+yz+zx))=2σ12-4σ2 ko’phadning 3x3+3y3+3z3+5xyz qismini noma’lum koeffitsentlar usulida elementar simmetrik ko’phadlarga yoyamiz. Buning uchun quyidagi jadvalni tuzamiz


yuqori had darajalari yuqori had

Elementar simmetrik ko’phadlar yoyilmasi

x

y

z







3

0

0

3x3

13-0σ20-0 σ30=3σ13

2

1

0

Ax2y

12-1σ21-0σ30=aσ1σ2

1

1

1

bxyz

11-1σ21-1σ31=bσ3

Bu jadvaldan 3x3+3y3+3z3+5xyz=3σ13+ σ1 σ2+bσ3 ga ega bo’lamiz. O,zgaruvchilarga qiymat berish yordamida a, b parametrlarni topamiz




x

y

z

σ1

σ2

σ3

3x3+3y3+3z3+5xyz=3σ13+ σ1 σ2+bσ3

1

1

0

2

1

0

6=24+2a

1

1

-2

0

-3

-2

-28=-2b

Demak a=-9, b=14,, ya’ni f(x,y,z)=3 σ13-9 σ1 σ2+14 σ3+2 σ12-4 σ2.



76. Ikki ko’phad rezultanti. Ko’phad rezultanti.
P maydonda ko’phadlar berilgan va lar f(x) ning ildizlari bo’lsin. f(x) va g(x) ko’phadlarning rezultanti dan iborat. Agar ning ildizi bo’lsa u holda

lar o’rinli.
Silvester formulasi yordamida resultant quyidagicha topiladi.

f(x) ko’phadning diskriminanti
1-misol. uchun rezultantni toping.
Yechish. 1-usul. Berilgan f(x) ning ildizlari kompleks sonlar. g(x) ning ildizlari x=±1.
bo’lganligi uchun
2-usul. ning ildizlari bo’lsin. u holda
Yiyet teoremasiga ko’ra, bo’lib,
3-usul.

f(x) ko’phad karrali ildizga ega bo’lishi uchun, R(f, f’)=0 bo’lishi zarur va yetarli.
78Mulohazalar ustida mantiq amallari
Mulohaza matematik mantiqning asosiy tushunchalaridan bo‘lib, u rost yoki yolg‘onligi bir qiymatli aniqlanadigan darakgapdir. Masalan, ≪Kvadrat to‘g‘ri to‘rtburchakdir≫, ≪2>5≫ kabi
tasdiqlar mulohazalar bo‘lib, birinchi mulohaza rost, ikkinchimulohaza esa yolg‘on mulohazadir.
Berilgan A mulohaza rost bo‘lganda yolg‘on, A mulohazayolg‘on bo‘lganda rost bo‘ladigan mulohaza A mulohazaning inkorideyiladi va 1A yoki A orqali belgilanadi.
A va В mulohazalar rost bo‘lgandagina rost bo‘lib, qolganhollarda yolg‘on bo‘ladigan mulohaza A va В mulohazalamingkonyunksiyasi deyiladi va А л В yoki A & В ko‘rinishda belgilanadi.
A va В mulohazalar dizyunksiyasi deb, A va В mulohazalarning
ikkalasi ham yolg‘on bo‘lgandagina yolg‘on, qolgan hollardarost boladigan A v В mulohazaga aytiladi.
A va В mulohazalar implikatsiyasi deb, A mulohaza rost va В
mulohaza yolg‘on bo‘lgandagina yolg‘on, qolgan hollarda rost
boladigan A=>В mulohazaga aytiladi.
A va В mulohazalar ekvivalensiyasi deb, A va В mulohazalarning
ikkalasi ham yolg‘on yoki ikkalasi ham rost bo‘lganda rost,
qolgan hollarda yolg‘on bo‘ladigan AB mulohazaga aytiladi.
Yuqorida ta ’riflangan amallar rostlik jadvali quyidagi ko‘-
rinishda bo‘ladi.
Misol. mulohazaning rost
yoki yolg‘onligini aniqlang.
Yechish. Berilgan mulohaza konyunksiya hamda implikatsiya
amallari yordamida hosil qilingan. Bu mantiq amallarining ta’riflariga

79Formula turini aniqlash
2) Agar A, В lar formula bo‘Isa, u holda
lar ham formuladir.
A formula faqat A1 ..., An mulohazalardan hosil qilingan
bo‘lsin, u holda A formulani A (A1 ..., An) ko‘rinishida yozib
olamiz va A1 ..., An mulohazalami elementar mulohazalar deymiz.
Har bir Ak (k= 1, n) mulohaza 0 yoki 1 qiymatlarni qabul
qilishi mumkin. Ak mulohazaning qabul qiladigan qiymati /^bo‘1-
sin, u holda (/,, ..., in) — n lik ^ ,, ..., An — mulohazalaming
qabul qiladigan qiymatlari tizimi deyiladi.
A va В formulalar tarkibiga kirgan barcha mulohazalar A1…. An
lardan iborat bo‘lsin. Agar A1 ..., ^mulohazalaming barcha
(i1, ..., in) qiymatlari tizimida A va В formulalar bir xil qiymatlar
qabul qilsa, u holda bu formulalar teng kuchli formulalar deyiladi
va A=B ko‘rinishida belgilanadi.
Formulada qatnashgan mantiq amallari soni formulaning
rangi deyiladi.
1. A formula - A mulohazadan iborat bo‘Isa, uning formulaosti
faqat uning o‘zidan iborat.
2. Agar formulaning ko‘rinishi A * В dan iborat bo‘lsa, u
holda uning formulaostilari А, В, A * В lar hamda A va В larning
barcha formulaostilaridan iborat boladi
amallaming ta’riflariga ko‘ra mos ustunlami to‘ldiramiz. Natijada. A formula, shu formula tarkibiga kirgan barcha mulohazalarning
qabul qilishi mumkin bo‘lgan barcha qiymatlari tizimida
rost bo‘lsa, bu formula aynan rost formula yoki mantiq qonuni\
yoki to\tologiya\ mulohazalaming kamida bitta qiymatlari tizimida
rost qiymat qabul qilsa, bajariluvchi formula; barcha qiymatlar
tizimida yolg‘on qiymat qabul qilsa, aynan yolg ‘on formula
yoki ziddiyat deyiladi.

bo‘ladi. Formulaning rostlik jadvaliga 8 ta tizimni tartib bilan
joylashtiramiz. Mantiq amallarining bajarilish tartibiga ko‘ra awal
A a В konyunksiyani, keyin A v С dizyunksiyani va nihoyat hosil
qilingan formulalarning implikatsiyasini bajaramiz. Ya’ni


80.Formulaning teng kuchliligi

Download 12,84 Mb.

Do'stlaringiz bilan baham:
1   ...   17   18   19   20   21   22   23   24   ...   31




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish