チャートの問題に，

2次の正方行列P，Qについて，次のことを証明せよ。
PQ＝O ⇒ P=O または Q=O または ⊿（P）=⊿（Q）=0

というものがあったのですが，
一般に「Aが成り立つとき，BまたはC が成り立つ」という命題は，
別にCになる場合が無くても，Bとなる場合があれば真になるのだから，
この問題は自明だと思うのですが。。。
つまり，例えば「α＝１のとき，α＝１またはα＝２」という命題が真なのだから，
明らかにP=OのときPQ＝Oを言うだけでいいのではないかと。。。わかりにくくてスミマセン。