fitch-proofs - 给定 ((p ⇒ q) ⇒ r)，使用 Fitch 系统证明 ((p ⇒ q) ⇒ (p ⇒ r))

Question

在给定 ((p ⇒ q) ⇒ r) 的情况下，我正在尝试使用 Fitch System 来证明
((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