ОПЕРАТОР

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

Источник: Словарь по логике

Найдено научных статей по теме — 8

Читать PDF
136.62 кб

Идентичность как оператор гуманитарных технологий

Тхагапсоев Хажисмель Гисович
Читать PDF
412.51 кб

Оператор вернадскиана в современной теории эволюции и ноосферной парадигме

Яшин А. А.
В соответствии с развитием концепций современной теории эволюции о переходе Земли в новое биогеохимическое состояние ноосферу по В.И.
Читать PDF
494.49 кб

Оператор истины для классической сентенциональной логики и ее расширения на область неправильно пост

Павлов С. А.
In the paper axiomatic truth theory with truth operator for classical sentential logic is proposed. Such theory is extended on domain of not well-formed formulae and on sentential logic that was enriched by quantiers.
Читать PDF
272.44 кб

О непрерывности многозначного оператора с выпулкыми по переключению значениями и порождающего его от

Григоренко А. А.
Читать PDF
170.25 кб

Расширение области определения оператора истинности на ограниченную область символьных выражений

Павлов С. А.
Generalization of logic on the domain of symbolic expressions is realized. Quantifiers are introduced for symbolic expressions variables.
Читать PDF
280.06 кб

Гуманитарные технологии: к проблеме оператора

Тхагапсоев Хажисмель Гисович
В статье показано, что идентичность выступает как эффективный оператор гуманитарных технологий.
Читать PDF
439.56 кб

Динамический подход к деонтической логике: семантика нормативных операторов

Кислов Алексей Геннадьевич
В статье представлена семантика деонтической логики, реализуемая на основе динамической логики высказываний. Стандартная версия такой реляционной семантики (Дж.-Дж. Ч. Мейера) использует семантическую идею А.
Читать PDF
287.33 кб

Исходные положения теории истины с оператором истинности

Павлов С. А.
В статье предложена аксиоматическая теория истины, которая строится как логическая теория с операторами истинности и ложности, которые включены в язык теории и допускают итерацию.

Похожие термины:

  • ОПЕРАТОР АБСТРАКЦИИ

    оператор функциональной абстракции, ? - о п е р а т о р, – логический символ [знак ?, после к-рого ставится переменная (переменные) ], служащий для выражения операции абстрагирования функции (в т.ч. логи
  • Человек-оператор

    от лат. operator – творец) – человек, внутри себя спонтанно творящий свой виртуальный мир; человек, находящийся на второй стадии виртуализированности образа относительно образов его константной реал
  • ОПЕРАНД И ОПЕРАТОР

    элементы научно-технической системы. Операнд - 1) пассивный (терпящий воздействие) элемент бинарного отношения; 2) общее название всех предметов, систем и состояний (частей технической системы), под
  • ОПИСАНИЯ ОПЕРАТОРЫ

    операторы дескрипции) – логич. операторы, посредством к-рых вводятся в рассмотрение т.н. описания (описательные о п р е д е л е н и я) – языковые конструкции (выражения), играющие роль собств. имен (в д