結果 : logical implication examples