論理と命題 ∃x, x^2＜k であることは∀x, x^2＞−kであるための必要十分条件である。 こ

論理と命題

∃x, x^2＜k であることは∀x, x^2＞−kであるための必要十分条件である。
これが必要十分になる理由？というか表し方がわかりません。kより小さいx二乗があるとき、全てのxについてx二乗が−kより大きいとはどんなことなのでしょうか？
可能であれば図をつけていただければ幸いです。

No.1 ベストアンサー 回答者： ありものがたり 回答日時： 2022/07/05 01:51

∃x, x^2<k　⇔　k>0　⇔　∀x, x^2>−k.

この回答へのお礼

やっと理解できました。ありがとうございます。

お礼日時：2022/07/05 03:27