01-命题逻辑-1.8.pptVIP

* 对结论形式为R ? C的证明 例1.54 前提：P ∨ Q， P ? R， R ? ? S，结论： S ? Q 证明：(1) ? Q P（假设前提） (2) P ∨ Q P (3) P T (1) (2) I10 (4) P ? R P (5) R T (3) (4) I8 (6) R ? ? S P (7) ? S T (5) (6) I8 (8) ? Q ? ? S CP (1) (7) (9) S ? Q T (8) E11 * 推理练习 例1.55 已知以下前提，求谁是先进工作者： 小李或小张是先进工作者 若小李是先进工作者，你是会知道的 如果小张是先进工作者，小赵也是先进工作者 你不知道小李是先进工作者 设：P：小李是先进工作者，Q：小张是先进工作者 R：你知道小李是先进工作者，S：小赵是先进工作者 前提： P ∨ Q P ? R Q ? S ? R * 推理练习 前提： P ∨ Q，P ? R ， Q ? S ， ? R 证明：(1) ? R P (2) P ? R P (3) ? P T (1) (2) I9 (4) P ∨ Q P (5) Q T (3) (4) I10 (6) Q ? S P (7) S T (5) (6) I8 (8) ? P ∧ Q ∧ S T (3) (5) (7) 结论： ? P ∧ Q ∧ S，即小张和小赵是先进工作者，小李不是 设：P：小李是先进工作者，Q：小张是先进工作者 R：你知道小李是先进工作者，S：小赵是先进工作者 * 推理练习 例1.56 一个侦探在调查了某珠宝商店的钻石失窃案之后，得到了以下事实： 营业员A或B盗窃了钻石项链 若A作案，则作案不在营业时间 若B提供的证词正确，则货柜没有上锁 若B提供的证词不正确，则作案发生在营业时间 货柜上了锁 得出结论：营业员B偷了钻石项链 设：P：营业员A偷了钻石项链，Q：营业员B偷了钻石项链，R：作案在营业时间，S：B的证词正确，U：货柜上了锁 前提：P ∨ Q P ?? R S ?? U ? S ? R U 结论：Q * 推理练习 前提：P ∨ Q，P ?? R ，S ?? U ，? S ? R，U 结论：Q 证明：(1) U P (2) S ?? U P (3) ? S T (1) (2) I9 (4) ? S ? R P (5) R T (3) (4) I8 (6) P ?? R P (7) ? P T (5) (6) I9 (8) P ∨ Q P (9) Q T (7) (8) E10 设：P：营业员A偷了钻石项链，Q：营业员B偷了钻石项链，R：作案在营业时间，S：B的证词正确，U：货柜上了锁 * 推理练习 前提：P ∨ Q，P ?? R ，S ?? U ，? S ? R，U 结论：Q 证明：(1) ? Q P（假设前提） (2) P ∨ Q P (3) P T (1) (2) I10 (4) P ?? R P (5) ? R T (3) (4) I8 (6) ? S ? R P (7) S T (5) (6) I9 E1 (8) S ?? U P (9) ? U T (7) (8) E8 (10) U P (11) ? U ∧ U T (9) (10) 设：P：营业员A偷了钻石项链，Q：营业员B偷了钻石项链，R：作案在营业时间，S：B的证词正确，U：货柜上了锁 * 推理练习 例1.57 有红、黄、蓝、白四队参加足球联赛，根据已知前提，判定结论是否有效： 如果红队第三，则当黄队第二时，蓝队第四 或者白队不是第一，或者红队第三 事实上，黄队第二 因此，如果白队第一，那么蓝队第四 设P：红队第三，Q：黄队第二，R：蓝队第四，S：白队第一 前提： P ? (Q ? R) ? S ∨ P Q 结论： S ? R * 推理练习 前提： P ? (Q ? R)， ? S ∨ P，Q 结论： S ? R 证明：(1) S P（假设前提） (2) ? S ∨ P P (3) P T (1) (2) I10 (4) P ? (Q ? R) P (5) Q ? R T (3) (4) I8 (6) Q P (7) R T (5) (6) I8 (8) S ? R CP (1) (7) 设P：红队第