結果 : what is the definition of implication in discrete math