>>80
> 前半の質問
x≧0 ⇒ t = x＋2 ≧ 2なので、t ≧ 2は自動的に満たされます。

> 後半の質問
2行目とは2個目の⇔（つまり3行目の同地関係）のこと？
いずれにせよ、なんで⇒のような気がするのか教えてくれないと・・・