高等学校二十一世纪教材
电子教案
离散数学
人民邮电出版社
第一章        命题逻辑
命题逻辑，也称命题演算，记为Ls。它与谓词逻辑组成数理逻辑基础，而命题逻辑又是谓词逻辑基础。数理逻辑是用数学方法即经过引入表意符号研究推理学问。所以，数理逻辑又名为符号逻辑。
退出
1.1 命题与联结词1.2 命题变元和合式公式1.3 公式分类与等价公式1.4  对偶式与蕴涵式1.5 联结词扩充与功效完全组1.6 公式标准型——范式1.7 公式主范式1.8 命题逻辑推理理论