質問です。
a+b>0　は　「a,bのうち、少なくとも1つが0でない」ための必要十分条件ではないのでしょうか？
どうやら違うらしいのですが、反例が見つかりません。