Aが偽であると疑い得ない、ということについて、
A→Bの真理表は

　A B A→B
①真 真 真
②真 偽 偽
③偽 真 真
④偽 偽 真

となるけど、
Aの真偽値が不明な状態で、
BとA→Bが真であるとわかっても、
Aは真と偽の両方の可能性(②と④)があるから、
Aが真であることは定まらないんだよな、

ちなみに、Bが偽であると仮定して、
A→Bが偽であることを導けば、
②の一択よりよりAが真であることがわかるってのが、
背理法だと思う、多分　(詳しい人教えて)