結果 : propositional equivalence in discrete mathematics examples