universal quantifier

全稱量詞

學術名詞

  • 全稱量詞:數學、資訊

英文釋義

  1. a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things