DiccionariosForoContactos

   Ruso
Google | Forvo | +
квантор sacentos
lóg. cuantificador m (общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание mrssam)
 Ruso tesauro
кванторы s
gen. в логике и математике - логические эквиваленты слов "все", "каждый" и т. п. кванторы общности, "некоторый", "существует" кванторы существования и др.; операторы, формализующие в исчислении предикатов логические свойства этих выражений. Большой Энциклопедический словарь