谓词逻辑

1. Object/Individual (个体词语)

   (个体常元)与(个体变元)

2. Domain of Discourse (论域) ：D

3. Predicate (谓词)：$P : D^ n→ {0, 1}$

4. Function (函数)：$f : D^ n → D$

5. Quantifiers (量词):

   Universal Quantifier (全称量词)

   Existential Quantifier (存在量词)

6. Free Variables (自由变元) and Bound Variables (约束变元)

7. Scope (辖域) 例

8. 一些概念

9. WFF

   

10. 一些例子

11. 指派：

12. • universally valid (普遍有效的) if it is true under any assignment;

    • satisfiable (可满足的) if it is true under some assignment;

    • a unsatisfiable (不可满足的) if it is false under any assignment

13. Equivalence of Predicate Formulas ：内容

14. 

15. 

16. 

17. 

18. 

19. 推理

20. Prenex Normal Form (前束范式)

21. Skolem Normal Form

22. 归结法

    

23.