ЧЕРКАССЫ  ИНФОРМАЦИОННО-СПРАВОЧНЫЙ ПОРТАЛ ГОРОДА И ОБЛАСТИ   ГЛАВНАЯ         ВХОД          РЕГИСТРАЦИЯ        КАРТА САЙТА   
Энциклопедии и справочники

Математическая энциклопедия
ПРЕДИКАТНЫЙ СИМВОЛ

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

Лит.:[1] Клини С. К., введение в метаматематику, пер. с англ., М., 1957; [2] Ершов Ю. Л., Палютин Е. А., Математическая логика, М., 1979. В. Н. Гришин.



Наверх

Ротатор баннеров 468x60

Баннеров в ротаторе: 0   Смотреть все   Добавить баннер
 

 
Добавить баннер

Добавить баннер       Партнерка для Вашего сайта



Ротатор баннеров 88x31

Баннеров в ротаторе: 0   Смотреть все   Добавить баннер