結果 : explain predicate logic with example