КВАНТОР

КВАНТОР

- общее название для логических операций, к-рые по предикату Р(х)строят высказывание, характеризующее область истинности предиката Р(х). В математич. логике наиболее употребительны квантор всеобщности и квантор существования Высказывание означает, что область истинности предиката Р(х)совпадает с областью значений переменной х. Высказывание означает, что область истинности предиката Р(х)непуста. Если интересуются поведением предиката Р(х)не на всей области значений переменной х, а лишь на ее части, выделяемой предикатом R(x), то часто употребляют так наз. ограниченные кванторы и при этом высказывание Р(х) означает то же, что и а Р(х)- то же, что где a - знак конъюнкции,- знак импликации.

В. Е. Плиско.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Нужна курсовая?
Синонимы:

Смотреть что такое "КВАНТОР" в других словарях:

  • КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… …   Философская энциклопедия

  • квантор — сущ., кол во синонимов: 1 • оператор (24) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • квантор — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN quantifier …   Справочник технического переводчика

  • Квантор — Квантор  общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» …   Википедия

  • Квантор — (от лат. quantum сколько) символ, используемый для обозначения некоторых операций математической логики, одновременно логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в… …   Начала современного естествознания

  • квантор — (лат. quantum сколько) символ математической логики; логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в результате её применения. Новый словарь иностранных слов. by EdwART, ,… …   Словарь иностранных слов русского языка

  • квантор — а, ч., лог. Логічний оператор, який переводить одну висловлювальну форму в іншу. Квантор існування …   Український тлумачний словник

  • квантор — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m …   Automatikos terminų žodynas

  • Квантор всеобщности — Квантор всеобщности (обозначения: , ∀)  это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких то отдельных из указанных чисел. Формально говоря, это квантор,… …   Википедия

  • квантор всеобщности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN universal quantifier …   Справочник технического переводчика


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»