演繹定理
deduction theorem
$ \Gamma,A\vdash C\Leftrightarrow \Gamma\vdash A\rightarrow C
参考
『論理学をつくる』
p.256-