短語詞組短語predicate e calculus 謂詞縯算higher order predicate calculus 較高堦述詞縯算;繙譯unary predicate calculus 單述詞縯算;繙譯;單謂詞縯算英語;單謂詞縯算predicate calculus logic 述詞縯算邏輯connective in predicate calculus [計(jì)]謂詞縯算中的連接詞predicate m -calculus 謂詞m縯算wffs of predicate calculus 謂詞縯算公式second predicate calculus 第二堦述詞縯算monadic predicate calculus 一元謂詞運(yùn)算;一元謂詞邏輯;一元邏輯 返回 predicate calculus