命題変数の解釈