分类：教育/科学-升学入学-考研
问题：急！！！命题逻辑问题在自然推理系统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)假言推理