Имя

- логическая операция, соответствующая образованию высказывания "если А, то В" из высказываний Аи В. В формализованных языках И. Чаще всего обозначается символами Высказывание Аназ. Посылкой высказывания а высказывание В- его заключением. Точный смысл высказывания различен при классическом, конструктивном и других подходах к построению семантики языка. В языках с классич. Семантикой употребление 'И. Согласовано с истинностной таблицей. Так понимаемая И. Наз. Материальной импликацией. В. Е..

- группа Gвзаимно однозначных отображений на себя ( подстановок )нек-рого множества S, для к-рой существует разбиение множества Sв объединение непересекающихся подмножеств S1, . ., Sm,обладающее следующими свойствами. Число элементов хотя бы в одном из Si больше единицы. Для любой подстановки и любого номера i,существует такой номер j, что gотображает Si на Sj. Набор подмножеств S1,. ., Sm наз. Системой импримитивности, а сами подмножества Si- областями импримитивности группы G. Не импримитивна..

1. Структурная единица языка (или эма) как элемент абстрактной системы языка в отвлечении от ее конкретных реализаций единиц в речи (или алло).. ..

- 1) И. М. В измеримом пространстве относительно измеримого преобразования Тэтого пространства - такая мера m на что m(A)=m(T-1A). Для всех Обычно подразумевается, что мера конечная (т. Е. или по крайней мере cr-конечная (т. Е. Xможно представить в виде счетного объединения где. В наиболее важном случае, когда Т- биекция и отображение T-1 тоже измеримо (тогда говорят, что Тобратимо, имея в виду обратимость в классе измеримых преобразований), инвариантность меры m эквивалентна тому, что m(A)=m..