证明 P →(Q→S),┐RVP,Q┝ R→S_其他解答

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

人气：482 ℃　时间：2020-02-04 04:15:34

解答

（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）