結果 : logical connectives implication examples