离散数学 谓词逻辑2PPT课件一等奖新名师优质课获奖比赛公开课

- 第二章 谓词逻辑 - 谓词演算旳推理理论 - 等价式与永真蕴含式 - - 2