短語(yǔ)詞組短語(yǔ)medium logic predicate calculus 中介邏輯謂詞演算Medium Logic Predicate Calculus System 中介邏輯謂詞演算 返回 predicate calculus logic