結果 : logic implication law