Sense #0 contexts

… должен быть материал, который их компенсирует, причем в этом случае одновременно с приписыванием символа ЛФ определенному узлу происходит и соответствующая перестройка структуры. Например, в предложении …

… F -- совокупность «косвенных» свойств а из А и S(a, F) -- способ приписывания а из А векторов значений «косвенных» свойств F, (5) задан исходный материал < …

… (2) заданы: Ф -- совокупность «прямых» свойств а из А и <formula> -- способ приписывания а из А векторов значений «прямых» Ф; (3) задан S(A, Ф) -- …

… ∀ — неизбирательный квантор общности) истинна, если, и только если, она истинна при любом приписывании значений всем свободным переменным в Ф. Квантификацию по моментам времени, т. е …

… неизбирательного квантора — это обобщение понятия истинности формулы со свободными переменными относительно заданного приписывания значений: формула вида ∀Ф (где ∀ — неизбирательный квантор общности) истинна, если, и только …