限制(邏輯) - 維基百科，自由的百科全書 - Wikipedia

限制(邏輯) 維基百科，自由的百科全書 限制是建立的，它假定除非特殊指定否則事物同預期的一樣。

麥卡錫後來使用限制來嘗試解決。

在它最初的公式中，限制最小化了某些謂詞的，這裡的謂詞的外延是謂詞在其上為真的變量元組的集合。

這種最小化類似於把不知道為真的假定為假的。

這是一篇與相關的。

你可以透過擴充其內容。

取自「」 ：隱藏分類： 導覽選單 個人工具