短語(yǔ)詞組短語(yǔ)second order predicate calculus 第二階述詞演算second -order predicate calculus [數(shù)]二階謂詞演算;翻譯 返回 second predicate calculus