論考的真理関数