部分的な真理定義述語