bounded existential quantifier

有界存在量詞

學術名詞

• 有界存在量詞：資訊