证明 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)