>>147

おまえの出してきた、文献p16しぬほどよめやw

定義 2.6 論理式の解釈 (Interpretation of Logical Form)
論理式の解釈とは、論理式の真理値を求めることである。つまり、命題論理では、モデル
によって与えられる基本論理式の真理値を用いて、与えられた論理式の真理値を決定する
ことである。