付値関数(古典的命題論理)