给定（（p⇒q）⇒r），使用Fitch系统证明（（p⇒q）⇒（p⇒r））

Question

我正在尝试，给（（⇒q）⇒r）,,使用惠誉系统来证明
（（p⇒q）⇒（p⇒r））。 关于我应该如何进行的任何想法？

Answer 1

这些步骤可以帮助您完成此证明：

1 (p => q) => r             Premise
2   p => q                  Assumption
3    p                      Assumption
4    q                      Implication Elimination: 2,3
5    r                      Implication Elimination: 1,2
6   p => r                  Implication Introduction: 5
7   (p => q) => (p => r)    Implication Introduction: 6