作业帮给出下列推理的过程的形式证明
来源：学生作业帮 编辑：作业帮 分类：数学作业 时间：2024/10/06 15:50:13
给出下列推理的过程的形式证明
前提: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（5）（8）I
（10） ┐h→(s∧┐t) P
（11）┐(s∧┐t) →h T（10）E
（12）┐(s∧┐t) T（9）E
（13）h T（11）（12）I
（14） 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（5）（8）I
（10） ┐h→(s∧┐t) P
（11）┐(s∧┐t) →h T（10）E
（12）┐(s∧┐t) T（9）E
（13）h T（11）（12）I
（14） p→(q→h) CP