APP 判定問(wèn)題 pàn dìng wèn tí
數(shù)理邏輯的重要研究?jī)?nèi)容之一。對(duì)一整類命題研究是否存在一個(gè)統(tǒng)一的確定的方法，用此方法能經(jīng)有限步驟判定這類中任何一個(gè)命題是否具有某種屬性，這樣的方法稱為“判定法”或“算法”。如果存在算法，就稱這類命題是可判定的；否則，是不可判定的。例如，由所有命題“p和q互質(zhì)”（p、q是任意整數(shù)）構(gòu)成的類是可判定的，*輾轉(zhuǎn)相除法就是符合上述要求的判定這類命題的一種算法。
