Что такое Оператор? Значение и толкование слова operator, определение термина

Оператор - (от лат. operator — действующий)  — одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные. Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как «тот х, ко­торый». Вместе с предикатом, скажем, «тяжелый» оно дает выра­жение «Тот х, который является тяжелым». Особое значение среди О. имеют кванторы: «для всех х» - кван­тор общности и «существует х такой, что» - квантор существова­ния. Связывание кванторами переменных в предикате дает истин­ное или ложное высказывание. Пусть в выражении «х > 5» переменная х представляет действи­тельные числа. Применив к этому выражению квантор общности,   получаем ложное высказывание: «Для каждого такого числа вер­но, что оно больше пяти». Применив к этому же выражению кван­тор существования, получаем истинное высказывание: «Существу­ет такое действительное число, которое больше пяти».

Посмотреть значение слова Оператор в других словарях:

Что означает термин оператор?Большой бухгалтерский словарь

Толкование слова ОПЕРАТОРСловарь иностранных слов

Что такое Оператор?Философский словарь

Определение термина операторЭтимологический словарь Фасмера

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Описание - см.: Высказывание дескриптивное.

Описание Состояния - (англ. state description)  — термин, вве­денный австрийским логиком Р. Карнапом для обозначения...

Описательно-Оценочное Высказывание - см.: Выска­зывание дескриптивное, Оценочное высказывание.

Описательное Высказывание - см.: Высказывание дескрип­тивное.

Определение - (лат. definitio)  — логическая операция, раскры­вающая содержание понятия. Напр., обычное О....

Определение Аксиоматическое -  - неявное определение понятия путем указания множества аксиом, в которые оно вхо­дит наряду с...

Определение Генетическое - (от греч. genesis - происхож­дение, источник)  — классическое, или родо-видовое, определе­ние, в...

Определение Классическое - или: Определение через род и видовое отличие,  - определение, в котором пред­меты определяемого...

Определение Неявное -  — определение, не имеющее формы равенства двух понятий. К О. н. относятся определение...

Определение Номинальное -  — определение, выражаю­щее требование, как должно употребляться вводимое понятие, к каким...