【自由出現】
<P align=center><STRONG><FONT size=5>【<FONT color=red>自由出現</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：freeoccurrence</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>在述詞演算中，若變數的出現不是約束出現，就稱為自由出現。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>例如，在A（x）＝M（x,y）vP（x,z）中，y和z的出現是自由出現，而P（x,z）中的X也是自由出現。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]