问题: 急！！！命题逻辑问题
在自然推理系统P中构造下面推理的证明
如果小张和小王去看电影，则小李也去看电影；
小赵不去看电影或小张去看电影；小王去看电影。
所以，当小赵去看电影时，小李也去看电影
解答:
设P：小张去看电影，Q：小王去看电影，R：小李去看电影，S：小赵去看电影
前提：P∧Q→R，┐S∨P，Q
结论：S→R
证明：
（1）S 附加前提引入
（2）┐S∨P 前提引入
（3）P （1)(2)析取三段论
（4）Q 前提引入
（5）P∧Q （3)(4)合取
（6）P∧Q→R 前提引入
（7）R （5)(6)假言推理
版权及免责声明
1、欢迎转载本网原创文章，转载敬请注明出处：侨谊留学（www.goesnet.org）；
2、本网转载媒体稿件旨在传播更多有益信息，并不代表同意该观点，本网不承担稿件侵权行为的连带责任；
3、在本网博客/论坛发表言论者，文责自负。
