离散数学1-4.pptVIP

推 理 理 论 * 在实际应用的推理中，我们常常把本门学科的一些定律、定理和条件，作为假设前提，尽管这些前提在数理逻辑中实非永真，但在推理过程中，却总是假设这些命题为T，并使用一些公认的规则，得到另外的命题，形成结论，这种过程就是论证。 定义1-8、1 设A和C是两个命题公式，当且仅当A→C 为一重言式，即A?C ，称C是A的有效结论。或C可由A逻辑地推出。 这个定义可以推广到有n个前提的情况。 设H1，H2，…，Hn，C是命题公式，当且仅当 称C是一组前提H1，H2，…，Hn的有效结论。 判别有效结论的过程就是论证过程，论证方法千变万化，但基本方法是真值表法、直接证法和间接证法。 （1）真值表法 设P1，P2，…，Pn是出现于前提H1，H2，…，Hn和结论C中的全部命题变元，假定对P1，P2，…，Pn作了全部的真值指派，这样就能对应地确定H1，H2，…，Hn和C的所有真值，列出这个真值表，即可看出（A）式是否成立。 两种方法进行判断： 从真值表上找出H1，H2，….，Hn真值全部为T的行（以确定H1∧H2∧….∧An为真），若C在该行的真值也为T，那么H1∧H2∧….∧Hn→C永真 找出C真值为F的行，在每个这样的行中，H1，H2，….，Hn的真值中至少有一个为F（使H1∧H2∧….∧Hn为F），这样，同样可以确保H1∧H2∧….∧Hn→C永真 因此得到 成立 例：判断下面推理是否正确： 如果天气凉快，张三就不去游泳；天气凉快；所以张三没有去游泳。 证明：P：天气凉快 Q：张三去游泳 前提：P → ? Q，P 结论： ? Q 即判断（（P → ? Q） ? P） → ? Q为重言式 T T F F F T T F T T F T F F T T ? Q P → ? Q Q P （2）直接证法 直接证法就是由一组前提，利用一些公认的推理规则，根据已知的等价或蕴含公式，推演得到有效的结论。 P规则：前提在推导中过程中的任何时候都可以引入使用。 T规则：在推导中，如果有一个或多个公式、重言蕴含着公式S，则公式S可以引入推导之中。 (见P43常用的蕴含式和等价式列表） （3）间接证法 定义1-8、2 假设公式H1，H2，…，Hm中的命题变元为P1，P2，…，Pn ，对于P1，P2，…，Pn的一些真值指派，如果能使 H1∧H2∧….∧Hm 的真值为T，则称公式H1，H2，…，Hm是相容的。如果对于P1，P2，…，Pn的每一组真值指派使得H1∧H2∧….∧Hm 的真值均为F，则称公式H1，H2，…，Hm是不相容的。 不相容的概念可以简述为： 若A ∧B ∧C为矛盾式（永假式），则称A、 B、C互不相容。 间接证法的第一种情况：（反证法） H ?C ，首先假设结论不成立，即将 ┒ C作为已知（新增附加前提），然后证明H与┒ C矛盾（不相容，假设不成立）。 间接证法的第二种情况：（CP规则） H ?（R → C） ? （H ∧R）? C，即将R作为附加前提，用H与R证明C。 例题: 例题1 证明 （直接法） 例题2 证明 例题3 证明 可逻辑推出┒A 例题4 证明 （间接法） 例题5 证明 重言蕴含D→C。 例题6 设有下列情况，结论是否有效？ （A）或者是天晴，或者是下雨。 （B）如果是天晴，我去看电影。 （C）如果我去看电影，我就不看书。 结论：如果我在看书则天在下雨。 例题1 证明：证法1 证法2： 例题2 证明 ? *