学问
学好咨询 > 作业帮助家教 > 数学家教 
急！！！命题逻辑问题
自然推理系统P中构造下面推理的证明
如果小张和小王去看电影，则小李也去看电影；
小赵不去看电影或小张去看电影；小王去看电影。
所以，当小赵去看电影时，小李也去看电影
假设：小张去看电影为事件A，小王去看电影为事件B，小李去看电影为事件C，小赵去看电影为事件D。
则由第一条可知
（A∩B）-->C......(1)
由第二条可知
A<-->D........(2)
由第三条可知
B...........(3)
(1)结合(3)可得A-->C.......(4)
(2)结合(4)可得D-->C
未解决
急！！！命题逻辑问题自然推理系统P中构造下面推理的证明
如果小张和小王去看电影，则小李也去看电影；
小赵不去看电影或小张去看电影；小王去看电影。
所以，当小赵去看电影时，小李也去看电影
回答数：6 浏览数：3441 提问者：王 - 学生 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