結果 : 1 explain propositional logic with an example