(от лат. operator - действующий) - одна из категорий исходных символов искусственного (формализованного) языка, наряду с константой, переменной, связкой и др. категориями. Обычно О. определяется как выражение, связывающее переменные. Примером простого О. может служить О. дескрипции, или О. описания. Приписывание его к некоторой переменной х дает выражение, содержание которого можно передать как "тот х, который". Вместе с предикатом, скажем, "тяжелый" оно дает выражение "Тот х, который является тяжелым". Особое значение среди О. имеют кванторы: "для всех х" - квантор общности и "существует х такой, что" - квантор существования. Связывание кванторами переменных в предикате дает истинное или ложное высказывание. Пусть в выражении "х > 5" переменная х представляет действительные числа. Применив к этому выражению квантор общности, получаем ложное высказывание: "Для каждого такого числа верно, что оно больше пяти". Применив к этому же выражению квантор существования, получаем истинное высказывание: "Существует такое действительное число, которое больше пяти".
Если Вы искали другое значение слова/фразы Оператор, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Оператор ищут определения этих слов:
Опровержение — - рассуждение, направленное против выдвинутого тезиса и имеющее своей целью установление его ложности или недосказанности. Наиболее распространенный прием О. - выведение из опровергаемого утверждения следствий, противоречащих истине. Если хотя бы...
Отношение Транзитивное — - двухместное отношение R, определенное на некотором множестве, характеризующееся тем, что для любых х, у, z этого множества из xRy и yRz следует xRz (xRy &yRz->xRz). Примерами О.т. могут быть: "больше", "меньше", "равно", "подобно", "выше",...
Отношение Нерефлексивное (иррефлексивное) — - двухместное отношение R, определенное на некотором множестве, такое, что для любого элемента х этого множества неверно, что оно находится в отношении R к самому себе (неверно, что xRx), т. е. возможен случай, что элемент множества не находится в...
Омонимия — (от греч. homos - одинаковый, опута - имя) - свойство языковых выражений иметь несколько значений или выражать несколько понятий, никак не связанных между собой; напр., слово "лук" может выражать как понятие о растении, так и понятие об оружии....
Отношение Транзитивное — - двухместное отношение R, определенное на некотором множестве, характеризующееся тем, что для любых х, у, z этого множества из xRy и yRz следует xRz (xRy &yRz->xRz). Примерами О.т. могут быть: "больше", "меньше", "равно", "подобно", "выше",...
Определение Операциональное — - определение физических величин (длины, массы, силы и др.) через описание совокупности специфицирующих их экспериментально-измерительных операций, напр.: "Сила есть физическая величина, пропорциональная растяжению пружины в пружинных весах". Иногда...
Определение — (лат. definitio) - логическая операция, раскрывающая содержание понятия. Напр., обычное О. термометра указывает, что это, во-первых, прибор и, во-вторых, именно тот, с помощью которого измеряется температура. О. понятия "термин" говорит, что...
Основание И Следствие — - части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другого. Условное высказывание обычно формулируется с помощью связки "если..., то...". Высказывание,...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
