急！！！命题逻辑问题在自然推理系统P中构造下面推理的证明如果小张
在自然推理系统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)假言推理