Предикативность

- замкнутая траектория в фазовом пространстве автономной системы обыкновенных дифференциальных уравнений, к-рая является a- или w-предельным множеством (см. Предельное множество траектории) хотя бы для одной другой траектории этой системы. П. Ц. Наз. Орбитально устойчивым, или устойчивым, если для всякого e>0 найдется d>0 такое, что вес траектории, начинающиеся в d-окрестности П. Ц. При t=0, не выходят из его e-окрестности при t>0. П. Ц. Соответствует периодич. Решение системы, отлично..

- функция, значениями к-рой являются высказывания об n-ках объектов, представляющих значения аргументов. При n=1 П. Наз. "свойством", при n>1 - "отношением", единичные высказывания могут рассматриваться как нульместные П. Чтобы задать re-местный предикат Р( х 1, . ., х п), следует указать множества D1 ,. ., Dn - области изменения предметных переменных x1 ,. ., х n, причем чаще всего рассматривают случай D1=D2=. .=Dn. С теоретико-множественной точки зрения П. Определяется заданием подмнож..

переменная, значениями к-рой могут быть предикаты. При формальном построении аксиоматич. Систем П. П. Отличаются от индивидных переменных тем, что вместо них можно подставлять формулы. Так, в исчислении предикатов 2-й ступени, если в аксиоме х - предикатная переменная для n-местных предикатов, то в качестве tможно взять любую формулу с потмеченными переменными. При этом результатом подстановки формулы tс отмеченными переменными z1 ,. ., zn вместо П. П. Хв атомарную формулу x(y1 , . ., ..

предикатная буква,- обозначение какого-либо конкретного предиката. Напр., символом часто обозначают отношение порядка на действительных числах, являющееся двуместным предикатом. При формальном построении языка символы, отнесенные к категории предикатных, должны определенным образом использоваться для построения выражений языка. Именно, если Ресть n-местный П. С., то среди синтаксич. Правил образования выражений формализованного языка должно быть правило. "если t1 ,. ., tn - термы, то P(t1 ,. ...