結果 : explain propositional logic with examples of logical connectives