四川大学离散数学第二章.pdfVIP

习题课1-命题逻辑 2014 秋季 第一章 命题逻辑总结 一、基本概念  命题 命题的真值 原子命题、复合命题 逻辑联结词（～、∨、∧、、→、）  命题公式 公式的解释 永真式(重言式) 永假式(矛盾式，不可满足公式) 可满足式  命题公式的等价 基本等价式——命题定律 替换规则（定理） 对偶式 对偶原理  范式 句节、子句、短语、析取范式、合取范式 极小项主析取范式 极大项主合取范式  命题公式的蕴涵 基本蕴含（关系）式  推理规则 ① P规则（称为前提引用规则） ② Ｔ规则（逻辑结果引用规则） ③ ＣＰ规则（附加前提规则） 二、基本方法 1、应用基本等价式及置换规则进行等价演算 2、求主析取（主合取）范式的方法 1）公式转换法 2）真值表技术法 主合取范式在命题公式的真值表中，使公式取值 0时的解释所对应的全部极大项的合取式。 主析取范式在命题公式的真值表中，使公式取值 1时的解释所对应的全部极小项的析取式。 3、推理的各种方法 