Свободное вхождение

Cтраница 2

Пусть, например, А ( х) содержит k вхождений f - термов и / свободных вхождений х, a t содержит т вхождений f - термов. Никакое из k вхождений f - термов в A ( t), происходящих от вхождений в А ( х), не может находиться внутри какого-либо из 1т вхождений, появляющихся при подстановке t вместо х, причем подстановка свободна. Поэтому 1т F-кванторов, использованных при устранении последних упомянутых вхождений, могут быть вынесены вперед и притом в таком порядке, что в каждой из групп по / из них, принадлежащих соответствующим вхождениям f - терма в / рассматриваемых вхождениях t, все F-кванторы окажутся соседними, после чего каждую группу можно сократить. [16]

Конструкция прижима при вытяжке детали с большим фланцем.| Перетяжные ребра и пороги в вытяжных кузовных штампах. [17]

Зазор между стенками полой заготовки и прижимом должен быть небольшим, только лишь достаточным для обеспечения свободного вхождения прижима в заготовку. [18]

Формула ( Vs) ( if) утверждает, что при подстановке любого кортежа подходящей арности вместо свободных вхождений s формула становится истинной. [19]

А ( л:), то в получающейся в результате формуле А ( г) ни одно свободное вхождение какой-либо переменной в г не становится связанным вхождением. Далее, мы вводим множество нелогических аксиом, составляющих математическое содержание теории. [20]

Во всех случаях расчетный параметр заготовки должен быть меньше размера матрицы на 0 05 - 0 08 мм для свободного вхождения в матрицу. [21]

Кроме того, определяются - в точности так же, как в § 2.7, - понятия связанного вхождения и свободного вхождения переменной в формулу и понятия переменной, связанной в формуле и свободной в формуле. Вводится также понятие подстановки одной переменной вместо другой. Наконец, на описываемое исчисление переносится описанная в § 2.8 процедура оценки, приводящая к понятию общезначимой формулы. [22]

Сравнивая это определение с индуктивным определением параметров формулы в разделе 3.2, мы видим, что параметры - это переменные, имеющие свободные вхождения в формулу. [23]

Предварительные замечания об интерпретации проливают свет на то, почему при нашем выборе определения для метаматематической операции подстановки последняя применяется только к свободным вхождениям переменных. [24]

А ( х), где А ( х) является предшествующей формулой, такой, что х есть переменная, не имеющая свободных вхождений ни в одной из посылок. [25]

Это соотношение неверно, если в выводе формулы А из Е, В используется правило обобщения ( G) по некоторой переменной, имеющей свободное вхождение в В. Например, вывод Р - VxP вполне законный, тогда как импликация ( PiDVxP), естественно, необщезначима. [26]

Данное применение постулата системы GI или G2 останется применением того же постулата, если во всех секвенциях этого применения подставить данный терм вместо ( всех свободных вхождений) данной переменной, при условии, что в случае - V или 3 -: ( i) подставляемый терм не содержит переменной Ъ рассматриваемого применения и ( ii) переменная, вместо которой происходит подстановка, отлична от Ъ этого применения и, кроме того, в любом случае, при условии, что ( ш) подставляемый терм свободен для этой переменной в каждой формуле всех секвенций рассматриваемого применения. [27]

Высказывание Зж А ( х) истинно тогда и только тогда, когда в области возможных значений переменной ж найдется такой объект, что при подстановке его имени вместо свободных вхождений ж в А ( х) получается истинное высказывание. [28]

Если одна и та же переменная входит в выражение и как свободная, и как связанная, то представляемая этим выражением величина зависит только от значения этой переменной в ее свободных вхождениях. [29]

Тогда в результате подстановки t вместо х в f получится формула, обозначаемая как / ( tlx), которая определяется следующим образом: модифицируем каждый атом из /, содержащий свободное вхождение х в f, по следующим правилам. [30]

Страницы: 1 2 3 4