Поиск:
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


Статьи

Словари:

Архитектурный словарь
Бизнес словарь
Биографический словарь
Исторический словарь
Медицинский словарь
Морской словарь
Политический словарь
Психологический словарь
Религиозный словарь
Сексологический словарь
Словарь воровского жаргона
Словарь имён
Словарь компьютерного жаргона
Словарь логики
Словарь мер и весов
Словарь нумизмата
Словарь Русских фамилий
Словарь символов
Словарь синонимов
Социологический словарь
Строительный словарь
Философский словарь
Финансовый словарь
Экономический словарь
Этнографический словарь
Юридический словарь



Словарь логики

Оператор:



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

Описание
Описание Состояния
Описательно-Оценочное Высказывание
Описательное Высказывание
Определение
Определение Аксиоматическое
Определение Генетическое
Определение Явное
Определение Классическое
Определение Неявное