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

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

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

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