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