結果 : implication discrete math examples