結果 : propositional logic with example of logical connectives