Namunaviy reja


Predikatlar implikatsiyasi


Download 34.56 Kb.
bet4/4
Sana14.05.2023
Hajmi34.56 Kb.
#1459065
1   2   3   4
Bog'liq
Mirzayeva Hafizaxon

Predikatlar implikatsiyasi.


7-TarifA(x) predikat rost, B(x) predikat yolg`on bo`lganda yolg`on, qolgan hollarda rost bo`ladigan mulohaza shu predikatlarning implikatsiyasi deyiladi.
Predikatlar implikatsiyasi A(x) B(x) ko`rinishda belgilanib, ”A(x) predikatdan B(x) predikat kelib chiqadi” deb o`qiladi. Bunda B(x) predikat A(x) predikat uchun zaruriy shartA(x) predikat B(x) predikat uchun yetarli shart deyiladi.
A(x) predikatning rostlik to`plamini T, B(x) predikatning rostlik to`plamini TB va A(x) B(x) ning rostlik to`plamini T desak, u holda T=T/A Tbo’ladi.
Predikatlar ekvivalensiyasi.


8-TarifA(x) va B(x) predikatlarning har ikkalasi rost bo`lganda hamda har ikkalasi yolg`on bo`lganda rost, qolgan hollarda yolg`on bo`ladigan mulohaza shu predikatlarning ekvivalensiyasi deyiladi.
Predikatlar ekvivalensiyasi A(x) B(x) ko`rinishda belgilanib, ”A(x) bilan B(x) teng kuchli” deb o`qiladi. Bunda B(x) va A(x) predikatlarning har biri ikkinchisi uchun zaruriy va yetarli shart hisoblanadi. A(x) B(x) ning rostlik to`plamini T desak, u A(x) va B(x) predikatlarning har ikkalasi bir vaqtda rost va har ikkalasi bir vaqtda yolg`on bo`ladigan mulohazalarning rostlik qiymatlari to`plamidan iborat bo`ladi. Demak, A(x) va B(x) predikatlarning har ikkalasi bir vaqtda rost bo`lgan holdagi rostlik to`plami TA∩TB, har ikkalasi bir vaqtda yolg`on bo`lgan holda rostlik to`plami TA TB bo`ladi. Bundan T=(TA∩TB) (T/A∩T/Bbo`lishi kelib chiqadi.
Download 34.56 Kb.

Do'stlaringiz bilan baham:
1   2   3   4




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