怎样判断一条题目是证明还是求值?