結果 : what is predicate logic in discrete mathematics