existentially quantified variable

存在量詞化變元

學術名詞

• 存在量化變數：資訊