《离散数学》PPT课件

- 第七章 谓词逻辑 - 广东工业大学计算机学院 - 7.3 谓词演算的推理理论 - 7.2 等价式与永真蕴含式