Квантор: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме |
Редакция без резюме |
||
Ред 9:
Използват се още кванторите <span style="white-space:nowrap;"><math>\exist!</math></span> ("съществува най-много един..."), <span style="white-space:nowrap;"><math>\exist!!</math></span> ("съществува точно един...") и <span style="white-space:nowrap;"><math>\exist_n!!</math></span> ("съществуват точно <math>n</math>...").
В зависимост от разрешените квантификации се различават предикатни логики от първи, втори,..., <math>n</math>-ти и т.н
Терминът „квантор“ е използван за пръв път от [[Готлоб Фреге]].
|