結果 : what is logical implication in discrete mathematics