构造下面命题推理的证明张三或李四的彩票中奖了,如果张三的彩票中奖那么我能知道；如果李四的彩票中奖,那么王五的彩票业中奖；但是我不知道张三的彩票中奖,因此李四和王五的彩票中奖了.

分类: 作业答案 • 2021-12-19 11:08:34

问题描述：

构造下面命题推理的证明
张三或李四的彩票中奖了,如果张三的彩票中奖那么我能知道；如果李四的彩票中奖,那么王五的彩票业中奖；但是我不知道张三的彩票中奖,因此李四和王五的彩票中奖了.

答

设 P(x):x彩票中奖,S(x):我知道x中奖, a：张三 ,b：李四, c:王五根据题目可以得到条件: P(a)vP(b) P(a)→S(a) P(b)→P(c) ┐S(a)结论:P(b)∧P(c)证明：(1) ┐S(a) P(2) P(a)→S(a) P(3) ...