【五術堪輿學苑】

標題: 【述詞邏輯】 [打印本頁]

作者: 豐碩    時間: 2012-11-8 13:35
標題: 【述詞邏輯】

述詞邏輯

 

英語翻譯:predicatelogic

 

【辭書名稱】資訊與通信術語辭典

 

為數理邏輯的基本形式,它允許使用變數與變數的函數,為一種命題邏輯的推廣。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary




歡迎光臨 【五術堪輿學苑】 (http://124.156.177.65/) Powered by Discuz! X3.1