--------------
所有不含否定的术语系统都是单调的，因为定义在术语系统的基本解释扩展集合上的映射是单调的；而且定义在基本解释扩展集合上的偏序构成完备格，完备格上的单调映射具有不动点（Tarski不动点理论），映射上的不动点是术语系统的模型。因此，不含否定的术语系统，具有最大和最小不动点模型。
------------------

如果不把术语系统的语义模型看明白，后面的推理、推理算法、算法的复杂性分析等就会摸不着头脑。

但看明白第二章，需要有离散数学的基础，包括基本数理逻辑知识、集合论（关系及其运算，函数）、代数系统（格代数）还有图论的基本知识。看第二章之前先看离散数学，看的过程中还需要不断复习离散数学！

欢迎勘误，仅供参考。
附：关于不含否定的术语系统的语义模型.rar