結果 : explain propositional logic with example