Math Problems Bank
Home
Forum
About Us
Contact Us
Login
Register
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) . \]
Order a solution
Order a solution to a problem?
Order a solution
Order a solution to a problem?