Квантор
Кванторите са символи на дадено предикатно смятане (или формален език), които служат за означаване на квантифициращи функции. Прилагането им върху израз от предикатното смятане дефинира нов израз от същото смятане. В класическото двузначно предикатно смятане се използват кванторът за общност („за всяко...“) и кванторът за съществуване („съществува...“). Област на действие на квантора или се нарича изразът, следващ непосредствено или , където e променлива. Ако позицията на символа лежи в областта на действие на квантора, то участието на променливата в тази позиция e свързано. Променливата се нарича напълно свободна, ако тя не участва в някоя от поредиците: или . В предикатната логика с помощта на квантори могат да се конструират съждения, характеризиращи областта на истинност на даден предикат. Кванторът се нарича ограничен, ако съждението се отнася за част от дефиниционна област на свързаната от квантора променлива. Например:
- ,
което е равнозначно на
- ,
или
- ,
което е
- .
Използват се още кванторите („съществува най-много един...“), („съществува точно един...“) и („съществуват точно ...“).
В зависимост от разрешените квантификации се различават предикатни логики от първи, втори,..., -ти и т.н. ред.
Терминът „квантор“ е използван за пръв път от Готлоб Фреге.
Литература
редактиране- Ю. Манин: Лекции по математической логике, часть I, Москва, 1974.
- В. Маркин: Логика предикатов.