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