离散数学第一章命题逻辑

- 第一章 命题逻辑 Proposition Logic - 1.1 命题及其表示法1.2 联结词1.3 命题公式与翻译1.4 重言式、矛盾式、可满足