离散数学--数理逻辑--命题逻辑-(4).pptVIP

第*页;第*页;第*页;第*页;第*页;EX3：利用真值表法论证 (P?Q)∧? P?Q （ ？） (P?Q)∧(Q→R) ? P?R （ ？） 解： ①真值表如下： ;解：② (P?Q)∧(Q?R) ? P?R （ ？） 真值表如下： ;解：设各命题变元 P：统计表格的错误是由于材料不可靠。 Q：统计表格的错误是由于计算有错误。 本例可译为：Q是前提P∨Q，? P的有效结论，即 (P∨Q) ∧ ? P ? Q ;第*页;第*页;第*页;第*页;第*页;证：编号 公式 根据 (1) ? (S∨R) 否定结论引入 (2) ? S∧? R T(1) (3) ? S T(2) (4) Q?S P (5) ? Q T(3)，(5) (6) P∨Q P (7) P T(6) ，(7) (8) P?R P (9) R T(8)， (9) (10) ? R T(2) (11) F T(9) ，(10);第*页;第*页;EX1：试证：(P?Q)，(Q?R) ? P ? R 证：编号 公式 根据 (1) P?Q P (2) P P，附加前提 (3) Q T(1) (2) (4) Q ?R P (5) R T(3) (4) (6) P?R CP规则 ;第*页;第*页;证明：M?Q ，M?S，S?? R ? R?Q 证明：编号 公式 根据 (1) S?? R P (2) R P，附加前提 (3) ? S T(1)，(2) (4) M?S P (5) ? M T(3)，(4) (6) M?Q P (7) Q T(5)，(6) (8) R?Q CP规则 ;第*页;第*页;第*页