(1)って、コレが否定ではないんですか？😢

数学

高校生

解決済み

1日前

(1)って、コレが否定ではないんですか？😢
なぜ、解答のようになるのでしょうか？

重要例題 26 命題⇒gの否定次の命題の否定を述べよ。 (1)xが実数のとき,x21ならばx≠1である。 (2) x, yが実数のとき, x+y>2ならばx>1 または y>1である。 (3) すべての正の数xに対してx+a>0ならば, a≧0 である。指針例えば, (1) は x21 を満たすすべての実数xについて, x=1であるということを意味するから,「すべて」を「ある」に替えて,結論を否定すればよい。一般に,命題⇒ gの否定はであってgでないものがある ① である。したがって,(1)の否定は,解答のように述べることができる。 (3)は「すべて」とあるが, 仮定も結論もαに関する条件であってすべての正の数xに対してx+a>0を満たすすべてのαについて, a≧0 であるということを意味しているから, その否定を, 次のようにしては誤りである。「ある正の数xに対してx+α>0 ならば, a<0である」コンマ「,」に注意して, 仮定と結論をはっきりつかみ, ①に当てはめて考える。解答 (1)x2>1であってx=1である実数xがある。 (2)x+y>2 であってx≦1 かつ≦1である実数x, yが「かつ」と「または」が入ある (3) 「すべての正の数xに対してx+α>0」を「a≧0」れ替わる。をg とする。求める否定はであって」でないものがある」で「すべての正の数xに対してx+α>0であって, α < 0 となることがある。」 gの否定とは違うことに注意が必要である。の否定は、次のことを意味している。 73

(リスが実数ではないとき、大かつx=1である。

回答

✨ ベストアンサー ✨

Yoshimarukun

1日前

全称命題(すべての、任意の〜)の否定とは、その世界(前提条件)全体丸ごとをあらためることではなく、その全称命題を破るような事象をたった1つでもいいから見つけることです。

xが実数のときというのは前提条件です。
またはの否定はかつですが、
今回求められているのは
命題「任意の実数xについてx^2>1⇒x≠1」の否定です。
任意の否定は「ある〜が存在する」や「〜でない(である)ものが少なくとも1つ存在する」です。
例えば
「すべての高校生について、男ならば眼鏡をかけている」
を否定したいとします。
つまり、この命題が間違っていることを示すための反論を用意してほしいのですが、
「高校生以外全員について、女かつ眼鏡をかけていない」ではないか、と叫んでも何も意味がありません。

すべての高校生についての反例を用意するならそれ以外全員の話をしなくてもいいし、高校生以外の話をするのはそもそも論点がずれてしまい意味がありません。

「高校生の中には男でメガネをかけていない人が少なくとも一人いる」
と言えばいいのです。

全ての実数の話を否定したいのに、「実数じゃなくて虚数の世界ではね…」なんて言っても、だからなんだ？関係ないだろ、実数で話してるんだからと言われて終わるだけです。
「任意の実数について、x^2>1ならばx≠1」
の否定は
「x^2>1でありx=1となるような実数xが存在する」です。

Yoshimarukun 約21時間前

ちなみに、前提条件は否定しても変わらないのはなぜだという気持ち悪さはおそらく誰しも持ちますし、これは一階述語論理(現行の数学のルール)を我々一般人になんとか納得させるための方便なので
『「サッカーは手を使わない」に納得しているのと同じ』
として認めるか、どうしても気持ち悪さが拭えないのであれば、論理の本で大学受験用の参考書ですが「数学の真髄-論理・写像-」あたりは比較的読みやすい(簡単という意味ではありませんが)ので試してみるのもありです。

Yoshimarukun 約21時間前

その本の解説がとても突き放したように感じて、説明不足に思えるのは、そうとしか言いようがない数学を構築する根源的な部分に触れているため、高校数学の範疇を逸脱してしまい、本気でやろうとしたら高校3年間では多分足りないからだと思いましょう。
かくいう私もよくわかっていないと自覚しています。
それくらい難しいです。
一応、前提条件だから否定されないわけではなく、結果として元に戻っていることを示したおまけを書いておきます。

任意の実数xについて、x^2>1ならばx≠1
とは
任意の実数xについて、x^2≦1またはx≠1
と同じです。(こんなの意味わかりませんよね。)
これを否定すると
ある実数xについて、x^2>1かつx=1が成立する。
となります。
結構ノイズ排除し、「前提条件は変わりません」という誤魔化しも取り除いてみるとこんな感じになります。