证明 P →(Q→S),┐RVP,Q┝ R→S

题目

证明 P →(Q→S),┐RVP,Q┝ R→S

答案

（1）R 附加前提
（2）┐RVP 前提引入
（3）P T（1）（2）
（4） P →(Q→S ）前提引入
（5）Q→S T（3）（2）
（6）Q 前提引入
（7）S T（5）（6）