結果 : predicate logic definition in discrete math