Квантор: Разлика между версии

'''Кванторите''' са символи на дадено [[предикатно смятане]] (или [[формален език]]), които служат за означаване на квантифициращи функции. Прилагането им върху израз от предикатното смятане дефинира нов израз от същото смятане. В класическото двузначно предикатно смятане се използват кванторът за общност <math>\!^\forall</math> ("за всяко...") и кванторът за съществуване <math>\!^\exist</math> ("съществува..."). ''Област на действие'' на кванторът <math>\!^\forall</math> или <math>\!^\exist</math> се нарича изразът следващ непосредствено <span style="white-space:nowrap;"><math>\!^\forall</math>x</span> или <span><math>\!^\exist </math>x</span>, където <math>x</math> e променлива. Ако позицията на символа <math>x</math> лежи в областта на действие на квантора, то участието на променливата <math>x</math> e свързано с тази позиция. ПрoменливатаПроменливата <math>x</math> се нарича ''напълно свободна'', ако тя не участва в някоя от поредиците: <span style="white-space:nowrap;"><math>\!^\forall</math>x</span> или <span><math>\!^\exist </math>x</span>. В [[предикатна логика|предикатната логика]] с помощта на квантори могат да се конструират съждения характеризиращи областта на истинност на даден предикат. Кванторът се нарича ''ограничен'', ако съждението се отнася за част от дефиниционна област на свързаната от квантора променлива. Например: