A,B,Cがセットであったとして
(A-B)-C=(A-C)-(B-C)
を証明したいんです。
(ちなみに∈/は∈の上から/の線が入った記号です;元として含まれない、と読むのでしょうか…)
(A-B)-C
≡(X∈(A-B))∧(X∈/C)
≡(X∈A∧X∈/B)∧(X∈/C)
≡(X∈A∧X∈/C)∧(X∈/B∧X∈/C)
≡(A-C)-(B-C)
最後の一行がジャンプしてますよね、きっと。
(X∈A∧X∈/C)はdifferenceの定義で直接(A-C)と出来ます。
(X∈/B∧X∈/C)はX∈/Bが邪魔してこのままでは出来ません。
もしかして、このX∈/Bの/を前にもってきて¬(X∈B∧X∈/C)としてもいいんですか?
あと一歩です、お助けください。
No.1
- 回答日時:
とりあえずヒントだけ、
¬(X∈B∧X∈/C)
≡(X∈/B∪X∈C)
となりますので、
下から2行目の変形をかえればよいと思います。
ちなみに、私は右辺からの変形の方がしやすかったですので、それらで試されてもいいかもしれません。
すみません、まだ理解できていません。
¬(X∈B∧X∈/C)も(X∈/B∪X∈C)も下から2行目の式にありません。
質問にも書いたとおり、
(X∈/B∪X∈/C)を¬(X∈B∧X∈/C)にする方法が知りたいのです。
ご存知であれば教えて下さい。
ありがとうございました。
No.2
- 回答日時:
3行目の続きを書きます。
≡(X∈A∧X∈/B)∧(X∈/C)
≡{(X∈A∧X∈/B)∧(X∈/C)}∨ (X∈φ)
≡{(X∈A∧X∈/B)∧(X∈/C)}∨{(X∈/C)∧(X∈C)∧(X∈A)}
≡{(X∈A∧(X∈/C)}∧{(X∈/B)∨(X∈C)}
≡{(X∈A∧(X∈/C)}∧{¬[(X∈B)∧(X∈/C)]}
≡{(X∈A∧(X∈/C)}∧{¬[X∈(B-C)]}
≡{(X∈A∧(X∈/C)}∧{X∈/(B-C)]}
途中は、こんなところかな?
この回答は暗に私の示した解答が間違っている、というご指摘されているのですね。
あと一歩どころではありませんでしたね。(汗)
#5さんのお礼にも書きましたが、(X∈φ)を思いつくのが難しいですね。
実はここで質問した後で教授にどうやって解くのか聞きに行ったのですが、
「真理値表を使いなさい」ということでした。
あら、簡単じゃないですか。(笑)
その後の授業で式を用いた解法も見せて下さいました。
ちゃんと一致していました。
ありがとうございました!
No.3
- 回答日時:
ginkgoさん、こんにちは。
質問の趣旨とは外れるかも知れませんが
756214をみて気になったので回答します。
形式に拘って意味の理解をおろそかにしていませんか。
(気に障ったらごめんなさい)
件の問題は、私なら次のように答えます。
(A-B)-Cと(A-C)-Bは同じである。
A-Cからは既にCの要素が除かれているので、
それからBを引いてもB-Cを引いても結果は同じである。∴(A-B)-C=(A-C)-(B-C)
おっしゃるとおり、形式に拘って意味の理解をおろそかにしていました。
忙しかったのでついA∩CをA∪Cだという単純な勘違いを犯してしまいました。
では、その解法を。
# 1st try #
A={1,3}, C={1,2,3}
A∩C={1,3}
B={1}
A∪C=B∪C
{1,2,3}={1,2,3}
# 2nd try #
A={1,2}, C={1,2,3}
A∩C={1,2}
B={1}
A∪C=B∪C
{1,2,3}={1,2,3}
# 3rd try #
A={1,3,5}, C={1,2,3}
A∩C={1,3}
B={1}
A∪C=B∪C
{1,2,3,5}=/{1,2,3} (!)
任意の値を入力したのですが、
3rd tryのようにAの値を他と違わせる必要があったのですね。
私の勘違いゆえにranxさんにポイントを差し上げることが出来ませんでした。
これをご覧の方はどうかQNo.756214のranxさんの「参考になった」を押してあげて下さい。m(__)m
http://www.okweb.ne.jp/kotaeru.php3?q=756214
さて、今回の件です。
>(A-B)-Cと(A-C)-Bは同じである。
図を描いてみると確かにそうですね。
ただ「A-Cからは既にCの要素が除かれているので、
それからBを引いてもB-Cを引いても結果は同じである。」を
元の問題に結びつけて考えるのが私には難しく思えます。
こういう解き方もあるというのも覚えておきます。
ありがとうございました!
No.4
- 回答日時:
> ¬(X∈B∧X∈/C)も(X∈/B∪X∈C)も下から2行目の式にありません。
¬(X∈B∧X∈/C)を導きたいと思われますので、それと同値である式を書いたまでです。
ただ、この(X∈/B∪X∈C)を目標にすればいいのでは、と思い「ヒント」のつもりで書かせていただきました。
なお、この証明すべき式では
B-C≡¬(X∈B∧X∈/C)
を使うはずなので、
¬(X∈B∧X∈/C)を導くことは、解くきっかけになると思っています。
確かにB-C≡¬(X∈B∧X∈/C)が最後の一歩です。
ですので質問の中にもそのように書きました。
仰ることは理解できたのですが、実際の私の解答とはどうしても結びつきませんでした。
そして、今になって私の示した解答が間違いであることが分かりました。
混乱させて申し訳ございませんでした。
ありがとうございました!
No.5ベストアンサー
- 回答日時:
(A-C)-(B-C)
≡[x∈(A-C)]∧[¬x∈(B-C)]
≡[(x∈A)∧(¬x∈C)]∧[¬{x∈B∧(¬x∈C)}]
≡[(x∈A)∧(¬x∈C)]∧[(¬x∈B)∨(x∈C)]
≡[{(x∈A)∧(¬x∈C)}∧(¬x∈B)]∨[{(x∈A)∧(¬x∈C)}∧(x∈C)]
≡[(x∈A)∧(¬x∈C)∧(¬x∈B)]∨[x∈φ]
≡(x∈A)∧(¬x∈C)∧(¬x∈B)
≡{(x∈A)∧(¬x∈B)}∧(¬x∈C)
ようやく理解しました。
私は(A-C)-(B-C)側から導かないといけなかったのでしょうか?
(A-C)-B側から導いて6行目の"∨[x∈φ]"の部分を思いつくのは
至難の業のように思えます。
ありがとうございました!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
なぜ等号は常に成り立たないの...
-
(b+c)(c+a)(a+b)≧8abc
-
nの階乗と2のn乗の比較
-
無理数から無理数を引いた結果...
-
数II a^2−ab+b^2≧a+b−1の不等式...
-
部分分数分解について。 1/a・b ...
-
数学的帰納法の問題
-
証明の問題なのですが・・・
-
数学的帰納法 不等式の証明
-
整数問題 19 島根大学
-
√11の連分数表示
-
0は無理数ですか?
-
||a+b|| ≦ ||a|| +||b||の証明
-
(n!)^2≧n^n(nは自然数)
-
数学的帰納法の証明2
-
明治学院大学の問題ですが
-
x2+2xy+2y2-2x+2y+13>0 不等式...
-
(2n+1)!!・n!・2^n=(2n)!
-
十分性の確認の問題について
-
数学IIの問題です 0≧xのとき、...
おすすめ情報