存在量化變數 - 教育百科 | 教育雲線上字典

:::

::: 存在量化變數 - 教育百科

存
在
量
化
變
數

國家教育研究院辭書

關閉

國家教育研究院辭書

基本資料

英文：

existentially quantified variable

日期：

2003年6月

出處：

資訊與通信術語辭典

辭書內容

名詞解釋：
於存在量的演算中，隨存在量操作符號〝∃〞後所出現的參數，若其再出現於另一存在量作用域中，則稱該參數為存在量化變數。例如（∃x）M（x,y）式中的x即為存在量化變數。

資料來源：

國家教育研究院_存在量化變數

授權資訊：

資料採「創用CC-姓名標示- 禁止改作臺灣3.0版授權條款」釋出

詞條功能

推薦關聯詞

貓頭鷹博士

你喜歡貓頭鷹博士嗎

針對貓頭鷹博士的服務你會給幾顆星呢

★ ★ ★ ★ ★