• 离散数学 一阶逻辑等值演...
• 离散数学一阶逻辑等值演...
• 一阶逻辑等值演算与推理
• 离散数学(一阶逻辑等值演...
• 05-一阶逻辑等值演算与推...
• 第5章一阶逻辑等值演算与...
• 一阶逻辑推理
• 第5章谓词逻辑的等值和推...
• GRE逻辑推理
• 简易逻辑推理一