結果 : implication in math logic