結果 : what is propositional logic in discrete structure