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

没看懂

去问问刘会杰老师

引用:

原帖由 Lemonade 于 2008-3-27 23:24 发表
去问问刘会杰老师

咱不问他，拒绝老师参与。
话说回来，老师也不一定会啊，是不？

p？


不明白