陈波：逻辑学导论第四章.

 一、个体词、性质谓词、量词和公式  二、关系谓词、重叠量化和二元关系的性质  三、模型和赋值 普遍有效式  四、普遍有效式的判定问题  五、谓词逻辑自然推理系统 QN 1

 一、个体词、性质谓词、量词和公式  二、关系谓词、重叠量化和二元关系的性质  三、模型和赋值 普遍有效式  四、普遍有效式的判定问题  五、谓词逻辑自然推理系统 QN 1 Less