【命題演算】
<P align=center><STRONG><FONT size=5>【<FONT color=red>命題演算</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：propositionalcalculus</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>符號邏輯的一種系統，以命題為單位，藉邏輯連接詞予以結合，且逐步推論以決定命題的真假值。</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]