結果 : propositional logic definition and examples