Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/範式存在定理/22654927
範式存在定理
鎖定
範式存在定理(existence theorem of normal form)
命題演算
中任一合式公式A,恆可表示為等值的合取範式或析取範式。一公式和它的範式等值。置換不改變公式的真值,因而通過置換可以把一公式變換為一範式。
[1]
中文名
範式存在定理
外文名
existence theorem of normal form
參考資料
1.
金炳華等編
.哲學大辭典(修訂本) (上、下冊)
:上海辭書出版社
,2001年06月第1版
:第344頁
圖集
範式存在定理的概述圖(1張)
詞條統計
瀏覽次數:
次
編輯次數:6次
歷史版本
最近更新:
不会说的段子手
(2024-05-21)
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄