predicate calculus

相关单词

近義詞

functional calculus, 函項縯算

臨近詞

predicate, predicate on 返回 predicate calculus