名詞解釋本證函數