結果 : predicate logic practice problems