predicate logic的用法与搭配