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