离散数学自考第一章课后习题和答案.pptVIP

下面介绍不用真值表求一命题公式主合取范式的方法： （1）化为与命题公式等价的合取范式； （2）除去真值为“T”的析取项和除去析取项中相同变元且只保留一个，变为最简合取式； （3）添项，使析取项均变为极大项； 例如：Ｐ、Ｑ为二个变元， 即：Ｐ?Ｐ∨（Ｑ∧?Ｑ） ? （Ｐ∨Ｑ）∧（Ｐ∨ ?Ｑ） （4）合并相同的极大项，保留一项。 例：求Ｐ∧（Ｐ→Ｑ）∨Ｑ的主合取范式 解：原式 ?Ｐ∧（?Ｐ∨Ｑ）∨Ｑ 　　　　　?（Ｐ∧Ｑ）∨Ｑ 　　　　　?（Ｐ∨Ｑ） ∧Ｑ 　　　　　? （Ｐ∨Ｑ）∧（ ?Ｐ∨Ｑ） * 根据小项与大项的刚好相反的编码规则，主析取式与主合取式可以写成统一的编码： （Ｐ∧（Ｐ→Ｑ））∨Ｑ ?（Ｐ∧Ｑ）∨（?Ｐ∧Ｑ）（主析取式） =m11 ∨m01=∑（1，3） ?（Ｐ∨Ｑ）∧ （?Ｐ∧Ｑ）（主合取式） =M 00∧M10 =∏（0，2） ?（Ｐ∧Ｑ） ? （?Ｐ∧?Ｑ）∨（?Ｐ∧Ｑ）∨（Ｐ∧?Ｑ）（主析取式） = m00 ∨m01 ∨m10 =∑（0，1，2） ?（ ?Ｐ∨ ?Ｑ） （主合取式） = m11 = ∏（3） m，M的小标为二进制， 而∑， ∏的小标为对应的十进制 * 已知A主析取式范式，如何求主合取式范式？ 求出A的主析取式中为包含小项的小标。 把1的求出的小标写成与之相反的对应大项。 把2中写成的大项合取，几位A的主合式范式。 * 1.6.推理理论 按公认的推论规则，从前提集合中推导出一个结论来，这样的推导过程称为演绎，或者叫形式证明。 在任何论证中，若认定前提是真的，且从前提集合推导出结论的论证是遵守了逻辑规则的，则我们称此结论是合法的。 根据逻辑规则推导出来的任何结论称为有效结论。 推论规则就是指确定论证的有效性的判据，常是用命题形式表示这些规则，而不涉及实际命题和它的真值。 * 本节介绍的证明方法，归纳分成三类： （一）真值表技术； （二）主范式方法及等值演算法； （三）构造论证。 真值表技术的主要依据是“→”的真值表定义。 若Ｐ?Ｑ当且仅当 （Ｐ→Ｑ）为永真式。 P Q Ｐ→Ｑ F F T F T T T F F T T T * 1.6.1真值表技术 定义：设H1，H2,…Hm,Ｃ都是命题公式，当且仅当H1 ∧ H2 ∧ … ∧ Hm ?Ｃ，才可以说Ｃ是前提集合｛ H1，H2,…Hm ｝的有效结论。 从给定真值表常用的判断方法有二种： （１）检查真值表中H1，H2,…Hm全部为“Ｔ”的所有行，看结论Ｃ是否也均为“Ｔ”，若Ｃ均为“Ｔ”，则结论有效。否则结论无效。 （２）看结论Ｃ为“Ｆ”的所有行，检查每行前提H1，H2,…Hm中是否至少有一个为Ｆ，若有“Ｆ”，则结论有效；若有均为“Ｔ”的行，则结论无效。 * 例：试证明下列结论是否有效，画出真值表： P Q Ｐ→Ｑ ?Ｐ ?Q ? （Ｐ∧Ｑ） Ｐ?Ｑ F F T T T T T F T T T F T F T F F F T T F T T T F F F T 由真值表可见： （１）Ｐ，Ｐ→Ｑ?Ｑ　　　　　　　　　　 有效 （２）Ｐ→Ｑ，?Ｐ?Ｑ　　　　　　 　　　无效 （３）Ｐ→Ｑ， ? （Ｐ∧Ｑ） ? ?Ｐ 　　 　有效 （４） ?Ｐ，Ｐ?Ｑ? ? （Ｐ∧Ｑ）　 　　　有效 （５）Ｐ→Ｑ，Ｑ?Ｐ　　 　　　　　 　无效 * 例：H1：如果大连是一个大城市，则大寨是一个乡村； Ｐ→Ｑ 　 H2：大寨是一个乡村；　　Ｑ 　Ｃ：大连是一个大城市；　　Ｐ 则：Ｐ→Ｑ，Ｑ?Ｐ 无效 或者称：Ｐ不能从前提集合中推导出来。 * 1.6.2主范式方法及等值演算法 表1.6.2及表1.6.3是常用的等值公式及蕴含公式 在推理过程中，如果命题变元较多，会多次使用表1.6.2及表1.6.3。每一个推理过程就是一系列命题公式序列，其中命题公式或者是已知的前提，或者是由某些前提应用推理规则得到的结论。 常用的推理规则有： P规则：在推导的任何步骤上都可以引入前提（条件） T规则（1）在证明的任何步骤上，所证明的结论都可以作为后续证明的前提。 （2）等价的命题公式置换。 * 例2 证明： (P∨Q),(P ?R),(Q ?S)?S∨R 步骤 推理过程 规则 根据 (1) (P∨Q) P (2) ? P ?Q T(1) E16 (3) Q ?S P (4) ? P ?S T(2)(3) I6 (5)