Викия

Математика

Квантор

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Поделиться

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

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

Кванторы в естественных языках Править

Кванторы в математической логике Править

  • Высказывание \forall xP(x) означает, что область истинности предиката P(x) совпадает с областью значений переменной x.
  • Высказывание \exists xP(x) означает, что область истинности предиката P(x) непуста.

Вложенные кванторы Править

Свободные и связанные переменные Править

Вхождение переменной в формулу непосредственно после знака квантора или в область действия квантора, после которого стоит эта переменная, называется связанным. Все остальные вхождения переменных называются свободными.

Связанное переименование, свободное переименование

Ограниченные кванторы Править

История появления Править

Ссылки Править

da:Kvantoreo:Kvantoronl:Kwantor

pl:Kwantyfikator sv:Kvantifikator

Викия-сеть

Случайная вики