短语词组短语medium logic predicate calculus 中介逻辑谓词演算Medium Logic Predicate Calculus System 中介逻辑谓词演算 返回 predicate calculus logic