03a其他联结词、推理.pptVIP

第五讲 其他联结词 推理理论 其他联结词 练习： 最小联结词组 证明一个联结词集合是最小联结词组 练习： 定义演绎 基本蕴涵式 基本蕴涵式 公式蕴涵的证明方法 形式演绎法 命题的形式推理 补充例题 补充例题 补充例题 本节总结 课 后 任 务 * * 不可兼析取 ↑与非 ↓或非 P Q ? ┑(P?Q) P↑Q ? ┑(P∧Q) P↓Q ? ┑(P∨Q) 只需记住以下公式了： P24真值表及等价式 P25-26真值表及等价式 P26真值表及等价式 由n个命题变元组成不等价的命题公式的个数为： (A) 2n (B) 2n (C) n2 (D) 阅读课本P26-27，比较P18习题（6） 在一个联结词的集合中，如果一个联结词可以由集合中的其他联结词定义，则称此联结词为冗余联结词，否则称为独立联结词。 既能表示任意真值函数（不少），又不含冗余联结词（不多）的联结词集合称为最小联结词组（极小全功能集）。 思考：如何证明？ 第一步： 其他联结词都可用此集合中的联结词代替（即能表示任意真值函数，不少） ； 第二步： 该集合中的联结词不可相互代替（即没有冗余，不多）。 以下联结词集合是最小联结词组： {┑, ∧} {┑, ∨} {┑, ?} {↑} {↓} 课本P29习题 定义演绎：设S是一个命题公式的集合(前提集合)。从S推出公式G的一个演绎是公式的一个有限序列：G1, G2, …, Gk其中，Gi或者属于S，或者是某些 Gj (ji)的逻辑结果。 并且 Gk就是G。我们称公式G为此演绎的逻辑结果，或称从S演绎出G。 有时也记为S?G。 例如：设S={P?Q，Q?R，P?M，?M} ，则下面的公式序列: ?M，P?M，?P，P?Q，Q，Q?R，R就是从S推出R的一个演绎。 P?Q?P P?Q?Q P?P?Q Q?P?Q ?P?(P?Q) Q?(P?Q) ?(P?Q)?P ?(P?Q)??Q P，Q?P?Q ?P，P?Q?Q P，P?Q?Q ?Q，P?Q??P P?Q，Q?R?P?R P?Q，P?R，Q?R?R 若给出前提集合S={G1 ，…，Gk}，公式G，证明S?G有如下两种方法： 1. G1 ? …? Gk ?G 2. 形式演绎法 根据一些基本等价式和基本蕴涵式，从S出发，演绎出G，在演绎过程中遵循以下三条规则： 规则1. 可随便使用前提。 规则2. 可随便使用前面演绎出的某些公式的逻辑结果。 规则3. 如果需要演绎出的公式是P?Q的形式，则我们可将P做为附加前提使用，而力图去演绎出Q。 证明的三种方法 真值表法 直接证法 间接证法 P规则：在演绎过程中可以随便使用前题集合中任一公式 T规则：在演绎过程中可以随便使用前面演绎出来的某些公式的逻辑结果 方法一：如果需要演绎出的公式具有P→Q的形式，则可以将P做为附加前题使用，设法演绎出Q来. 方法二：利用反证法 证明{(P?Q)，(P?R)，(Q?S)}?S?R 1 P?Q 规则1 2 ?P?Q 规则2，根据1 3 Q?S 规则1 4 ?P?S 规则2，根据2，3 5 ?S?P 规则2，根据4 6 P?R 规则1 7 ?S?R 规则2，根据5，6 8 S?R 规则2，根据7。 证明{P?(Q?S)，?R?P，Q}?R?S 1 ?R?P 规则1 2 R 规则3 3 P 规则2，根据1，2 4 P?(Q?S) 规则1 5 Q?S 规则2，根据3，4 6 Q 规则1 7 S 规则2，根据5，6 8 R?S 规则3，根据2，7 若厂方拒绝增加工资，则罢工不会停止，除非罢工超过一年并且工厂经理辞职。 问：如果厂方拒绝增加工资，而罢工又刚刚开始，罢工是否能停止? 令 P： 厂方拒绝增加工资； Q： 罢工停止； R： 工厂经理辞职； S： 罢工超过一年。 于是，G1：(P??(R?S))??Q G2：P G3：?S H： ?Q 我们要证明： H是{G1，G2，G3}的逻辑结果。 1. ?S 规则1 2. ?S??R