>>548 T だよ
そこに出てくる矢印は因果関係と何の関係もない
Aで無いかまたはBを表す記号

気になっていることはわかるが
実際
yが正ならば x^2-2x+1 は非負であることを証明せよ
って試験に出たら
yの正負と因果関係が無くても
x^2-2x+1=(x-1)^2 ≧ 0
って証明して○をもらおうとするだろ？
だからむしろ素直な定義

F→F が Tなのも
x^2 が負ならば y^2 が負であることを証明せよ
って問題を背理法で解くことを考えれば素直