离散数学：讨论派遣方案：某公司派小张或小李去上海出差，若派小李去则小赵要加班，若派小张去上海，小王

离散数学：讨论派遣方案：某公司派小张或小李去上海出差，若派小李去则小赵要加班，若派小张去上海，小王也得去上海，小赵没加班，问公司如何派遣？最好写在纸上。。拍下来。。记住是离散数学！

设P(x):x要去上海出差,Q(x):x要加班. a:小赵，b:小王，c:小李d:小张
根据题意可得条件为：
P(a) v P(b), P(a)→Q(c), P(b)→P(d), ┐Q(c)
证明；
(1) ┐Q(c) P
(2) P(a)→Q(c) P
(3) ┐Q(c)→┐P(a) T(2)E
(4) ┐P(a) T(1)(3)I
(5) P(a) v P(b) P
(6) ┐P(a)→P(b) T(5)E
(7) P(b) T(4)(6)I
(8) P(b)→P(d) P
(9) P(d) T(7)(8)I
所以：公司派小张去

搜一下：离散数学：讨论派遣方案：某公司派小张或小李去上海出差，若派小李去则小赵要加班，若派小张去上海，小王

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息