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