构造下面命题推理的证明

构造下面命题推理的证明
张三或李四的彩票中奖了,如果张三的彩票中奖那么我能知道;如果李四的彩票中奖,那么王五的彩票业中奖;但是我不知道张三的彩票中奖,因此李四和王五的彩票中奖了.
数学人气:819 ℃时间:2019-09-25 21:57:56
优质解答
设 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) ...
我来回答
类似推荐
请使用1024x768 IE6.0或更高版本浏览器浏览本站点,以保证最佳阅读效果。本页提供作业小助手,一起搜作业以及作业好帮手最新版!
版权所有 CopyRight © 2012-2024 作业小助手 All Rights Reserved. 手机版