Квантор: Разлика между версии
Изтрито е съдържание Добавено е съдържание
пълна преработка |
Редакция без резюме |
||
Ред 1:
'''Кванторите''' са символи на дадено [[предикатно смятане]] или [[формален език]], които служат за означаване на квантифициращи функции, превръщащи еднин израз в друг. В класическото двузначно предикатно смятане се използват кватнорът за общност <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>\exist_{R(x)}(P(x))</math>,
което е равнозначно на
|