Учитывая ((p ⇒ q) ⇒ r), используйте систему Fitch для доказательства ((p ⇒ q) ⇒ (p ⇒ r))

Question

Я пытаюсь, учитывая ((p ⇒ q) ⇒ r),, использовать систему Fitch для того, чтобы доказать
((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