【分解方法】
<P align=center><STRONG><FONT size=5>【<FONT color=red>分解方法</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：resolutionmethod</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>J.A.Robinson於1965年提出，用於定理證明的一種方法。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>在此方式下，只要將需證明的定理寫成合適的一階述詞演算公式，再證明公式恆真，即相當於證明定理成立。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]