computable predicate

可算謂詞

學術名詞

• 可算述詞：資訊