複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/範式存在定理/22654927
複製
複製成功

範式存在定理

鎖定
範式存在定理（existence theorem of normal form）命題演算中任一合式公式A，恆可表示為等值的合取範式或析取範式。一公式和它的範式等值。置換不改變公式的真值，因而通過置換可以把一公式變換為一範式。 [1] 
中文名
範式存在定理
外文名
existence theorem of normal form
參考資料
  • 1.    金炳華等編．哲學大辭典（修訂本） （上、下冊）：上海辭書出版社，2001年06月第1版：第344頁