Квантор

Материал из Википедии — свободной энциклопедии

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

Квантор — В логике предикатов, большое значение имеют 2-е операции называемые:

1. Квантор «Существования»
2. Квантор «Общности»

Содержание 1 Кванторы в естественных языках 2 Кванторы в математической логике 2.1 Вложенные кванторы 2.2 Свободные и связанные переменные 2.3 Операции над кванторами 2.4 Ограниченные кванторы 3 История появления 4 Ссылки

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

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

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

[править] Вложенные кванторы

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

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

[править] Операции над кванторами

[править] Ограниченные кванторы

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

[править] Ссылки

Это незавершённая статья по математике. Вы можете помочь проекту, исправив и дополнив её.