![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
すみません。全ての、存在する
について、ちょっと確認させてください
ある実数xについて、x^2=-1なるxが存在する。(存在命題)
については、そのような実数は見つからないので、Falseと思います。
しかし、ある複素数xについて、x^2=-1なるxが存在する。
これを考えると、x=±i(iは虚数単位)が考えられるので、Trueかと思います。
記号で書くと
∃x∈R, x^2=-1
∃x∈C, x^2=-1
のようになるかと思います。このRとかCは、それぞれ実数全体の集合と複素数全体の集合かと思いますが、xをどちらに属した要素にするかで、上記の命題の真偽が変わるように思えます。
つまり、これらは議論とする範囲を規定する集合であり、前者は実数の範囲で考えており、後者は複素数の範囲で考えていることを明記している。
こういう、考えてるxの範囲を規定する集合(ここでのRやC)を論議領域という。
このような理解で良いでしょうか?
また、∃x∈R, x^2=-1の否定を考えると、
All x∈R, x^2!=-1
のようになるかと思います。(記号が使えません。全ての、と等しくないと読んでください。)
ここで、∈Rの部分はもちろん否定を取っても変わることはなく、それは元の命題がこの範囲を議論の範囲にしてるからそれが継承されている。
このような理解で良いでしょうか?
どうにも国語の力も不足してるようで、なかなく理解に自信がありません。
ご意見お願いします。
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_16.png?e8efa67)
No.2ベストアンサー
- 回答日時:
それで合ってると思います。
論議領域(domain of discourse:Dで表します)は1階述語論理で使われる用語で、 関数の変項が取りうる範囲(集合)のことで、議論の対象となるすべての変数と、それらの変数の定義域をあわせたものです。
![](http://oshiete.xgoo.jp/images/v2/common/profile/M/noimageicon_setting_16.png?e8efa67)
No.3
- 回答日時:
補足コメントの通りです。
普通の数学で定義・公準の範囲で議論するのと同じです。
例えば普通のユークリッド幾何では23個の定義と5個の公準の範囲で議論していて、その範囲内では3角形の内角の和は180度です。
5個の公準のなかで、1個だけ別の公準(平行線の公準)に置き換えると、ガウス・ボヤイ・ロバチェフスキー型の非ユークリッドの幾何になり、3角形の内角の和は180度より小さくなります。
さらにその1個をまた別の公準に置き換えると、リーマン幾何が出来て、3角形の内角の和は180度より大きくなります。
No.1
- 回答日時:
「論議領域」等の語句が初耳なので質問自体の回答はむりですが気になった事を少しだけ。
ハンネの「数学分からん」と言うのが実際その通りだとしたら、その理由は「国語の力が不足」と言う点が大きいのではと思います。数式とは一種の文章ですから、国語力が不足していると数式も読めない事になります。
cf:「数式は一種の文章」と言うのは比喩ではなくそのままの意味です。実際、諸々の数学の記号が発明される前は現在数式で表される内容を普通の文章で表していました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 複素数の集合D={z: |z|≦2、π/6 ≦argz≦π/2 }の存在範囲を複素数平面上に図示せよ 1 2022/08/01 10:53
- Visual Basic(VBA) 【Excel VBA】自動メール送信の機能追加 5 2022/09/29 12:53
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 数学 数学の証明問題について質問です。 今日私大入試があったのですが、AとBの共通部分となるxの範囲を求め 1 2023/02/10 15:27
- 哲学 説得力を修辞の巧みさまたは論理の強さの2つに分析するにはどうすると良いでしょうか? 0 2022/07/20 05:46
- 物理学 時間を語るなら、(複数の時間の正体)を知る必要が有る。 1 2023/02/16 22:14
- 数学 離散フーリエ逆変換が周波数分割数をNにできる理由について 4 2022/09/18 12:56
- 数学 『数は実在するのか』 6 2023/06/04 15:15
関連するカテゴリからQ&Aを探す
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
一般入試について
-
70年代、80年代に大学受験された方
-
受験科目です。国語総合って何...
-
セミナー化学の代わりになる問題集
-
古文・漢文どちらを選択し勉強...
-
偏差値48というと 英語、国語総...
-
太ももリストカットしたらどう...
-
国立障害者リハビリテーション...
-
等式について教えてください。
-
数学がめちゃくちゃできるのに...
-
国立障害者リハビリテーション...
-
過去問について!
-
テストでカンニング扱いされて...
-
何故理系の人は男女共に顔が気...
-
私の学校である事件が起きまし...
-
北大志望の高3です。河合塾マナ...
-
YouTubeで世界史などの動画を配...
-
なぜ理系って文系に対してマウ...
-
高校側は浪人した生徒がどこの...
-
理系のくせに感情的に動く人っ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
受験科目です。国語総合って何...
-
セミナー化学の代わりになる問題集
-
古文・漢文どちらを選択し勉強...
-
太ももリストカットしたらどう...
-
スタディーサポート国語B1数学C...
-
70年代、80年代に大学受験された方
-
センター試験の国語で「近代以...
-
平成13年度センター試験国語...
-
杏林大学保健学部看護学科の偏...
-
国語と数学の論理的思考の違い...
-
世界史 論述の勉強方法
-
東京藝術大学センター試験につ...
-
センター自己採点してみました
-
あの至急です! 中2の国語で 漢...
-
国語総合?国語表現I?
-
早稲田法学部の国語って合格者...
-
筑波大学応用理工学類希望です。
-
都立高校受験問題数学と国語
-
① 生徒番号 1 2 3 4 5 6 7 8 9 ...
-
① 生徒番号 1 2 3 4 5 6 7 8 9 ...
おすすめ情報
お返事ありがとうございます。
議論領域=定義域として捉えてといということですね?
私の示した例でいうと、定義域が実数の範囲では述語命題はFalseになるが、これを複素数の範囲に広げると、Trueになる。
こんなところでしょうか?
もう少し国語の力をつけて理解力を上げていきたいです。
仰る通りかもしれません。国語の力が不足してるので、自分で納得するのが苦手なのかもしれません。
言い換えとか、同じことだろうな、とは自分で思いはするのですが、確認しないとあまり自分の理解を信用できないところがあります。
しかし、参考になるご意見です。私もその事を気にしていました。結局、読解力が理解の土台だよな、と時折考えてました。
ありがとうございます。
なるほどですね。
述語論理の変項xの取りうる範囲を変えてしまうと、得られる結論も変わる。
これは、公理(出発として証明なしに認める性質)や定義が変わると得られる結論が変わってしまうのと同じということですね。
なので、予め述語論理の変項xについて、この範囲のxについての議論ですよ、みたいにxの取りうる範囲(つまり定義域)を明確にするわけですね。
このような考えで良いでしょうか?重ね重ねありがとうございます。