以下是关于《人工智能：一种现代方法》命题逻辑和一阶逻辑篇章的知识点索引：
?
------------------------------------一阶逻辑------------------------------------------------
一阶逻辑基本概念 --- chapter 8.2
全称量词与存在量词 --- chapter 8.2.6
一阶逻辑的等价表示（x=y） --- chapter 8.2.7
一阶逻辑的断言 --- chapter 8.3.1
关于定理和公理与知识库的关系 --- chapter 8.3.2
一阶逻辑集合域 --- chapter 8.3.3
所谓“列表”不同于集合，列表的元素是有顺序关系的，而且允许重复元素以及nil空元素（同上一章节）
?
原文：http://www.cnblogs.com/gankai-7/p/4216838.html