ФЭНДОМ


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

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

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

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

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

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

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

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

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

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

da:Kvantoreo:Kvantoronl:Kwantor

pl:Kwantyfikator sv:Kvantifikator