結果 : propositional logic statement examples