論理学なんやがA⊂B⇒(A∩C)⊂(B∩C)は正しいんか？

**風吹けば名無し** · 2022/05/17(火) 06:08:26.78

ただしCは全集合をUとしたときC={x∈U:(B∩C)≠Ø,C⊂U}とするんやが合ってるんやろか
ワイが今から証明しようとしてる問題で上のやつ使おうと思ってるんやが

**風吹けば名無し** · 2022/05/17(火) 06:27:01.73

A cap Cが空のときは成立
A cap Cが空でないときこの任意の元xをとる
xはAの元なので仮定よりBの元
またxは取り方からCの元
よってxはB cap Cの元でこのときも成立

**風吹けば名無し** · 2022/05/17(火) 06:27:28.86

>>17
空集合の部分集合は空集合自身のみでAかつCとBかつCはともに空集合だから成り立つ

**風吹けば名無し** · 2022/05/17(火) 06:28:43.54

A⇒BなんだからA∩C⇒B∩Cやろ

**風吹けば名無し** · 2022/05/17(火) 06:32:06.27

⊂⊂(o∩n)⊃⊃

**風吹けば名無し** · 2022/05/17(火) 06:38:06.63

普通はカルノー図書くよね

**風吹けば名無し** · 2022/05/17(火) 06:45:15.54

論理学の記号もうよく覚えてないわ
!&|で書いてくれ

**風吹けば名無し** · 2022/05/17(火) 06:46:23.65

>>4
これな

**風吹けば名無し** · 2022/05/17(火) 06:52:50.50

(つд⊂)ｺﾞｼｺﾞｼ

**風吹けば名無し** · 2022/05/17(火) 06:54:57.13

明らかに間違ってね？

**風吹けば名無し** · 2022/05/17(火) 06:59:55.11

＼ ( ‘ᾥ’ )/
　＼　＼
　　＼ γ∩ミ
　　⊂::　::⊃))
　　／乂∪彡＼