第一意味論的演繹定理
#古典的命題論理　
#意味論
#定理
前提
論理式$ A_1, \dots A_{n-1}, A_{n}, B
記号用法
意味論的妥当性(古典的命題論理)$ \vDash
主張
$ A_1, \dots A_{n-1}, A_{n} \vDash B \iff A_1, \dots A_{n-1} \vDash A_{n} \to B
証明
TODO
第二意味論的演繹定理