結果 : what is proposition in discrete mathematics with example