学问
第一课程
专业教员库
 
学好咨询 > 作业帮助家教 > 数学家教
        未解决
急!!!命题逻辑问题
自然推理系统P中构造下面推理的证明
如果小张和小王去看电影,则小李也去看电影;
小赵不去看电影或小张去看电影;小王去看电影。
所以,当小赵去看电影时,小李也去看电影
回答数:2    浏览数:2686    提问者:王小姐 - 学生 2009-05-19 16:50:59
           回答 共1条

假设:小张去看电影为事件A,小王去看电影为事件B,小李去看电影为事件C,小赵去看电影为事件D。
则由第一条可知
(A∩B)-->C......(1)
由第二条可知
A<-->D........(2)
由第三条可知
B...........(3)
(1)结合(3)可得A-->C.......(4)
(2)结合(4)可得D-->C

回答者:谢尚旭 - 学生 2009-07-08 21:39:27


回答即可得1分。若被选为最佳答案,您可获10分系统奖励分。
我来回答:

引用:
如果是从其他地方引用,请表明出处。

用户名:
      密码: 教员 学员


 欢迎登录第一家教

 
 
关于第一家教 | No.1品牌课程 | 诚聘英才 | 欢迎合作 | 服务条款 | 隐私保护 | 法律顾问 | 申请代理 | 第一联盟 | 联系我们
互联网商业:第一家教网 | 活学网 | 第一培训网 | 门户与品牌网站建设、推广及运作