Cтраница 3
Поэтому существует прямая связь между родовыми переменными и кванторами общности. [31]
Полезное наблюдение состоит в том, что за квантором общности часто идет импликация, а за квантором существования - конъюнкция. Чтобы убедиться в этом, рассмотрим несколько контрпримеров. [32]
Связь вводится первым вхождением, которое следует непосредственно после квантора общности. [33]
Еще один случай, при котором квантификация с помощью квантора общности в интеррогативе допускает конечный ответ, возникает тогда, когда область переменной квантификации ограничена конечной категорией. Чтобы ввести в рассмотрение такого рода интеррогативы, в ассерторической логике необходимо иметь заданный грамматикой список конечных категорных условий и эффективный способ определения для каждого условия числа имен в его именной области. Этот список нам нужен для определения семантического понятия интерпретации: предполагаемая интерпретация не должна приписывать значение ни одому элементу реальной области конечного категорного условия, если тот не обозначен некоторым именем из именной области данного условия. [34]
Символы ( J и О называются квантором существования и квантором общности соответственно. [35]
Символическая логика первого порядка, включающая квантор существования Э и квантор общности V, является основой теории реляционных данных. [36]
Мы можем использовать также NOT IN, что эквивалентно применению квантора общности. Рассмотрим пример, с которым мы уже встречались ранее. [37]
Во всяком случае, семантика, приданная связкам, распространяется на кванторы общности и существования очевидным образом, и я буду предполагать, что это уже сделано. [38]
Во всяком случае, семантика, приданная связкам, распространяется на кванторы общности и существования очевидным образом, и я буду предполагать, что это уже сделано. [39]
Можно использовать теоретико-множественные операции объединения и разности, что эквивалентно применению квантора общности, допускается использовать и некоторые возможности реляционной алгебры. Теперь рассмотрим несколько примеров. [40]
Отметим два правила, вытекающие из приведенных выше основных правил для квантора общности: во-первых, разрешается ( с помощью правила Ш и закона упрощения) ставить квантор общности перед истинным выражением, связывая встречающиеся в нем свободные переменные; во-вторых, разрешается ( с помощью правила Ш и закона тождества для предложений) опускать квантор общности, стоящий перед истинным выражением. [41]
Стоит еще раз предупредить, что принятое соглашение относится только к кванторам общности и вдобавок только к кванторам общности, стоящим впереди высказывания. [42]
Отсюда видно, как можно использовать разность множеств, когда нужно записать квантор общности. Это не всегда так просто, и иногда приходится создавать разность разности множеств, как будет показано в гл. [43]
Существует еще одно правило, правило обобщения, которое позволяет нам снова ввести квантор общности в теоремы с переменными, ставшими свободными в результате спецификации. [44]
Выражения Уд; и НА: в логике называют кванторами: Vx - квантор общности ( или всеобщности), а Ял; - квантор существования. [45]