>>720
＞a=bとa^2=b^2が両方真だとしても、
＞「a^2=b^2→a=b」とは別命題なので何かそれでいい感じがしないんです。
数学(というか論理学)では、A⇒Bという命題は、Bが真ならAがどうなっていようと真である、と「約束」する。
例えば「どんな三角形も内角の和が180ﾟ」⇔「どんな正の実数a,bに対してもa+b≧2√(ab)」も真。
まあ違和感あるかもしれんが、そんなもんだ。