結果 : what is propositional calculus in discrete mathematics