• 谓词逻辑习题及答案
• 人工智能初步(第一讲)命...
• 第2章一阶逻辑典型习题
• 离散数学一阶逻辑练习题