Introduction to Logic

Given the premises ∀x.(p(x) ⇒ q(x)) and ∀x.(q(x) ⇒ r(x)), use the Fitch system to prove the conclusion ∀x.(p(x) ⇒ r(x)).

Show Instructions
Fitch
Goal  Incomplete