Электронные словари и энциклопедии: Большой энциклопедический словарь, Словарь Даля, Словарь Ожегова и т.д.

Словарь логики
"Оператор"

Главная - Словарь логики - буква О - Оператор
Словарь логики
Искать!

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


Поделитесь с друзьями:


Вы можете поставить ссылку на это слово:

будет выглядеть так: Оператор


будет выглядеть так: Что такое Оператор

Наиболее востребованные слова:    ВОДОПОТРЕБЛЕНИЯ НОРМА / Большой энциклопедический словарь. Сельское хозяйство
   Прованс / Энциклопедический словарь
   Флудить / Словарь компьютерного жаргона
   Русский Алфавит / Энциклопедический словарь
   Политическая Карта Мира / Энциклопедический словарь
   СЕКВЕСТИРОВАНИЕ / Бухгалтерский словарь
   Аспект / Словарь Даля
   Группы Крови / Энциклопедический словарь
   АВИЗО / Бухгалтерский словарь
   Рентабельность / Бизнес словарь
   Алфавит / Энциклопедический словарь
   Гетеро... / Сексологический словарь
   Копрофилия / Толковый словарь психиатрических терминов
   Фонетический / Словарь Даля
   Географические Карты / Энциклопедический словарь
   Диверсификация / Бизнес словарь
   Личности структура по Платонову / Толковый словарь психиатрических терминов
   Реализм / Энциклопедический словарь
   Римские Цифры / Энциклопедический словарь
   Интерпретация / Словарь логики
   Логика / Словарь логики
   Синонимы / Энциклопедический словарь
   СЧЕТ-ФАКТУРА / Бухгалтерский словарь
   Части Речи / Энциклопедический словарь
   Филолог / Энциклопедический словарь
2010-2013. Толковый словарь DicDic. Словарь - Оператор - Словарь логики - Толковый словарь DICDIC