试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R

问题描述:

试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R

前提:P→(Q→R),﹁S∨P,Q结论:S→R证明:1)P→(Q→R) 前提引入2)Q→(P→R) 1)等值置换3)Q 前提引入4)P→R …… (留给你)5)﹁S∨P ……6...