离散数学命题逻辑 推理理论.pptVIP

系统限定 Example 11 : Express the specification “The automated reply cannot be sent when the file system is full” Example 12 : Determine whether these system specifications are consistent “The diagnostic message is stored in the buffer or it is retransmitted” “The diagnostic message is not stored in the buffer” “If the diagnostic message is stored in the buffer, then it is retransmitted” 布尔搜索 例: 找出对比度低并且含有团点的纹理图像 逻辑谜语 There are too kinds of inhabitants knights who always tell the truth, and their opposites, knaves, who always lie. You encounter two people A and B. What are A and B if A says “B is a knight” and B says :The two of us are opposite types”? 逻辑及位操作 Bit : introduced by John Turkey in 1946. Boolean variable Bit operations : true - 1 false - 0 OR - ú AND - ù XOR - ? 逻辑及位操作 01 1011 0110 11 0001 1101 ----------------- 11 1011 1111 OR 01 0001 0100 AND 10 1010 1011 XOR *离散数学-lecture6 * 1-8 推理理论 本节的学习目标 理解推理形式的基本结构 熟悉基本的推理公式，掌握推理公式的不同证明方法 理解基本的推理规则，掌握使用推理规则进行推理演算的方法 1-8 推理理论 推理：由前提推出结论 推理一般分为两类：演绎推理和归纳推理 凡前提和结论存在必然联系的推理属于演绎推理，否则属于归纳推理 古典的数理逻辑主要研究演绎推理 1-8 推理理论 主要内容： 有效结论 P, T规则 相容 不相容 直接证法 间接证法 1-8 推理理论 论证过程：判别有效结论的过程 真值表法、直接证法、间接证法 定义1-8.1 设A和C是两个命题公式，当且仅当A?C为一重言 式，即A?C，称C是A的有效结论。或C可由A逻辑地推出。 这个定义可以推广到有n个前提的情况。 设H1, H2,…, HK,C是命题公式，当且仅当 H1, H2,…, HK ?C， (A) 称C是一组前题H1, H2,…, HK的有效结论。 1-8 推理理论 （1）真值表法 设P1, P2,…, Pn是出现于前提H1, H2,…, Hm和C中的全部命题 变元，假定对P1, P2,…, Pn作了全部的真值指派，这样就能对 应地确定H1, H2,…, Hm和C的所有真值，列出这个真值表，即 可看出(A)式是否成立。 H1, H2,…, Hm真值均为T的行，若C也有真值T，则(A)式成立。 C的真值为F的行，若H1, H2,…, Hm真值中至少有一个为F，则 (A)式成立。 例题1 一份统计表格的错误或者是由于材料不可靠，或者是由于 计算有错误；这份统计表格的错误不是由于材料不可靠，所以这 份统计表格是由于计算有错误。 解 设各命题变元为 P：统计表格的错误是由于材料不可靠。 Q：统计表格的错误是由于计算有错误 可译为：Q是前提P∨Q,?P的有效结论，即(P∨Q)∧?P?Q F T T T F T F T T T T F T F F F ?P P∨Q Q P 真值表如下： 例题2 如果张老师来了，这个问题可以得到解答，如果李老师来了，这个问题也可以得到解答，总之张老师或李老师来了，这个问题就可得到解答。 1-8 推理理论：真值表法 解：P: 张老师来了。 Q: 李老师来了。 R: 这个问题可以得到解答. 1-8 推理理论：真值表法 T T T T T T T F F F T T T T T T F T T T F F F T T T T T T F T F T