Как перевести словосочетание 'variable x may occur free'?

igor196505

 Словосочетание 'variable x may occur free' ?
По смыслу вроде должно быть x - свободная (всегда но смущает слово ' may ', которое, как я помню, указывает на возможность, а не на необходимость... Или я туплю?

igor196505

В контексте фразы:
Let T(x) be a set of formulas, in whitch a single individual variable x may occur free.

sonic112

как минимум переменная Х
variable X

zuzaka

что такое "свободный" в отношении к аргументу функции?

igor196505

Это логика... х - переменная, T(x) - просто обозначение множества формул с заданными свойствами.

Xephon

Тут may относится к occur.
То есть переменная может входить в формулу (а может и не входить но если входит - то свободно (не связана кванторами).

igor196505

То есть под множеством T(x) подразумевается все формулы кроме формул со сзязанным вхождением переменной x ? Довольно странно...
Ладно, тогда другой вопрос, что (какое множество формул) в логике первого порядка обычно называется типом?

Sanych

Возможно
"Единственная независимая переменная x [, которая] может встречаться свободно"
(в том смысле, что никакая другая - не может
PS. Только, вот, я очень плохо помню логический язык. И переменные в логике вроде не независимые, а индивидуальные...

igor196505

Это более подходящий вариант...
Оставить комментарий
Имя или ник:
Комментарий: