>>80
>「t=x+2かつt≧2」⇔「x≧0」
じゃなくて厳密には
「t=x+2かつt≧2」⇔「x≧0かつt=x+2」

2行目ってどこさ?