Кукон давлат педагогика институти


Download 1.53 Mb.
bet87/99
Sana29.11.2020
Hajmi1.53 Mb.
#154681
1   ...   83   84   85   86   87   88   89   90   ...   99
Bog'liq
мат мантик


Таъриф: Бир хил М1 М2...Мn тупламларда аникланган иккита n уринли Р(х12,...,хn) ва Q(х12,...,хn) предикатлар тенг кучли дейилади, агар Q предикат рост мулохазага айланувчи

а1А1,...,аn An предметлар танланмасидагина ва факат шуларда Р предикат хам рост мулохазага айланса. Бошкача килиб айтганда Р ва Q предикатлар тенг кучли дейилади, агар улар ростлик сохаларида усма-уст тушса, яъни РQ ва РQ каби белгиланади. Предикатларнинг тенг кучлилиги зквивалентлик муносабати булиб, М1 М2...Мn тупламларда аникланган барча n- уринли предикатлар тупламни эквивалент синфларга ажратиш имконини беради. Хар бир синф узаро тенг кучли булган предикатлардан ташкил топади. Рпредикатдан унга тенг кучли булган Рпредикатга утишни предикатларни тенг кучли алмаштири дейилади. Тенг кучли алмаштиришлар тушинчаси тенгламалар ва тенгсизликлар назариясида жуда мухимдир. Биз бирор тенглама ёки тенгсизликни ечиш деганда, шу тенглама ёки тенгсизликни ифодаловчи преддикатнинг ростлик тупламини аниклашни тушинамиз. Бунинг учун тенглама ва тенгсизликларни тенг кучли алмаштиришлар ёрдамида соддарок куринишдаги предикатга келтириш натижасида берилган тенглама ёки тенгликни ростлик тупламини айтилади.

Мисол:(P(x): 3x-24x=18)  (P(x): x-8x=6) (P(x): x-8x-6=0) бу ерда P={4-;4+} эканлиги маълум. У холда Р= =P={4-;4+} ни хосил киламиз.

Download 1.53 Mb.

Do'stlaringiz bilan baham:
1   ...   83   84   85   86   87   88   89   90   ...   99




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