给出下列推理的过程的形式证明前提:p→(q→r),(r∧s)→t ,┐h→(s∧┐t).结论:p→(q→h)

问题描述:

给出下列推理的过程的形式证明
前提:p→(q→r),(r∧s)→t ,┐h→(s∧┐t).
结论:p→(q→h)

用CP规则证明:(1) p P(附加前提)(2) q P(附加前提)(3) p→(q→r) P(4) q→r T(1)(3)I(5) r T(2)(4)I(6) (r∧s)→t P(7)(┐rv┐s)vt T(6)E(8)r→(┐svt) T(7)E(9)(┐svt) T...