判定問題
判

判定問題　　　pàn dìng wèn tí

數理邏輯的重要研究內容之一。對一整類命題研究是否存在一個統(tǒng)一的確定的方法，用此方法能經有限步驟判定這類中任何一個命題是否具有某種屬性，這樣的方法稱為“判定法”或“算法”。如果存在算法，就稱這類命題是可判定的；否則，是不可判定的。例如，由所有命題“p和q互質”（p、q是任意整數）構成的類是可判定的，*輾轉相除法就是符合上述要求的判定這類命題的一種算法。