出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第70页（185字）
对于逻辑或数学中的问题，依据一种能行的方法，作出“是”或“否”的明确回答，这一过程，称为判定。
所谓能行方法，包括两个要点：第一，有限，即一个判定，必须在有限步内完成；第二，机械，即判定程序的每一步，都有明确的规则作为依据。这个术语特别用于这样的求解步骤，在一个特定的形式系统中，某个特定的公式能否证明为该系统的一个定理。