結果 : propositional calculus meaning