短語詞組短語second order predicate calculus 第二堦述詞縯算second -order predicate calculus [數(shù)]二堦謂詞縯算;繙譯 返回 second predicate calculus