Cтраница 1
Предикатная форма pgcd ( x y z) истинна, если г является наибольшим общим делителем л и у. Бинарный предикат и бинарная операция - имеют свой обычный арифметический смысл. [1]
Предикатная форма - это предикатная константа, соединенная с подходящим числом термов. [2]
Короче говоря, предикатная форма ( Ey) R ( х, у) совпадает с понятием доказуемости в некоторой формальной системе. [3]
Слова функция и предикат иногда используются вместо выражений функциональная форма и предикатная форма, особенно в приложениях ( гл. [4]
Теорема XIII § 60 является метаматематическим приложением случая теоремы V § 57, соответствующего предикатной форме ( Ey) R ( x y), Также и теорема XV допускает формулировку в терминах предикатных форм. [5]
Теоремы неполноты XII и XIII в нашем изложении получены путем применения случаев теоремы V для предикатных форм R ( х) и ( Еу) R ( х, у) соответственно. [6]
По-видимому, Гудстейн является первым из тех математиков, которые отчетливо осознали недопустимость безоговорочного перенесения в конструктивную математику используемого в классической математике способа перехода от предикатной формы построения теорий к операторной форме. [7]
Кроме того, необходимо корректно осуществить вы бор таких понятий, на основе которых возможно построе ние основных разделов теории в операторной форме которая для приложений безусловно предпочтительнее предикатной формы. [8]
Теорема XIII § 60 является метаматематическим приложением случая теоремы V § 57, соответствующего предикатной форме ( Ey) R ( x y), Также и теорема XV допускает формулировку в терминах предикатных форм. [9]
Вопрос о структуре предложения не является окончательно решенным в лингвистике ( см., например, [ Валгина, 1973, с. Не претендуя на строгость и полноту, будем рассматривать предложение как словосочетания ( одно или несколько), связанные с одним или несколькими предикатными формами ( глагол, краткое прилагательное, отглагольное существительное, причастие, деепричастие), или как одно отдельное словосочетание. В используемой трактовке словосочетание не включает в себя предикатные формы, за исключением отглагольных существительных. [10]
Такие обороты речи служат примерами предикатных констант. Предикатная константа не меняет своего значения истинности. Она лишь связана с подходящим числом аргументов или параметров, называемых термами. Это число мест зависит только от рассматриваемой предикатной константы. Последняя вместе с подходящим числом термов называется предикатной формой. [11]