Маркин П.М. Математическая логика

Подождите немного. Документ загружается.

Примечание. Таблично алгебраическим вариантом логики высказываний является

алгебра логика, имеющая большое прикладное значение в синтезе

комбинационных автоматов. Однако, если в логике высказываний формула

рассматривается как логическая форма высказывания, то в алгебре логики формула

является аналитическим способом представления логической функции f:{0,1}

{0,1}, где {0,1} заменяют истинностные значения {, И} логики высказываний.

ЯЗЫК КЛАССИЧЕСКОЙ ЛОГИКИ ПРЕДИКАТОВ (Я.Л.П.)

Язык логики предикатов <A

,, F

> является расширением рассмотренного выше

языка логики высказываний.

А. Синтаксис языка Л.П.

Синтаксис Я.Л.П. обусловлен алфавитом A

и правилами образования из символов

языковых выражений термов  и формул F

I. Алфавит Я.Л.П. A

Множество символов A

рассматриваемого формализованного языка состоит из

трех подмножеств – дескриптивных терминов 

, логических операторов 

вспомогательных символов 

а)Дескриптивные термины 

Дескриптивными (нелогическими) символами

являются: предметные (индивидные) константы {a,b,c,d,…,a

,…,a

,…},

n-местные предметно-функциональные константы {f,g,h,…,f

,…,f

,…}, m-

местные предикатные константы {P,Q,R,S,…,P

,…,P

,…}, и

предметные (индивидные) переменные {x,y,z,…,x

,…,x

,…} (это

пропозициональные переменные)

Пояснение.

1) При переводе выражений естественного языка на Я.Л.П. объекты

заменяются индивидными константами;

2) n-местные предметно-функциональные константы (n1) соответствуют

предметным функторам естественного языка, таким как “ сложение”,

“вычитание”, извлечение корня, дифференцирование, расстояние от…

до…(вообще, n-местные предметный функтор обозначает n-местную

предметную функцию).

3) m- местные предикаторные константы ( m  1) соответствуют

предикатам естественного языка, т.е. знакам свойств ( например,

горячий, электропроводный, зеленый) и отношений ( например, южнее,

больше, старше). При этом свойства в ЯЛП являются одноместными

предикаторными, а отношения многоместными.

4) Предикаторные символы синтаксически используют для образования

формул, а семантически они обозначают предикаты ( например, xy, x

Y)

Примеры:

1) Космонавт Гагарин – первопроходец космического пространства. По

ЯПЛ- это субъектно-предикатное простое высказывание имеет вид

P(f(a)), где P- первопроходец космического пространства, f(a)- космонавт

Гагарин ( т.е. а- Гагарин, f- космонавт).

2) Микросхема, диод и транзистор- множество с агрегатной точки зрения.

Это высказывание на ЯЛП имеет вид P(a,b, c), где P- множество с

агрегатной точки зрения, a,b,c- элементы множества- соответственно

микросхема, диод, транзистор.

б) Логические операторы ( константы).

Логическими операторами в ЯЛП являются логические связи { , , ,  и

кванторы , .

Пояснения:

1) Кванторам в естественном языке соответствуют кванторы слова типа «

для всех» и «существует».

2) Иногда в ЯЛВ используют так называемый математический базис

операторов, например , , , , , , , , , , , .

3) Связки и кванторы имеют следующий приоритет: , , , , , .

в) Вспомогательные символы

Вспомогательными ( разделительными) символами являются левая и правая

круглые скобки, т.е. Р

= , .

2. Языковые выражения



, F.

В ЯЛП имеются два типа правильно построенных выражений из символов A

термы  и формулы F.

а) Термы



Термы  являются символической записью предикатов естественного языка.

Формально терм можно определить по инструкции:

- произвольная предметная константа является термом;

- произвольная предметная переменная является термом;

- если Ф – n-местная предметно-функциональная константа, а t

…t

термы, то выражение Ф(t

…t

)- является термом;

- других термов нет, т.е. ничто не является термом ЯЛП;

Замечание:

1) предметные константы и предметные переменные называют простыми

термами, а Ф(t

…t

)- сложными термами.

2) Символы, использованные в определении терма t

, Ф – есть

метасимволы ( это не символы объектного языка.

3) Терм называют замкнутым, если он не содержит предметных

переменных.

Пример:

1) Записать на ЯЛП следующие выражения : 3, 5, 7+2.

Решение:

Пусть a, b, c, d – индивидные константы, соответствующие объектам 3, 5, 7,

В этом случае a – простой терм, а f(b) и g(c, d)- сложные замкнутые термы, где

– одноместная предметно-функциональная константа, соответствующая

функтору  , а g

- двуместная предметно-функциональная константа,

соответствующая функтору t.

2) С учетом обозначений объектов в примере 1 выражениям (3 + х), (7+3),

(7+7)+(2+2), 7+7+2+2 в ЯЛП соответствуют свободно замкнутые термы g

(а),

х), f

(c, d)), g

(c, c), g

(d, d)), g

(c, c), d),d)

3) Естественно-языковые выражения « Столица России», «Расстояние от Москвы

до Тулы», «расстояние от столицы России до Тулы» в ЯЛП соответствуют

замкнутые термы: f

(а), g

(b,c), g

(f(а), c), где a,b,c- соответственно, Россия,

Москва, Тула, f

 «столица», g

 «расстояние от… до…».

Предостережение

Символическая запись h

(х, а)) не является термом, так как в скобках после

двухместного предметно-функционального символа h

стоит только один терм g

(х,

а), а не два, как этого требует определение образования сложных термов. Не

является термом и выражение Р

(х, а)), так как Р

- предикаторная константа, а не

функциональная.

г) Формулы F

Формулы ЯПЛ F

являются символической записью логических форм

высказываний и предикатов.

Индуктивное определение F

1) Выражение П

…t

) является формулой, если П

- n-местная

предикаторная константа, а t

…t

- термы;

2) Если А- формула, то  А- формула;

3) Если А и В – формулы, то (АВ), (АВ) и (АВ)- формулы;

4) Если А

(х)

- формула, а х- предметная переменная, то х А(х) и  х А(х)-

формулы;

5) Ничто иное не является формулой ЯЛП;

Пояснения:

1) В приведенном определении П, А, В являются символами метаязыка,

значениями которых являются соответственно предикаторные буквы и формулы

объектного ЯЛП.

2) Формула П

…t

) называется элементарной (атомарной), а формулы пунктов 2,

3, 4 приведенного индуктивного определения принято называть сложными

(молекулярными). Говорят, что сложная формула состоит из подформул (в

пункте 3 это А и В, в 2 и 4 –А).

3) Одноместный предикат П(х) есть логическая формула высказываний «х есть П».

Примеры:

1) Р

(х, f

(а)), Q

(h, g

(a, x), R

(x), S

где Р

, Q

– двухместные предикаторные константы, а R, S – одноместные, а в

скобках находятся термы. Однако выражения Р

(х, f

(а)), Q

(h, g

(a, x), R

(x),

2)Выражение Р

(х, Q

(а)) – не формула ЯЛП, так как Q

(а) не является термом.

3) Выражение х Р

(х, f

(а)) и х Q

(х, f

(а)) являются формулами ЯЛП согласно

пункту 4 индуктивного определения F

. Однако, выражения  Р

(х, f

(а)),  Q

(х,

(а)), а Р

(х, f

(а)), а Q

(х, f

(а)) не являются формулами ЯЛП, так как в

первых двух выражениях нет кванторных переменных, а в 3-м и 4-м после

кванторов стоит предметная константа, а не предметная переменная. Очевидно,

что х g

(x, f

(a)) и x Q

(b, f

(а)) не являются формулами ЯЛП навешиваются

на высказывательнюю формулу, а не на терм. (Q

(х, f

(а)) – замкнутая, а не

высказывательная формула.)

В дальнейшем будем пользоваться терминологией.

1) Предметная переменная формулы называется ее вхождением в

формулу.

2) В формулах х А(х) и  х А(х) подформула А называется областью

действия кванторов  и  по предметной переменной х (А –

метаформула).

3) Переход от Р(х) к х Р(х) и  х Р(х)

– называется связыванием

предметной переменной х (навешиванием квантора на переменную х,

квантификацией переменной х).

4) Переменная, на которую навешивается квантор, называется связанной

переменной, несвязанная переменная называется свободной.

5) х Р(х) является высказыванием ( замкнутой формулой), а Р(х) –

переменной высказывание, то есть незамкнутая формула.

6) Одна и та же переменная может быть и свободной и связанной в

некоторой формуле.

Пример:

В формуле х(у  Р

(х, у) Q

(у, z)) областью действия квантора  по переменной

х является подформула у  Р

(х, у) Q

(у, z), а областью действия квантора  по у

– подформула  Р

(х, у). В рассматриваемой формуле переменная х имеет два

вхождения, у – три, z – одно. Первые вхождения переменных х и у связаны,

поскольку они следуют непосредственно за кванторами  и . Второе вхождение х

находится в области действия квантора  по х в подформуле у  Р

(х, у)

(у, z), а второе вхождение у расположено в подформуле  Р

(х, у). Поэтому

вторые вхождения х и у являются связанными. Третье вхождение у и единственное

вхождение переменной z в подформуле Q

(у, z) являются свободными.

Следует отметить, что:

1) Сформулированный выше синтаксис ЯЛП называют первопорядковым

в том смысле, что в этом языке разрешается квантификация только

предметных переменных. Если же разрешить квантификацию

введенных в алфавит первопорядкового ЯЛП предметно-

функциональных и предикаторных переменных , то говорят о ЯЛП

более высокого, чем первый порядка. В этих языках возможна

квантификация по предикаторам, то есть выражения типа р(Р(х)), и

функторам , то есть f(f(x));

2) ЯЛП, не содержащий предметных констант и предметтно-

функциональных констант, называется языком чистого исчисления

предикатов.

Примеры перевода простых высказываний естественного языка и их отрицаний на язык логики

предикатов.

а) Высказывания без кванторных слов.

Примеры:

1) Переводом высказывания «Сократ-идеалист» может быть предикатная

формула Р

(а), где предметная константа а соответствует имени Сократ, а

одноместная предикаторная константа Р

- знаку свойства «идеалист».

2) Высказывание «Учитель Платона мудр» может быть записано в виде

(b)), если одноместному предметному функтору «учитель» сопоставить

одноместную константу f, знаку свойства «мудр» - одноместную предикатную

константу Q

, имени Платон – предметную константу b. Зная, что «учитель

Платона» имеет значение «Сократ», высказывание «Сократ мудр» имеет

формальное представление Q

(а), то есть a=f

(b).

3) Высказывание «Учитель Платона является идеалистом» может быть записано

в виде предикатной формулы  Р

(f(b)) (здесь Р – идеалист, f

(b)- учитель

Платона).

4) Высказывание «Сократ достиг Платона» может быть формализовано

предметной формулой R

(a, b), где R – двухместный предикаторный символ

«достоин», а индивидные константы a и b соответствуют именам Сократ и

Платон. Очевидно, что в приведенной интерпретации выражение ЯЛП: R

(b,

а) есть высказывание «Платон достоин Сократа», R

(а, а) – «Сократ достоин

сам себя», R

(b, f

(b)) – «Платон достоин своего учителя»,  R

(а), f

b)) –

«Учитель Сократа не достоин учителя Платона»

5) Высказывание о наличии трехместного отношения между тремя объектами

«Сократ достоин Платона больше, чем своего учителя» в ЯЛП имеет вид S

(а,

b, f

(а)) , где

– трехместная предикаторная константа, соответствующая

отношению «…достоин…больше, чем…». Очевидно, формальное выражение 

(а, b, f

(а)) может быть переведено как отрицание вышеприведенного

высказывание.

б) Высказывания с кванторными словами.

Примеры:

1) Высказывательная форма «х является выдающимся» Р

(х) становится

высказыванием х Р

(х), если использовать кванторное слово «кто-то», то есть

«Кто-то является выдающимся» (здесь Р

– предикаторная константа

«выдающийся»). Очевидно, что предикаторная формула х  Р

(х) может быть

переведены нка русский язык как «кто-то не является выдающимся» или

аналогичная формула х Р

(х) – «неверно, что все являются выдающимися».

2) Естественное высказывание «Кто-то достоин Сократа» переводится формулой

х Р

(х, а), а формула х Р

(а, х) соответствует выражению «Сократ достоин

кого-нибудь». Формула х Р

(х, х) переводится как «Кто-то не достоин

самого себя».

3) Высказыванию «Все являются талантливыми» соответствует формула х

(х), а высказывание «всякий достоин Сократа» - х Р

(х, а).

4) Высказывание «Никто не достоин учителя Платона» и «учитель Платона не

достоин никого» можно соответственно записать предикатными формулами

вида: х  Р

(х, f

(b)) и х  Р

(b), х).

5) Высказывание «Каждый достоин кого-нибудь» соответствует формуле х у

(х, у).

6) Формуле х у Р

(х, у) можно сопоставить естественно-языковое выражение

«Кто-то кого-то не достоин».

7) Формулу х у S

(х, а, у) можно интерпретировать фразой «Кто-то достоин

Сократа больше, чем кого-либо»

в) Простые высказывания, выражаемые сложными формулами.

Примеры:

1) Высказывание «Некоторый идеалист мудр» может быть переведено на ЯЛП

посредством формулы х (Р

(х)Q

(х))( буквальный смысл- «существует

объект х, который является идеалистом Р , а является мудрым Q). Очевидно,

что предикатная формула  х (Р

(х)Q

(х)) имеет буквальный смысл «Для

всякого человека х верно, что если он идеалист Р, то он мудр Q» .

2) Формулы х (Р

(х)Q(х)) х (Р

(х)Q(х)) могт быть переведены как

«Некоторый идеалист не мудр» и «Ни один идеалист не мудр».

3) Простое высказывание «Некоторый идеалист достоин Платона» переводится

на ЯЛП формулой х (Р

(х)  R

(x,b)), а формула х (Р

(х) R

(b, х))

переводится на естественный язык так: «Существует такой человек, что если

он является идеалистом, то Платон достоин его». Переводом же высказывания

«Каждый идеалист достоин Платона» является формулой вида х (Р

(х) R

(х,

b)).

4) Великая теорема Ферма: «Для любого nN не существует х, у, z N,

удовлетворяющих равенству х

n+2

», на ЯЛП есть формула x y z

(x),P

(y),P

(z) R

(x,y,z,n)), где P

– одноместная предикаторная константа

«быть натуральным числом», а R

- одноместная предикаторная константа,

соответствующая равенству х

n+2

СЕМАНТИКА ЯЛП.

Напомним, что семантикой формализованного языка называется совокупность

правил приписывания значений выражениям этого языка. Именно в этом случае

говорят об интерполяции нелогических символов языка (логические символы –

логические операторы – имеют заданную при построении языка интерпретацию).

Суть данной поцедуры – указать, объекты каких типов могут быть сопоставлены в

качестве значений дискретивным константам и предметным переменным.

Совокупность таких объектов называют областью интерпретации, или

универсумом рассмотрения (рассуждения) М. Приписывание значений

дискретивным константам в ЯЛП осуществляют с помощью семантической

функции J (называемой часто интерпретационной функцией).

Пару М, J , задающую допустимую в классической логике предикатов

интерпретацию дискретивных констант, называют моделью. Формально моделью

называется кортеж М, J  такой, что М, а J – функция, удовлетворяющая

условиям: J(k)М, J(

): M

M, J(П

) M

(здесь k, , П –соответственно

произвольная предметная константа, предметно-функциональная константа,

предикатная константа). Очевидно, что значениями термов являются предметы

(индивиды) из области инте5рпритации М, а возможными значениями формул –

объекты «истина, не ложь» (это означает, что термы являются аналогами простых и

сложных имен, а формулы – аналогами высказываний естественного языка), то

есть ): J(Ф

…t

)М (J(

): M

M – алгебраическая операция), П

…t

М, л ( то есть J(П

…t

)М, хотя J(П

) М). При этом значения термов и

формул обусловлены выбором конкретной модели М, J  и конкретного

приписывания элементов М предметным переменным.

Примеры:

1) Пусть область интерпретации есть множество целых положительных чисел ( то

есть М=Z

), а интерпретационная функция J сопоставляется предметной

константе а число 5М, одноместной предметно-функциональной константе f –

операция возведения в квадрат, двухместный предметно-функциональной

константе g – операции сложения. Положим, что предметной переменной х

приписывается значение 3М. В этом случае значениями нижеприведенных

термов в указанной модели < z

,J>, при х=3 будут:

 для терма а, очевидно, 5

 для терма х, очевидно, 3

 для терма f

(а) имеем 5

равно 25.

 для терма g

(x,a), имеем 3+5=8

 для терма f

(x,a ))=(3+5)

=64

 для терма g

(f(a),x)=5

+3=28

2) Для элементарных предикатных свойств Q

(a),x) и Р

(x,a)) определить

принимаемые ими значения в модель < z

,J>, если J(Q

) – множество пар таких

чисел: где первая конпонента больше второй, J(Р

) множество четных чисел, а

х=3, а=5, f

, gt

Решение:

Для первой формулы имеем:

,3 >=<25,3 > J(Q

), то есть  Q

(a),x)=U при х=3, а=5.

Для второй формулы имеем:

(3+5)=8  J(Р

), то есть  Р

(x,a))=U при х=3, а=5.

Очевидно, что в случае х f(a), когда х=26 имеем 25, 26 J(Q

) и 25+

26 J(Р

), то есть  Q

(a),x)=л при х25,  Р

(x,a))=л при х четном.

3) При условии примера 2 определить значение формул

(f(a),x)  Р

(x,a)),  Q

(f(a),x)  Р

(x,a)), Q

(f(a),x)  Р

(x,a)).

Решение:

Для первой формулы имеем:

 Q

(f(a),x)  Р

(x,a))=U при х=3, а=5.

Для второй формулы имеем:

  Q

(f(a),x)  Р

(x,a))=Л при х=з.

Для третьей формулы имеем:

 Q

(f(a),x)  Р

(x,a))=U при х=3.

4) Замкнутая формула х Р

(х) не содержит свободных переменных и ее значения

в модели < z

,J> при J(Р

)  х z

: х=2n, nN  есть «U», то есть х Р

(х)= U

при х=2n. Аналогично, если J(Q

)х: х=k, l, kl, имеем у Q

(х, у)=л при

k=1.

5) Формула х Р

(х)) в модели N, J при f

, J(Р

)  х: х=2n, nN  будет

логична при хN\ J(Р

), то есть х Р

(х))=л при х- нечетное. Аналогично,

формула Q

(х, а), у) в модели N, J при J(Q

)х: х=k, l, kl, g t , а=2,

у=1 имеет значение «U», то есть х Q

(х, а), у)= U при хN.

КЛАССИЧЕСКАЯ ЛОГИКА ПРЕДИКАТОВ

Логика предикатов, подобно логике высказываний, строится на базе

формализованного языка, выделяя в множестве предикатных формул понятия

закона логики предикатов и логического следования.

а) Отношение логического следования.

Из множество формул Г логически следует формула В (то есть Г=В), если и

только если не существует модели М, J и приписывания значений

предметным переменным, при которых каждая формула из Г принимает

значение «U», формула В- значение «Л».

Пример:

Р(а), Q(a) =x(Р(х)Q(х)). Действительно, если предположить, что это не так, то из

истинных высказываний Р(а) и Q(a) высказывание x(Р(х)Q(х)) должно быть

логичным. Однако, Р(х)=U при х=а и Q(х) =U при х=а и, следовательно,

Р(х)Q(х)=U при х=а. Налицо противоречие, свидетельствующее о неверности

допущения. Итак, из формул Р(х), Q(х) следует формула x(Р(х)Q(х)).

Замечание:

Наличие отношения логического следования между приведенными формулами свидетельствует о

правильности всех умозаключений, логические формы которых имеют вид:

Р(х), Q(х)

x(Р(х)Q(х)).

Итак, правильным, в частности, является естественное умозаключение:

 Студентка Наташа трудолюбива.

 Наташа успешно учится по специальности.

 Некоторые трудолюбивые студенты успешно учатся по специальности.

Однако, следующие умозаключения являются неправильными:

 Существует трудолюбивый студент.

 Существует студент, успешно осваивающий специальность.

 Некоторые трудолюбивые студенты успешно осваивают

специальность.

Действительно, логическая форма заданного умозаключения имеет вид:

Р(х), Q(х)

x(Р(х)Q(х))

Покажем, что между посылками и заключением в этом случае отсутствует

следование. Положим, что универсумом рассмотрения является множество

животных М, а предикаторным константам Р и Q соответствуют «быть медведем»

и «быть лисой». Поскольку все формулы рассматриваемого умозаключения

замкнуты, то приписывание значения переменной х произвольно. В модели

М, J формулы Р(х), Q(х) истинны, поскольку существуют животные, которые

соответственно есть медведи и есть лисы. Однако формула x(Р(х)Q(х)) есть

ложь, так как не существует таких животных в универсуме М, которые

одновременно являются и медведем и лисой. Именно это и означает, что

Р(х), Q(х) x(Р(х)Q(х)).

б)Законы классической логики предикатов.

Формула А является общезначимой, если и только если А принимает

значения «U» в каждой модели М, J и при любом приписывании значений

предметным переменным. Законы классической логики предикатов

выражаются общезначимыми формулами ЯЛП.

Утверждение «Формула ЯЛП – общезначима» символически записывается

так: А.

Пример:

1) В ЯЛП закон ?могенного третьего может быть записан эквивалентными

формулами (x(Р(х)x(Р(х) )(x(Р(х)x(Р(х)).

2) =(x(Р(х) x(Р(х) ) читается так: «Если для любого х присуще свойство Р, то

существует х, обладающий свойством Р. Очевидно, что (x(Р(х)x(Р(х) )

является законом.

Примечания:

1) Как и в логике высказываний, существует связь между отношением логического

следования и законом классической логики предикатов., то есть А

, А

…А

= В

тогда и только тогда, когда = (А

(А

…(А

)…) (что равносильно = ((А

А

…

А

)В).

2) В классической логике предикатов нет, в отличие от логики высказываний,

общей процедуры (алгоритма) для решения вопроса о том, имеет ли место

отношения логического следования Г=В (или в частном случае А=В) и

является ли ГВ законом. В этом плане логика предикатов является

неразрешимой относительно универсальной общезначимости формул.

3) Поскольку логика предикатов является неразрешимой теорией, то особое

значение приобретает формализация понятий логического закона и логического

следования посредством построения логических исчислений именно в тех

случаях, когда семантический анализ не позволяет выявить логическое

следование и логический закон на множестве предикатных формул, это

позволяет сделать исчисление (тго есть это осуществляется синтаксическим

образом).

4) Для логики высказываний исчисление, вообще говоря, как эффективная

процедура не является необходимым. Оно нужно как часть логического

исчисления для формул ЯЛП.

5) Важное в практических применениях узкое исчисление предикатов (то есть

одноместных, сингулярных) – разрешимо. То есть если предикат Р(х) является

теоремой, то есть и алгоритм его разрешения.

АЛГЕБРА ЛОГИКИ ПРЕДИКАТОВ.

Алгебра логики предикатов (алгебра кванторной логики, алгебра неоднородных

логических функций) – раздел математической логики, изучающий операции над

высказываниями субъектно-предикатной структуры, то есть 

=F

, U, Л

U,

Л, , , где F

- множество предикатных формул вида Р

(х

, х

…х

)

с нелогическими переменными х

(выражение Р

(х

, х

…х

) понимается, как

переменная, высказывание, истинность которого определяется подстановкой

предметных констант вместо предметных переменных.

Выражение отношений посредством многоместных предикатов.

неоднородная логическая функция Р

(х

, х

…х

): М

В есть n-местный предикат,

где Р

n-местная предикаторная константа, М универсум (область) рассмотрения

предикатов, В=U, Л - двоичное множество истинных значений высказывания.

Пояснения:

1) Выражение Р

(а

, а

…а

), где а

, а

…а

М являются предметными константами,

есть высказывание, а выражение Р

(х

, х

…х

) есть логическая (двоичная)

переменная (при этом х

, х

…х

– нелогические переменные).

2) Поскольку предикаты могут принимать два значения (интерпретируются как

переменные высказывания), то из них можно образовывать сложные формулы

логики высказываний (сам предикат Р

(х

, х

…х

), являющийся элементарной

формулой, рассматривается в сложной формуле как логическая переменная).

Утверждения:

1) Всякий предикат Р

(х

, х

…х

) определяет отношение R М

такое, что а

, а

…

R, если и только если Р

(а

, а

…а

)=U. При этом R задает область

истинности предиката Р

(х

, х

…х

) .

2) Каждому n-местному отношению R М

соответствует предикат Р

(х

, х

…х

)

такой, что Р

(а

, а

…а

)=U, если и только если а

, а

…а

R.

Эти утверждения можно проиллюстрировать графически бинарным

функциональным соответствием q= М

, B, P, с помощью которого возникает

высказывание , если в качестве значений х

( i = 1…n)