【演譯系統完整性】

豐碩

【演譯系統完整性】

 

英語翻譯：completenessofdeductionsystem

 

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

 

演譯系統係由兩部份組成，一為由一組□真的合適公式組成的公理子系統，另一為由一組推導規則組成的推導規則子系統。

 

通過推導規則所導出的合適公式稱為定理，推導的過程稱為該定理的證明。

 

如果對某一類合適公式，皆可由公理子系統及推導規則子系統推導出來，則此演譯系統為對這一合適公式具完整性。

 

 

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