构造下面命题推理的证明
问题描述：
构造下面命题推理的证明
张三或李四的彩票中奖了,如果张三的彩票中奖那么我能知道；如果李四的彩票中奖,那么王五的彩票业中奖；但是我不知道张三的彩票中奖,因此李四和王五的彩票中奖了.
答
设 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) ...