集合論のスレで質問しましたが…答えがないようでここで質問します…

ＡがＴでＢがＴなら、Ａ⇒ＢはＴ　　　ってコトなんですが、ＡとＢが因果関係ないのに
Ａ⇒ＢはＴ　　ってやって良いのですか？

実数の範囲で考えて　Ａが「ｘ＾２＞０」　　Ｂが「人間は動物である」　とすると…
「ｘ＾２＞０」　ならば　「人間は動物である」　　　　　　もＴになるんでしょうか？