递归可判定的

递归可判定的是递归可判定的及判定问题（decision problem）如何寻找一种方法，去判定某一个事物是否具有某种属性的问题。主要指公式的可证性、普遍有效性和可满足性。在数理逻辑中，一个判定问题有如下的一般形式：给出一个集合A和一性质P，去寻找一个算法，使它能告知对于集合A中的任何元素a（即aEA），是否具有性质P；或者能证明不可能找到这样的算法。例如：自然数n是偶数吗？这里自然数n组成的集合N，就相当于一般形式中的集合A，“是偶数吗”？相当于性质P。