-
分離規則
鎖定
分離規則( modus ponens或 rule of detachment)形式系統中的基本變形規則。
- 中文名
-
分離規則
- 外文名
-
modus ponens
rule of detachment
分離規則( modus ponens或 rule of detachment)形式系統中的基本變形規則。它規定:由某系統斷定或肯定A和A-B,可以推得該系統也斷定B。
[1]
- 參考資料
-
-
1.
金炳華等編,哲學大辭典(修訂本) (上、下冊),上海辭書出版社,2001年06月第1版,第367頁