Math Problems Bank
Home
Forum
About Us
Contact Us
Login
Register
6.1.2.1 Sequent calculus
Problem: Prove the admissibility of the rule. \[ \frac{\Gamma, A \vdash C, \Gamma, B \vdash C}{\Gamma, A \vee B \vdash C} . \]
-> Sequent calculus
Order a solution
Order a solution to a problem?
Order a solution
Order a solution to a problem?