結果 : discrete math vs logic