No.1
- 回答日時:
詳しくは参考URLをご覧下さい。
「:=」 は定義式の時に使います。
x:=tanθとすると、tanθをxと定義するというふうに使っています。
お役に立ちましたでしょうか?
参考URL:http://www.hana.or.jp/~kakuchu/kazufumi/kazufumi …
No.2
- 回答日時:
では,私からは∀と∃について。
○○がxを含む命題だとして,
∀x{○○}で,「どんなxについても○○である」
∃x{○○}で,「○○であるようなxが(少なくとも一つ)存在する」
たとえば,実数の集合をRとすると,
∀x∈R{○○}で,「全ての実数xについて○○である」
∃x∈R{○○}で,「○○であるような実数xが存在する」
それぞれ,existとanyの頭文字をひっくり返したといわれています。
(ただ,私が大学1年のときに教わった先生は「anyというのは俗説で,本当はarbitrary(任意の)から来ているんだ」と力説しておられました。
微積ですと,極限とか連続の定義のところでよく登場しますね。
No.3ベストアンサー
- 回答日時:
puni2さんのご回答にちょっとだけ補足。
∀x∈R(○○)と∃x∈R(○○)は略記法です。それぞれ正式には
∀x(x∈R→○○) 「任意のxについて、もしxがRの要素であるならば○○である。(だから、もしxがRの要素でない場合には、○○であるか○○でないか、どちらでも良い)」
∃x(x∈R∧○○) 「あるxが存在して、xはRの要素であって、しかも○○である、そういうxが存在する。」
と書く。こっちのほうが意味がはっきりしてるでしょう?
また、∀x(∀y(○○)) は ∀y(∀x(○○)) と同じであり、∃x(∃y(○○)) は ∃y(∃x(○○)) と同じですが、∀x(∃y(○○)) と ∃y(∀x(○○)) は全然意味が違うことに注意する必要があります。例えば
∀x(∃y(x∈R→(y=2x∧y∈R)))
これは「どんな実数もその2倍というものが定義されていて、それは実数である」という意味で、もちろん真です。しかし、
∃y(∀x(x∈R→(y=2x∧y∈R)))
となると「どんな実数を2倍しても同じyという値になる、そういう実数yが存在する」という訳で、これは偽ですね。
さらに、∀x(∃y(○○))では括弧がうるさいので、紛らわしくない限り ∀x∃y○○ のように括弧を省くのが普通ですが、本来括弧があるものと思ってください。∀x,y,z(○○)も本来は∀x(∀y(∀z(○○)))の意味であることはもうお分かりでしょう。
ついでに
X:= Y
については、(古典的かつエレガントな)プログラミング言語ALGOLで導入された記号で、本来は「左辺の変数xの値を強制的にyの値にする」つまり代入を表しています。(このスタイルはPascalなどに伝承されていますね。)これを類推で「xをyで定義する」つまり「右辺の意味を表すために左辺のような略記法を導入する」と読み替えて使うようになったようです。だから、
∀x∈R(○○):=∀x(x∈R→○○)
という訳です。
ほかにも、左辺を右辺で定義する、ということを示すのに
x≡y
とか(これは合同式と混同しやすい)
=の上に△を載せた記号を使う人もいます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
べき乗
-
定義付けできない言葉について
-
「互いに素」の定義…「1と2は互...
-
複雑な家庭とは
-
数学の両辺2乗と√について教え...
-
1wordとは、何文字ですか?
-
1未満と1以下の違い
-
「logx^2=2logx」が間違って...
-
ACCESS VBAでインポート定義の場所
-
単調増加、単調減少の x の範囲
-
エクセルVBA 「名前の定義」に...
-
点と線について
-
p⇒q=(¬p)∨qについて
-
Access 2013 でADOがうまく使え...
-
三角関数(たとえばf(x)=sinxと...
-
中学数学”平方根”
-
Σ[k=0,n](x^k)/(k!)
-
lim n→0 =n=0となりますが lim ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
複雑な家庭とは
-
「互いに素」の定義…「1と2は互...
-
べき乗
-
日本語 ことば ひとまわり ふた...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
eの0乗は1ってどういう原理です...
-
ACCESS VBAでインポート定義の場所
-
ヘシアンが0の場合どうやって極...
-
ACCESS IIF関数 複数条件の設...
-
画像の説明で一番最後の閉包作...
-
5桁の整数nにおいて,万の位,...
-
“半日”って何時間のことなんで...
-
0^1(0の1乗)はいくつでしょ...
-
√6=√(-2)(-3)=√(-...
-
lim n→0 =n=0となりますが lim ...
おすすめ情報