解釈関数(命題論理)