- ベストアンサー
集合 分配則
集合論なのですが、 (A^c∨B)∧(B^c∨C)∧(C^c∨A)=(A∧B∧C)∨(A^c∧B^c∧C^c) を分配則を使い証明しようとしています。 しかし、左辺のそれぞれの括弧内の左側集合が異なるため、 最初の分配則の適用をどのように考えればよいか、見当がつきません。 指針をいただけないでしょうか。 よろしくお願いします。
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (1)
- fusem23
- ベストアンサー率18% (72/383)
関連するQ&A
- 集合演算
今、集合の問題の証明問題をやってるのですが・・・・・解けているのかどうかわかりません。 差集合は小文字のcであらわしています。Ac=Aの補集合 1.A∩(B-C)=(A∪B)―(A∩C) これは分配律を使えば速効で解けるのですが、差集合に分配律ってつかえないっすよね? 2.(Ac∩Bc)∪(Bc∩C)∪(A∩Cc)=B∪(A∩Cc) これは一応ド・モルガンの法則を用いて Bc∩(Ac∪C)∪(A∩Cc)としたんですがそのあとが処理できずに困ってます。 3.(A∩B∩C)∪(A∩Bc∩C)∪(A∩B∩Cc)=A これは分配律を使って無理やり A∩[(B∪C)∪(Bc∪C)∪Cc] としたのですがこの変換は間違ってますか??どちらにせよこの先の展開ができないです。 4.(A∩B∩C)∪(A∩B∩Cc)∪(A∩Bc∩C)=A(B∪C) とりあえず 左辺=A∩[(B∩C)∪(B∩Cc)∪(Bc∩C)]←分配律 =A∩(B∪B∪Bc)∪(C∪Cc) =A∩(B∪C) としてみたのですが・・・・・・・・。 5.(A∪B∪C)∩[A∪(B∩C)]=A∪(B∩C) これは []内を (A∪B)∩(A∪C)←分配律 で展開したのですが・・・・そのあとが処理できません。 6.(A∩B∩C)∪(Ac∩B∩C)∪(A∩Bc∩C)(A∩B∩Cc)=(A∩B)∪(B∩C)∪(A∩C) これはもう完全にわからないです・・・・・。 途中の使った法則を入れてくれるとありがたいです。
- ベストアンサー
- 数学・算数
- 分配法則の証明って?
分配法則を証明できると聞きましたが どうやってやるんですか? 自然数に関する分配法則 a×(b+c)=a×b+a×c (b+c)×a=b×a+c×a 集合に関する分配法則 A∩(B∪C)=(A∩B)∪(A∩C) A∪(B∩C)=(A∪B)∩(A∪C)
- ベストアンサー
- 数学・算数
- 集合の元の個数について
集合Aの元の個数を♯(A)と表すとき ♯(A∪B∪C)=♯(A)+♯(B)+♯(C)-♯(A∩B)-♯(A∩C)-♯(B∩C)+♯(A∩B∩C)…(1) となるのは証明も込みで理解できたのですが 集合が4つのとき、すなわち ♯(A∪B∪C∪D) の求め方がわからないです。 ♯(A∪B)=♯(A)+♯(B)-♯(A∩B) と分配律、あるいは(1)式だけで証明できるのでしょうか?
- ベストアンサー
- 数学・算数
- 集合論に関する質問です
質問カテゴリー 数学の集合論 背景 現在、独学で数学の集合論を勉強しようとしていますが、初歩の初歩 で躓いています。 現状 下記問題の証明の方向性がわからない。 問題1 集合A,Bに対して同値であることを示しなさい。 (1)A⊂B (2)A∩B=A 問題2 集合A,Bに対して同値であることを示しなさい。 (1)A⊂B (2)A∪B=B 上記の問題の証明方法と集合論を学習する上でのコツなどご教授頂きたく宜しくお願いします。
- ベストアンサー
- 数学・算数
- 部分集合、積集合の証明の問題です。
集合Xの部分集合A,Bと集合Yの部分集合Cについて、次の等式が成り立つことを証明せよ。 (A-B)×C=A×C-B×C どうかお願いします。
- ベストアンサー
- 数学・算数
- 集合の演算
独学で学んでいるため解答の書き方に困っています. 例えば, (A∪B)∩(A∪B^c) ←B^c は B の補集合 を簡単にせよ. という問題があったときに 分配法則や B∩B^c = φ などを証明したあとであれば 【解法1】 (A∪B)∩(A∪B^c) = A∪(B∩B^c) = A∪φ = A のように書いてもOKなのでしょうか? それとも,きちんと 【解法2】 x∈(A∪B)∩(A∪B^c) とすると ∩の定義より x∈A∪B かつ x∈A∪B^c : 逆に,x∈A とすると : のように書くべきでしょうか? 作法・習慣がよくわからないのでご教示お願いします.
- ベストアンサー
- 数学・算数
お礼
回答有難うございました。 ∨、∧は論理和、論理積で、集合は普通の演算と同じように考えられるのですね。 大変参考になりました。 真理表の解法にも興味があります。 取り組んでみたいと思います。 有難うございました。