发新话题
打印

[讨论] 出道题考考大家,数理逻辑高手请进!

出道题考考大家,数理逻辑高手请进!

在自然推理系统P中构造下面推理的证明:
如果小张和小王去看电影,则小李也去看电影。小赵不去看电影,或者小张去看电影。小王去看电影。所以,当小赵去看电影时,小李也去。
这道题用附加前提证明法很好证,现在的问题是,如何不用附加前提法加以证明。(书上留了这个思考题,我暂时还没有想到解决方法)
大家一起研究研究啊

TOP

没看懂
宁可台湾不长草,也要收复台湾岛!
---------------------------------------------------------------------
http://www.steanley.net

TOP

去问问刘会杰老师

TOP

引用:
原帖由 Lemonade 于 2008-3-27 23:24 发表
去问问刘会杰老师
咱不问他,拒绝老师参与。
话说回来,老师也不一定会啊,是不?

TOP

p?


不明白

TOP

发新话题