複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/變形規則/22405442
複製
複製成功

變形規則

鎖定
變形規則是形式系統中規定如何從一個或幾個公式經過符號變換而推導出另一公式的規則。從思維方面考慮，它經過解釋後就是演繹系統的演繹推理規則；從符號方面着眼，它是符號序列的變換規則。 [1] 
中文名
變形規則
類    型
邏輯學術語
從公理出發，應用變形規則進行推導可以得出一系列公式，這些公式經解釋後就是系統裏的定理。例如有的命題演算的變形規則有兩個：命題變項代入規則和分離規則。
參考資料
  • 1.    彭漪漣．邏輯學大辭典：上海辭書出版社，2004年12月