演繹定理
#論理式
$ A \vdash B
（
$ A
を仮定すると
$ B
が
証明可能
）ならば
$ \vdash A \to B
（
含意
$ A \to B
が
証明可能
）