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

Question

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