离散数学及其应用(第6版本科教学版)

出版者的话 改编者序 译者序 前言 第1章基础：逻辑和证明 1.1命题逻辑 1.1.1引言 1.1.2命题 1.1.3条件语句 1.1.4复合命题的真值表 1.1.5逻辑运算符的优先级 1.1.6翻译语句 1.1.7系统规范说明 1.1.8布尔检索 1.1.9逻辑难题 1.1.10逻辑运算和位运算 练习 1.2命题等价 1.2.1引言 1.2.2逻辑等价 1.2.3德摩根律的运用 1.2.4构建新的逻辑等价式 练习 1.3谓词和量词 1.3.1引言 1.3.2谓词 1.3.3量词 1.3.4其他量词 1.3.5约束论域量词 1.3.6量词的优先级