假设存在两个相互独立的可加项A和B，如果A>，且B>，逻辑上（A+B）>A，以及（A+B）>B