Предикатный символ

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