11-§. Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Umumiylik va mavjudlik kvantorlari Predikat tushunchasi



Download 1,88 Mb.
bet23/23
Sana26.02.2022
Hajmi1,88 Mb.
#472704
1   ...   15   16   17   18   19   20   21   22   23
Bog'liq
3 PREDIKATLAR MANTIQI 11-16 13.12.2019 yangi versiya

1-ifoda

2-ifoda

Qarshi

Almashtirish

(¬M(x5) ∨ S(x5)) ∨ (M(x5) ∧ ¬ S(x5))

1. S(x1) ∨ M(x1)

9. S(x1) ∨ (M(x1) ∧ ¬ S(x1))

{x4/ x1}

9. S(x1) ∨ (M(x1) ∧ ¬ S(x1))

3. ¬S(x3) ∨ L(x3,qor)

10. L(x1, qor) ∨ (M(x1) ∧ ¬S(x1))

{x3/ x1}

10. L(x1, qor) ∨ (M(x1) ∧ ¬ S(x1))

4. ¬L(Shohruh, y1) ∨ ¬L(To’lqin, y1)

11. ¬L(To’lqin, qor) ∨ (M(Shohruh) ∧ ¬ S(Shohruh))

{y1/ qor, x1/Shohruh}

11. ¬L(To’lqin, qor) ∨ (M(Shohruh) ∧ ¬ S(Shohruh))

7. L(To’lqin, qor)

12. M(Shohruh) ∧ ¬ S(Shohruh)

{}

Qaror 12, Shohruh chang’ichi emas, balki alpinist.




Mustaqil bajarish uchun muammoli masala va topshiriqlar

  1. Quyidagi ta’riflarni predikatlar mantiqi tilida yozing.

a) Chiziqli tartiblangan to‘plam (tartiblangan to‘plam chiziqli deb ataladi, agar shu to‘plamning har qanday va elementlari uchun yo , yo , yoki bo‘lsa).
b) Juft funksiya ( juft funksiya deb ataladi, agar uning aniqlanish sohasi koordinata boshiga nisbatan simmetrik va aniqlanish sohasining har bir elementi uchun bo‘lsa).

  1. Quyida berilgan jumlalardagi nuqtalar o‘rniga yo «zarur, ammo yetarli emas», yo «yetarli, ammo zarur emas», yo «zarur emas va yetarli emas» yoki, qayerda mumkin bo‘lsa, «zarur va yetarli» so‘zlarini shunday qo‘yingki, hosil bo‘lgan mulohazalar chin bo‘lsin.

a) To‘rtburchak to‘g‘ri burchakli bo‘lishi uchun uning diagonallarining uzunligi teng bo‘lishi ... .
b) bo‘lishi uchun bo‘lishi ... .
d) funksiya segmentda integrallanuvchi bo‘lishi uchun chegaralangan bo‘lishi ... .
e) funksiya segmentda integrallanuvchi bo‘lishi uchun segmentda uzluksiz bo‘lishi ... .
f) sonli qator yaqinlashuvchi bo‘lishi uchun bo‘lishi ... .

  1. Quyidagi tasdiqlarning (teoremalarning) noto‘g‘riligini isbot qiling.

a) Agar funksiya biror nuqtada uzluksiz bo‘lsa, u holda u shu nuqtada differensiallanuvchi bo‘ladi.
b) Agar sonli qatorning -hadi nolga teng bo‘lsa, u holda bu qator yaqinlashuvchi bo‘ladi.
d) Agar to‘rtburchakning diagonallari teng bo‘lsa, u holda bu to‘rtburchak to‘g‘ri burchakli bo‘ladi.
e) Agar funksiya yopiq intervalda integrallanuvchi bo‘lsa, u holda u shu intervalda uzluksiz bo‘ladi.

  1. Ushbu kvantorli mulohazalarning inkorlarini toping:

a) ; b) ;
d) ; e) ;
f) ;
g) ; h) ;
i) ;
j) ; k) .

  1. a, b, c uzunlikdagi kesmadan uchburchak yasash uchun zaruriy va yetarli shartlarni predikat mantig’i formulalari orqali ifodalang.

  2. Uchlari , , nuqtalarda bo’lgan uchburchak yasash uchun zaruriy shartni predikat mantig’i formulalari orqali ifodalang.

  3. Uchlari , , nuqtalarda bo’lgan

    1. o’tkir burchakli

    2. to’g’ri burchakli

    3. o’tmas burchakli

uchburchak yasash uchun zaruriy shartni predikat mantig’i formulalari orqali ifodalang.

  1. Uchlari , , nuqtalarda bo’lgan uchburchak yuzini hisoblash qoidasini predikat mantig’i formulalari orqali ifodalang.

  2. Uchlari , , nuqtalarda bo’lgan uchburchakning o’rta chiziqlaridan biri to’g’ri chiziqda yotishi uchun zaruriy shartni predikat mantig’i formulalari orqali ifodalang.

  3. Uchlari , , nuqtalarda bo’lgan uchburchakka

a) ichki
b) tashqi
chizilgan aylana markazi nuqtada bo’lishini aniqlovchi qoidani predikat mantig’i formulalari orqali ifodalang.

  1. Uchlari , , nuqtalarda bo’lgan uchburchak va uchlari , , nuqtalarda bo’lgan uchburchaklarning o’xshashligini aniqlovchi qoidani predikat mantig’i formulalari orqali ifodalang.

  2. Tomonlarining uzunliklari a, b, c bo’lgan uchburchak yuzini hisoblash qoidasini predikat mantig’i formulalari orqali ifodalang.

  3. Berilgan , , , nuqtalardan hosil qilingan to’rtburchakning

    1. qavariq

    2. botiq

ekanligini aniqlovchi qoidani predikat mantig’i formulalari orqali ifodalang.

  1. Uchlari , , , nuqtalardan o’tuvchi to’rtburchakning

a) qo’shni
b) qarama-qarshi
uchlarini aniqlash qoidasini predikat mantig’i formulalari orqali ifodalang.

  1. Uchlari , , , nuqtalardan o’tuvchi qavariq to’rtburchakka

a) ichki aylana
b) tashqi aylana
chizish zaruriy shartlarini predikat mantig’i formulalari orqali ifodalang.

  1. Uchlari , , , nuqtalardan o’tuvchi qavariq to’rtburchak

a) to’g’ri burchakli to’rtburchak
b) kvadrat
c) parallellogram
d) romb
e) trapetsiya
f) to’g’ri burchakli trapetsiya
bo’lishi uchun zaruriy shartlarni predikat mantig’i formulalari orqali ifodalang.

  1. Uchlari , , , nuqtalardan o’tuvchi to’rtburchak yuzini hisoblash qoidasini predikat mantig’i formulalari orqali ifodalang.

  2. Uchlari , , , nuqtalardan o’tuvchi to’g’ri to’rtburchak diagonallaridan biri to’g’ri chiziqda yotishi uchun zaruriy shartni predikat mantig’i formulalari orqali ifodalang.

  3. tenglama yechimga ega bo’lishi uchun zarur bo’lgan shartni predikat mantig’i formulalari orqali ifodalang.

  4. tenglama yechimga ega bo’lishi uchun zarur bo’lgan shartni predikat mantig’i formulalari orqali ifodalang.

  5. tenglama

a) ikkita yechimga ega bo’lishi
b) yagona yechimga ega bo’lishi
c) yechimga ega bo’lmasligi
uchun zarur bo’lgan shartni predikat mantig’i formulalari orqali ifodalang.

  1. Uchlari , , , , nuqtalardan o’tuvchi beshburchak

a) botiq
b) qavariq
c) muntazam
bo’lishi uchun zaruriy shartlarni predikat mantig’i formulalari orqali ifodalang.

  1. Uchlari , , , , , nuqtalardan o’tuvchi oltiburchak

a) botiq
b) qavariq
c) muntazam
bo’lishi uchun zaruriy shartlarni predikat mantig’i formulalari orqali ifodalang.

  1. (x;y) nuqtani markazi

a)
b)
nuqtada va radiusi R bo’lgan doiraga tegishli bo’lishi uchun zaruriy shartlarni predikat mantig’i formulalari orqali ifodalang.

  1. (x;y) nuqtani markazi

a)
b)
nuqtada va radiusi R bo’lgan doiraga tegishli bo’lishmasligi uchun zaruriy shartlarni predikat mantig’i formulalari orqali ifodalang.

  1. va to’g’ri chiziqlarning o’zaro

a) parallel bo’lish
b) perpendikulyar bo’lish
uchun zaruriy shartlarni predikat mantig’i formulalari orqali ifodalang.

  1. va vektorlarning o’zaro

a) parallel bo’lish
b) perpendikulyar bo’lish
uchun zaruriy shartlarni predikat mantig’i formulalari orqali ifodalang.


Download 1,88 Mb.

Do'stlaringiz bilan baham:
1   ...   15   16   17   18   19   20   21   22   23




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