数理逻辑-谓词逻辑

 

谓词的概念与表示 

 

 

 

 

 

 

 

 

 

 

 

 

命题函数与量词 

 

 

 

 

 

 

 

量词

 

 

 

 

 

 

 

 

 

 

 

谓词符号化示例·

 

 

 

 

 

谓词演算的永真公式

 

 

 

 

 

 

谓词演算的推理规则

 

 

 

 

 

 

 

 

 

 

 

 

全称指定规则US

 

 

 全称推广规则UG

 

 

存在指定规则ES

 

 

 

 

 

 

 

 存在推广规则EG

 

 

 

 

 

 

 推理示例及顺序

 

 

 

 

 

 

 CP规则的使用

CP(Conditional Proof)规则，若证明A⇒B→C, B可作为附加前提引入。通俗点说，就是咱在做证明题时，看到待证结论是B→C这样的，把B当做前提来用，这就是CP规则。

即证明A⇒B→C，等同证明 A∧B⇒C。

 

 

 

 

 

 

 

  

联结词的扩充与归约