2第一章复合命题极其推理精品.pptVIP

2，枝：这是从树的末端到作为S语句前提的节点的连续路径。一个真值树至少会有一个枝，有些树会有多个枝甚至无限的枝。 3，闭枝：如果树的一个枝中出现A,┐A这样相互否定的公式，则该枝是闭枝。闭枝出现后该枝的构造终结。 4，闭树：如果树的所有枝都是闭枝，则该树是闭树。闭树是终结的树。否则，如果至少一个枝不是闭的，则称该树为开树。 二，树的构造规则 阐述树形图的构造规则之前，下述有等值关系的公式是规则展开的依据，它们都是系统内的定理 A? ??A ?（A?B）?A??B ?（A?B） ? ?A??B ?（A?B） ??A??B （A?B） ?（A?B）?（?A??B） ?（A?B）?（?A?B）?（A??B） （A?B）? ?A?B 在下面的树形图的构造规则中，左边的是不分枝的规则，右面的是分枝的规则： ①??A ⑤ ?（A?B） A ?A ?B ②A?B ⑥ A?B A A B B ⑦ A?B ③?（A?B） ?A B ?A ?B ⑧ A?B ④?（A?B） A ?A A B ?B ?B ⑨ ?（A?B） A ? A ?B B 归纳上述的规则分为三类： 第一对于“┐ ┐A”，直接写A；不分支。 第二对于“合取”或等值于合取的公式不分支 第三，对于析取或者等值于析取的公式，要分支。 三，树形图的构造方法： 第一 对于任一语句集的判定，应将被判定公式或它的否定公式列于树的上方作为前提。每次判定的分解都应从主逻辑算子开始，分解的终点是原子公式或原子公式的否定式。 第二 每分解一个逻辑算子构成一个步走骤，步骤自上而下依次标出。 第三 被分解过的公式应作上“?”号，如果同一树的同一枝中出现相互否定的公式则结束这一枝的分解，并作“×”号；如果树的所有枝都作了“×”标记，则可结束该树的构造，不管是否还有未分解的公式。 第四 被分解的公式如果是已给的前提，应在右边注明“P”，如果是依据规则由在先的公式而得的公式，应在右边注明在先的公式所在的位置的序号。 第五 分解公式集合时，被分解的公式次序并不重要，应按照最简的原则，优先分解那些可能导致“×”号出现的或那些不分枝的公式。 第六 如果被分解的公式存在于树的分枝之先，则分解该公式时应将结果分别写入各个树枝中。 第七，集合的所有公式分解到原子公式或原子公式否定为止。 例如： 构造{A ?B、? A ??B}的树形图 ① ?A??B ? P ② A?B ? P ③ A ②? B ④ ?A ?B × × ①?“完毕” 例 证明├（A?B）?（?B??A） ① ?（（A?B）?（?B??A）） ? P ② （A?B）? ① ?（?B??A） ? ③ ?B ??A ? ② ④ A ⑤