离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带

离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带
构造下面的命题推理证明：前提：我去看望老张或老李.如果我去看望老张,那么我要带些书.如果我要带些书,那么我要去新华书店.结论：如果我没有去新华书店,那么我要去看望老李.
S_zhong** 1年前 已收到1个回答 举报
赞

fanny0211 花朵

共回答了21个问题采纳率：100% 举报

P:我去看望老张
Q:我去看望老李
B:我要带些书
C:我要去新华书店
问题符号化为：
非（P∧Q）(可以两个人都不去看 但不能同时看两个人)
P->B
B->C
非C->P
==>非C->Q
1 B->C P规则
2 P->B P规则
3 P->C T规则 1,2
4 非C->非P T规则 3
5 非（P∧Q） P规则
6 非P->Q T规则 5
7 非C->Q T规则 4 6

1年前

8
可能相似的问题

你能帮帮他们吗

精彩回答

Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 0.015 s. - webmaster@yulucn.com