結果 : predicate logic with example