Utilisateur:Outs/Séquents naturels

${\frac {\Gamma ,A\vdash B}{\Gamma \vdash A\to B}}\to I$	${\frac {\Gamma \vdash A\to B\quad \Gamma \vdash A}{\Gamma \vdash B}}\to E$
${\frac {\Gamma \vdash A\quad \Gamma \vdash B}{\Gamma \vdash A\land B}}\land I$	${\frac {\Gamma \vdash A\land B}{\Gamma \vdash A}}\land E_{g}\qquad {\frac {\Gamma \vdash A\land B}{\Gamma \vdash B}}\land E_{d}$
${\frac {\Gamma \vdash A}{\Gamma \vdash A\lor B}}\lor I_{g}\qquad {\frac {\Gamma \vdash B}{\Gamma \vdash A\lor B}}\lor I_{d}$	${\frac {\Gamma \vdash A\lor B\quad \Gamma ,A\vdash C\quad \Gamma ,B\vdash C}{\Gamma \vdash E}}\lor E$
	${\frac {\Gamma \vdash \bot }{\Gamma \vdash A}}\bot E$