[ 掲示板に戻る ]

記事No.78672に関するスレッドです

集合証明 / 春先
逆の方向バージョンはなんとか解けたんですけど、こっちのほうをどう解こうかなと思って、結局分からないままです……解説お願いします。
No.78672 - 2021/10/05(Tue) 21:16:00

Re: 集合証明 / IT
逆方向は、どう解かれましたか?
右辺のAとBとの間の記号は何を意味しますか? 集合の差?

No.78680 - 2021/10/06(Wed) 19:13:20

Re: 集合証明 / 春先
差集合です!
逆は∀x∈(A\B)⊂Bに対して……感じで始めました!

No.78684 - 2021/10/06(Wed) 21:32:06

Re: 集合証明 / IT
> 差集合です!
> 逆は∀x∈(A\B)⊂Bに対して……感じで始めました!


∀x∈(A\B)UB の間違いでは?

同様にやればいいと思います。

No.78687 - 2021/10/06(Wed) 22:20:56

Re: 集合証明 / IT
x∈(A\B)∪B
⇔(x∈(A\B))∨(x∈B)
⇔((x∈A)∧¬(x∈B))∨(x∈B)
分配法則
⇔((x∈A)∨(x∈B))∧(¬(x∈B))∨(x∈B))
⇔((x∈A)∨(x∈B))
⇔ x∈A∪B

のように両方同時にやるとどうですか?
授業の課題なら授業で習った方式に従うのが良いとは思います。

No.78690 - 2021/10/06(Wed) 22:47:55

Re: 集合証明 / 春先
確かにそれだとできそうです!ありがとうございます!
No.78692 - 2021/10/07(Thu) 00:18:18