重言式規則（tautology rule）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：重言式規則
- 外文名：tautology rule
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
從子句集中刪除恆真子句（重言式），不影響子句集的不可滿足性。
出處
《計算機科學技術名詞 》第三版。
重言式規則
相關詞條
- 重言式規則
重言式規則（tautology rule）是2018年公布的計算機科學技術名詞。定義從子句集中刪除恆真子句（重言式），不影響子句集的不可滿足性。出處《計算機科學技術名詞 》第三版。1...
- 重言式
代入規則 A是一個公式, 對A使用代入規則得公式B，若A是重言式，則B也是重言式。為保證重言式經代入規則仍得到保持，要求:1. 公式中被代換的只能是命題變元（原子命題）,，而不能是複合命題。2. 對公式中某命題變項施以代入，...
- tautology
tautology rule [計] 重言式規則 ; 翻譯 ; 同語反覆規則英語 referential tautology 指稱上的同語反覆 TAUTOLOGY - 同義反覆 -tautology 廣義重言式 雙語例句 1.That is no tautology. Why can't there be things only discoverable ...
- 命題演算
命題演算是命題邏輯的公理化，任務是使用演算手段來討論命題邏輯，有自然演算和公理演算兩種方式。公理演算是給出公理，根據確定的推理規則推導出一系列重言式；自然演算不給出公理，利用一系列推理規則推出定理。命題和邏輯連線詞 命題分為...
- 一階理論及其元邏輯
凡重言式都是定理，命題演算的每一公式都可變換成一個與之等值的合取範式，每一個重言的合取範式,都可以從可證公式∨墶 ,→(→∧),套用分離規則推演出來，即是可證明的。因此，變換成合取範式的原來那個公式是可證明的，即是定理...
