>>87
a≦0　ならば　a+b≦b。ここで　b≦0　なので　a+b≦b≦0。
即ち、a+b≦0　である。
対偶が成り立つので、　a+b＞0ならばa＞0またはb＞0　　は真である。