結果 : implication definition discrete math