existential quantifier

  • 简体: 存在量词[信息科技]
  • 正體: 存在量詞[計算機]
  • 正體: 存在量詞[電子計算機]