bounded universal quantifier

有界全稱量詞

學術名詞

• 有界全稱量詞：資訊