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

Мисол:

Агар Р(х) предикат аниыланиш соъаси М {а₁,а₂,…,a_n} чекли тщплам бщлса у ъолда умумийлик квантори орыали боьланиш амали ((х)(Р(х)) ни ыуйдагича логик амалга алмаштиришимиз мумкин ((х)(Р(х))Р(а₁)Р(а₂)… Р(а_n)

Чексиз тщпламда эса бундай мосликни щрната олмаймиз. Шунинг учун ъам умумийлик квантори орыали боьланиш амали предикатлар учун янги амал эканлиги келиб чиыади.

n-щринли предикатлар учун ъам умумийлик квантори орыали боьланиш амали кщришимиз мумкин.

Таoриф. М₁М₂…М_n тщпламда аниыланган n-щринли Р(х₁,х₂,…,х_n) предикатни х₁ щзгарувчи бщйича умумийлик квантори орыали боьланиш амали деб шундай ыонун ыоидагага айтиладики унга кщра Р(х₁,х₂,…,х_n) предикатга М₁М₂…М_n тщпламда аниыланган шундай (n-1)-щринли предикат ((х₁)(Р(х₁,х₂,…,х_n)) каби белгиланади ) мос ыщйиладики,бу предикат ъар ыандай а₁М₁, а₂М₂,… а_nМ_n придмет ыийматларида

(х )Р(х₁ а₁…,а_n) предментлада мулохазаларга айланиб, Р(х₂ а₁…,а_n)

предикат айнан рост предикат бщлганда рост мулохаза ,акс холда ёльон мулохаза бщлсин.

[(х₁) Р(х₁,х₂,…,х_n)]=

а₂М₂,… а_nМ_n ихтирий элементлардир.

n-щринли предикатга бирор бир щзгарувчи бщйича умумийлик квантори ыщллаб,(n-1)-щринли предикат хосил ыиламиз.Хосил бщлган предикатга яна умумийлик кванторини ыщллашимиз мумкин натижада (n-2)-щринли предикат хосил бщлади.Яна шундай довом этади.