結果 : propositional logic statements examples