【精选】四川大学离散数学第二章.pdf

习题课1-命题逻辑 2014 秋季 第一章 命题逻辑总结 一、基本概念  命题 命题的真值 原子命题、复合命题 逻辑联结词（～、∨、∧、、→、）  命题公式 公式的解释 永真式(重言式) 永假式(矛盾式，不可满足公式) 可满足式  命题公式的等价 基本等价式——命题定律 替换规则（定理） 对偶式 对偶原理  范式 句节、子句、短语、析取范式、合取范式 极小项主析取范式 极大项主合取范式  命题公式的蕴涵 基本蕴含（关系）式  推理规则 ① P规则（称为前提引用规则） ② Ｔ规则（逻辑结果引用规则） ③ ＣＰ规则（附加前提规则） 二、基本方法 1、应用基本等价式及置换规则进行等价演算 2、求主析取（主合取）范式的方法 1）公式转换法 2）真值表技术法 主合取范式在命题公式的真值表中，使公式取值 0时的解释所对应的全部极大项的合取式。 主析取范式在命题公式的真值表中，使公式取值 1时的解释所对应的全部极小项的析取式。 3、推理的各种方法  （1）直接法  （2）利用CP规则  （3）反证法 4、消解法 三、典型例题 1.命题逻辑表达式的翻译：  除非你已满16周岁，否则只要你的身高不足1.2米就不 能乘公园滑行铁道游乐车。 解：令P：你能乘坐公园滑行铁道游乐车。 Q：你身高不足1.2米。 R：你已满16周岁。  翻译成： (¬RΛ Q)→¬ P 2、试证明 (P∧(Q∨R))∨(P∧ ～Q∧ ～R) P 证明： (P∧(Q∨R))∨(P∧ ～Q∧ ～R) P∧((Q∨R)∨(～Q∧ ～R)) （分配律） P∧((Q∨R)∨～ (Q∨R)) (De Morgan定律) P∧T （矛盾律） P (同一律) 3、证明 ((P∨Q) ∧～(P∧Q))  ～(PQ) 证： ((P∨Q)∧～(P∧Q))  ((P∨Q)∧(～P∨～Q)) (De Morgan定律) ((P∨Q)∧～P)∨ ((P∨Q)∧～Q)) （分配律） ((P∧～P)∨(Q∧～P))∨((P∧～Q)∨(Q∧～Q))  (Q∧～P)∨(P∧～Q) （矛盾律）  ～(～Q∨P)∨～(～P∨Q) (De Morgan定律) ～((Q→P)∧(P→Q)) （蕴涵式） ～(PQ) （等价式） 4、 G=～(Ｐ→Ｑ)∨Ｒ，求公式G的主析取范式和主合取范式。 解：首先列出其真值表如下： P Q R P→Q ～ （P→Q） ～(P→Q)∨R 0 0 0 1 0 0 极大项 P∨Q∨R 0 0 1 1 0 1 极小项 ～P∧～Q∧R 0 1 0 1 0 0 P∨～Q∨R 0 1 1 1 0 1 ～P∧Q∧R 1 0 0 0 1 1 P∧～Q∧～R 1 0 1 0 1 1 P∧～Q∧R 1 1 0 1 0 0 ～P∨～Q∨R 1 1 1 1 0 1 P∧Q∧R 主析取范式