6.1.2.1 Исчисление секвенций

Условие: Доказать допустимость правила. \[ \frac{\Gamma, A \vdash C, \Gamma, B \vdash C}{\Gamma, A \vee B \vdash C} \]