MathProblemsBank

6.1.2.5 Sequent calculus

Problem: Prove the derivability of the formula in sequent calculus: \[ \vdash(A \rightarrow B) \vee(C \rightarrow B) \rightarrow(A C \rightarrow B) . \]