noun
жалпылаушы квантор
A logical symbol (∀) used in predicate logic to indicate that a statement applies to all elements of a particular set.
Предикаттық логикада белгілі бір жиынның барлық элементтеріне мәлімдеме қолданылатынын көрсететін логикалық белгі (∀).
sordсөздік / EN↔KZsordсөздік / EN↔KZsord