意味論的妥当性(古典的命題論理)
#古典的命題論理
#意味論
前提
論理式
$ A_1, \dots A_{n}, B
付値関数(古典的命題論理)
$ v \in \mathbb{V}
定義
$ v(A_1) = 1 \land \dots v(A_n) = 1
となるすべての
$ v
に対して
$ v(B) = 1
である
簡潔に
$ \forall v ( v(A_1) = 1 \cdots \land v(A_n) = 1 ), v(B) = 1
記号
$ A_1, \dots A_{n-1}, A_{n} \vDash B