Cтраница 1
Именная форма для формульной переменной с аргументами состоит из формульной переменной, аргументами которой являются одни только попарно различные свободные индивидные или свободные функциональные переменные. Вариантом данной именной формы мы будем называть выражение, получающееся из этой именной формы в результате замены любой ее индивидной переменной каким-либо квазитермом и любой функциональной переменной - каким-либо квазифункционалом. Заменителем для данной именной формы является формула, содержащая все аргументные переменные этой именной формы. [1]
Оборотный коносамент, выписанный в именной форме ( to a named person) обычно используется тогда, когда не предполагается его реализация в ходе перевозки. Передача именного коносамента другому лицу юридически возможна по именной передаточной надписи, но усложнена следованием правил, установленных гражданским законодательством для уступки требования. [2]
Впрочем, в этой процедуре построенная вначале именная форма является излишней. От любого е-выражения мы можем перейти прямо к его основному типу. [3]
Если государственные облигации обычно выпускаются в бездокументарной именной форме ( исключение - облигации государственного сберегательного займа, которые будут выпущены на сумму 10000 млрд руб. при объеме эмиссии ГКО около 300000 млрд руб.), то свыше одной трети муниципальных облигаций выпущено на предъявителя. Предъявительская форма ценной бумаги особенно удобна, когда, с одной стороны, сам рынок ( продавцов и покупателей) еще только складывается, а с другой - его инфраструктура почти отсутствует. [4]
Наличие зависимых слов указанного значения усиливает глагольность именных форм глагола, что оказывается особенно существенным в конструкции с герундием, поскольку принадлежность формы на - ing к системе глагола иногда является спорной. [5]
В самом деле, каждый терм, получающийся из какой-либо именной формы в результате подстановки некоторых термов вместо одной или нескольких входящих в нее переменных, имеет тот же самый основной тип, что и данная именная форма. [6]
Сначала напомним, что для выполнения такой подстановки мы должны взять какую-либо именную форму J) той формульной переменной, вместо которой будет производиться подстановка. Все свободные индивидные переменные, являющиеся аргументами этой именной формы, отличны друг от друга; кроме того, иногда бывает нужно, чтобы они отличались еще и от некоторых индивидных переменных той формулы, в которую производится подстановка. [7]
Так как в этих подстановках подставляемые термы определены независимо от выбора переменной с именной формы Л ( с), то мы можем осуществить этот выбор таким образом, чтобы переменная с в упомянутые термы не входила. [8]
Подстановка вместо формульной переменной с одним или несколькими аргументами производится с помощью так называемой именной формы. Именной формой какой-либо формульной переменной, имеющей аргументы, называется элементарная формула, состоящая из той же самой формульной переменной с попарно различными свободными индивидными переменными в роли аргументов; эти переменные в рассматриваемой ситуации мы называем аргументными переменными данной именной формы. [9]
В самом деле, требование отсутствия коллизий мешало бы нам производить подстановку в е-формулу вместо именной формы А ( с) фигурирующей в ней формульной переменной какой-нибудь Другой формулы Л ( с), у которой переменная с стоит в области Действия какого-либо квантора или е-символа. [10]
Далее, мы воспользуемся тем, что фактически подстановка в формулу с номером т вместо именной формы с номером k будет производиться только тогда, когда формула g содержит в качестве составной части какой-либо вариант этой именной формы или же она сама является ее вариантом. Если в каком-либо входящем в формулу g варианте этой именной формы каждую ( свободную или связанную) индивидную переменную и каждую цифру заменить переменной с номером 2р2т, то рассматриваемая формульная переменная будет иметь только такие аргументы, номера которых не меньше 2р2т и, следовательно, больше номеров аргументов именной формы. [11]
Для задания подстановки в данную формулу вместо данной формульной переменной с аргументами нужно для какой-либо именной формы этой формульной переменной указать некоторый заменитель. Выполнение подстановки в этом случае заключается в том, что всюду, где в данной формуле встречается какой-либо вариант рассматриваемой именной формы, этот вариант заменяется тем выражением, которое получается из указанного заменителя при помощи тех же самых замен, в результате которых этот вариант получается из рассматриваемой именной формы. [12]
Из предметных переменных и констант с помощью функциональных символов строятся термы - выражения, являющиеся аналогом имен и именных форм обычного языка. Термами считаются предметные переменные, предметные константы и все выражения вида / ( tlt. Из элементарных формул с помощью пропозициональных связок и кванторов строятся формулы - выражения, соответствующие высказываниям и высказывательным формам обычного языка. [13]
Ото означает, что при каждом допустимом наборе значений свободных пере менпых ( параметров) в соответствии с семантикой языка именная форма обозначает вполне определенный объект, а высказывятельная форма выражает вполне определенное суждение. [14]
В самом деле, каждый терм, получающийся из какой-либо именной формы в результате подстановки некоторых термов вместо одной или нескольких входящих в нее переменных, имеет тот же самый основной тип, что и данная именная форма. [15]