結果 : propositional logic implication examples