离散数学中谓词逻辑推理规则总结，附各规则英文

• P规则（Premise Rule）：前提引入规则，即引入前提集合中的任意一个前提。

• CP规则（Conclusion Premise Rule）：附加前提引入规则，将结论中的前件作为附加前提加入前提集合。CP规则适用于结论为条件式。

• I规则（Implication Rule）:逻辑蕴含规则，通过逻辑蕴含式得到新的逻辑结果。

• E规则（Equivaluence Rule）:等值替换规则，通过等值演算得到新的逻辑结果。

• T规则（Transformation Rule）:逻辑结果引用规则，将由E规则或I规则得到的逻辑结果引入。

• US规则（Universal Specify Rule）:全称特指规则，两种形式： ①∀xP（x）⇒P（y），②∀xP（x）⇒P（c）

• ES规则（Exstential Specify Rule）:存在特指规则，∃xP（x）⇒P（c）

• UG规则（Universal Generalize Rule）:全称推广规则，P（y）⇒∀xP（x）

• EG规则（Exstential Generalize Rule）：存在推广规则，两种形式：①P（y）⇒∃xP（x） ②P（c）⇒∃xP（x）