Значение слова «квантор»
-
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. Чаще всего упоминают:
Квантор всеобщности (обозначение:
∀
{\displaystyle \forall }
, читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…»).
Квантор существования (обозначение:
∃
{\displaystyle \exists }
, читается: «существует…» или «найдётся…»).
В математической логике приписывание квантора к формуле называется связыванием или квантификацией.
В многозначных логиках также вводятся и другие кванторы, например, квантор плюральности (квантор Решера) (обозначается перевёрнутой M, читается «для большинства …»).
Источник: Википедия
-
ква́нтор
1. лог. филос. общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание
Источник: Викисловарь
Похожие слова и словосочетания
- абстрактные объекты
- адресация
- аналогичность
- аппроксимация
- броузер
- видовое отличие
- вспомогательный глагол
- грамматическое значение
- двойное отрицание
- делитель
- деривация
- дескрипция
- дизъюнкция
- дискретность
- единица речи
- идентификатор
- измеримость
- именная группа
- импликация
- имя вещи
- индексирование
- индуктивное умозаключение
- интенсионал
- квантификация
- квантование
- квантор
- класс объекта
- комбинаторика
- конфигурирование
- лексема
- логическая форма
- местоименное слово
- мнемосхема
- мьютекс
- наблюдаемость
- нелокальность
- неопределённые местоимения
- означивание
- операнд
- перекодировка
- подмножество
- полилиния
- представление знаний
- присваивание
- пропозиция
- разбиение
- разделительное суждение
- различимость
- рекурсия
- репозиторий
- референция
- речевой акт
- семантическое свойство
- семиология
- силлогистика
- синтаксическая связь
- словообразовательный тип
- словоформа
- соотносительность
- средний термин
- сходимость
- таблицы истинности
- тип склонения
- элемент множества
- язык логики
- языковой знак