結果 : example of implication in propositional logic