Tariq on Nostr: Need some help. ----- I know that to prove P ⇒ Q, I assume P and derive Q. ---- Now ...

Need some help.

-----

I know that to prove P ⇒ Q, I assume P and derive Q.

----

Now to prove

(A⇒B) ⇒ ((B⇒C) ⇒ (A⇒C))

I need to assume (A⇒B) and derive ((B⇒C) ⇒ (A⇒C)).

But I can't seem to make progress from (A⇒B) alone, I think I need to assume A is true as well.

----

Intuitively the statement makes total sense. But drawing the derivation as per image attached using elim and intro rules, I get stuck unless I assume A too.

Can anyone help clarify my thinking?

#maths #cs #logic