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

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

人气：239 ℃　时间：2019-10-11 05:50:27

解答

用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...