![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
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.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∈φ]"の部分を思いつくのは
至難の業のように思えます。
ありがとうございました!
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.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.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.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)にする方法が知りたいのです。
ご存知であれば教えて下さい。
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
不等式の証明
-
不等式の証明で、 画像は、(右...
-
√11の連分数表示
-
相加・相乗平均を使う不等式
-
なぜ等号は常に成り立たないの...
-
数学的帰納法 不等式の証明
-
整数問題 19 島根大学
-
不等式の証明と絶対値記号
-
確率の期待値について
-
数II a^2−ab+b^2≧a+b−1の不等式...
-
チェビシェフの不等式 証明につ...
-
絶対値を含む不等式の証明
-
二項定理使用の証明
-
相加相乗平均について。
-
何時間 何分 何秒を記号で表...
-
√2が無理数であることの証明で...
-
皆さん定義を教えてください 「...
-
夫が亡くなった後の義理家族と...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
∈と⊂の違いは何ですか?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
nの階乗と2のn乗の比較
-
(b+c)(c+a)(a+b)≧8abc
-
なぜ等号は常に成り立たないの...
-
部分分数分解について。 1/a・b ...
-
||a+b|| ≦ ||a|| +||b||の証明
-
√2,√3,√5,√6,√7,√10は有理数体...
-
√11の連分数表示
-
数学的帰納法 不等式の証明
-
無理数から無理数を引いた結果...
-
数II a^2−ab+b^2≧a+b−1の不等式...
-
数学Ⅱ 不等式の証明問、3(a∧2+b...
-
大学数学(位相数学)の問題です
-
数学的帰納法の証明2
-
数学的帰納法の問題
-
オイラーの連鎖式の導出について
-
変数の関係に相加相乗平均を使...
-
証明の問題なのですが・・・
-
複素数、共役複素数の証明
-
数学の証明問題なんですが…
-
不等式 X2+Y2-4X-6Y+13≧0を...
おすすめ情報