| |||
niceleyici (Natalya Rovina) | |||
Russian thesaurus | |||
| |||
в логике и математике - логические эквиваленты слов "все", "каждый" и т. п. кванторы общности, "некоторый", "существует" кванторы существования и др.; операторы, формализующие в исчислении предикатов логические свойства этих выражений. Большой Энциклопедический словарь |
квантор: 2 phrases in 1 subject |
Logic | 2 |