Квантор - существование
Cтраница 2
Применим к А квантор существования Зх. По определению, ЗхА есть отношение с одной переменной у - подмножество в Dyi состоящее из Ъ DVJ для которых существует а Dx с условием ( а, Ъ) А. [16]
Аналогичное утверждение для квантора существования доказывается точно так же. [17]
Символ 3 называется квантором существования. [18]
Знак Эх называется квантором существования. [19]
Xk, связанные кванторами существования, между собой не совпадают. [20]
Символ 3 называется квантором существования. [21]
Символ 3 называется квантором существования, а символ V - квантором всеобщности. [22]
Каждому a 7 сопоставлен квантор существования За булевой алгебры Я, и все эти кванторы перестановочны. [23]
Отсюда возникает задача устранения кванторов существования в формулах, представленных в ПНФ. [24]
Проверим, что 3 есть квантор существования. [25]
Операция 1 представляет собой вынесение квантора существования из внешнего множителя вида Зх % ( х) и, если это нужно, переименование связанной этим квантором переменной. [26]
Теперь надо воспользоваться тем, что квантор существования ( который есть бесконечная дизъюнкция) можно переставлять с дизъюнкцией. [27]
 |
Изображение в А-сети квантора всеобщности. [28] |
Представление в А-сети квантора всеобщности через квантор существования и отрицание приведено на рис. 3.13. Хотя данное представление логически верно, оно интуитивно не очевидно человеку ( особенно при вложенности нескольких кванторов), поэтому будем придерживаться другого представления квантора всеобщности. [29]
Символическая логика первого порядка, включающая квантор существования Э и квантор общности V, является основой теории реляционных данных. [30]
Страницы: 1 2 3 4