(от лат. operator — действующий ) — одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение , связывающее переменные. Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как «тот х, который». Вместе с предикатом, скажем, «тяжелый» оно дает выражение «Тот х, который является тяжелым». Особое значение среди О. имеют квантор ы : «для всех х» - квантор общности и «существует х такой , что» - квантор существования. Связывание кванторами переменных в предикате дает истинное или ложное высказывание . Пусть в выражении «х > 5» переменная х представляет действительные числа . Применив к этому выражению квантор общности, получаем ложное высказывание: «Для каждого такого числа верно, что оно больше пяти». Применив к этому же выражению квантор существования, получаем истинное высказывание: «Существует такое действительное число , которое больше пяти».
Что такое Оператор? Значение слова Оператор в словаре логики
Оператор - (от лат. operator — действующий) — одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные. Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как «тот х, который». Вместе с предикатом, скажем, «тяжелый» оно дает выражение «Тот х, который является тяжелым». Особое значение среди О. имеют кванторы: «для всех х» - квантор общности и «существует х такой, что» - квантор существования. Связывание кванторами переменных в предикате дает истинное или ложное высказывание. Пусть в выражении «х > 5» переменная х представляет действительные числа. Применив к этому выражению квантор общности, получаем ложное высказывание: «Для каждого такого числа верно, что оно больше пяти». Применив к этому же выражению квантор существования, получаем истинное высказывание: «Существует такое действительное число, которое больше пяти».
Однокоренные и похожие слова:
Значение слова Оператор в других словарях:
- Что такое Оператор? Энциклопедический словарь
- Определение термина Оператор? Бизнес словарь
- Толкование слова Оператор? Словарь Ожегова
- Что означает слово Оператор? Философский словарь
- Что означает термин Оператор? Словарь иностранных слов
- Что такое Оператор? Этимологический словарь Фасмера
- Определение термина Оператор? Большой бухгалтерский словарь
- Толкование слова Оператор? Толковый словарь Ушакова
Узнайте лексическое, прямое, переносное значение следующих слов:
- Отношение Типа Равенства - двухместное отношение R между предметами х и ...
- Отношение Рефлексивное - бинарное (двухместное) отношение R, определенное на некотором ...
- Отношение Нерефлексивное - (иррефлексивное) двухместное отношение R, определенное на некотором ...
- Отношение - (в логике) отождествляется с многоместным предикатом. Предикаты подразделяются ...
- Осмысленность - наличие смысла, в противоположность бессмысленности — отсутствию ...
- Определение Явное - определение, имеющее форму равенства двух понятий. Напр.: ...
- Определение Остенсивное - (от лат. ostentus показывание, выставление напоказ) — ...
- Обоснование Оценок - — приведение доводов (аргументов) в поддержку высказываемых оценок ...
- Обозначения Отношение - отношение между именем и его денотатом, т. ...
- Нормативное Высказывание - или: Деонтическое высказывание, — высказывание, устанавливающее какуюто норму ...
- Нормативная Логика - см.: Деонтическая логика. ...
- Норма - см.: Нормативное высказывание. ...
- Неясность - — характеристика употребления термина (понятия) с недостаточно определенным, ...
- Несобственные Символы - см.: Символы собственные и несобственные. НЕТОЧНОСТЬ — характеристика ...
- Амфиболия - (от греч. amphibolia — двусмысленность, двойственность) — логическая ...