結果 : what is propositional equivalence in discrete mathematics