对偶与范式版.pptVIP

1-8 推理理论 定义1-8.1 设A和C是两个命题公式，当且仅当A?C为一重言式，即A?C ，称C是A的有效结论。或C可由A逻辑地推出。 定义1-8.2 设H1，H2，…，Hm 和C为命题公式，若H1 ?H2 ? … ? Hm ? C，则称C为一组前提H1，H2，…，Hm 的有效结论。 证明方法如下： ⑴真值表法（分析法） ⑵公式推导： 分为①直接证法、 ②反证法和③CP规则， 后两种称为间接证法。 1-8 推理理论 要证H1 ? H2 ?… ? Hm ? C是重言式 设P1，P2，…，Pn 是出现在H1，H2，…，Hm 和C中的所有命题变元。 真值表： P1，P2，…，Pn ， H1，H2，…，Hm，C 共n+m+1列 1-8.1 真值表法 如果有n个命题变元，则真值表n+m+1列，使得H1，H2，…，Hm 均为T的真值指派，C也为T； 或者看使得C为F的真值指派的行，在每一个这样的行中H1，H2，…，Hm 中至少有一个为F也可。 1-8 推理理论 例：P47 (2) a) 证明：A??C是前提 ?A?B，C??B的有效结论。 A B C ?A?B C??B A??C T T T T F F T T F T T T T F T F T F T F F F T T F T T T