【存在量化變數】
英語翻譯：existentiallyquantifiedvariable
【辭書名稱】資訊與通信術語辭典
於存在量的演算中，隨存在量操作符號〝〞後所出現的參數，若其再出現於另一存在量作用域中，則稱該參數為存在量化變數。
例如（x）M（x,y）式中的x即為存在量化變數。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
| 歡迎光臨 【五術堪輿學苑】 (http://124.156.177.65/) | Powered by Discuz! X3.1 |