离散数学-命题逻辑2

- 第一章 数理逻辑 - 一 命题逻辑命题及其表示法联结词命题公式与翻译真值表与等价式等价式与蕴含式对偶与范式推理理论 - 二 谓词逻辑谓词的概念与表示命