判定问题是数理逻辑中的一个重要问题。它表现为寻求一种能行的方法、一种机械的程序或者算法，从而能够对某类问题中的任何一个在有穷步骤内确定是否具有某一特定的性质。数理逻辑中的一个重要问题。它表现为寻求一种能行的方法、一种机械的程序或者算法，从而能够对某类问题中的任何一个在有穷步骤内确定是否具有某一特定的性质。 例如，命题逻辑的任一公式是不是常真这个问题， 就可以在有穷步内按照一定的程序用真值表判定。如果对某类问题已经获得这种能行的方法，就说明这类问题是可判定的，或者说其判定问题是可解的;如能够证明某类问题不可能存在这样的方法，就说这类问题不是能行可判定的。判定问题有不同的陈述。从语义方面考虑，判定